Tibor Mazúch;Jan Kozánek
-;-
Computer algebra systems as mathematical optimizing compilers
Science of Computer Programming