Algebraische Transformationen im Algorithmusdesign