Bruno, N.; Heintz, J.; Matera, G.; Wachenchauzer, R. - In: Mathematics and Computers in Simulation (MATCOM) 60 (2002) 6, pp. 423-473
In this paper we present MILONGA, a language based on functional programming concepts, which was designed for the implementation of a new generation of nonterm-rewriting elimination algorithms for multivariate polynomial solving [J. Pure Appl. Alg. 124 (1998) 101–146; J. Pure Appl. Alg. 117/118...