Functional programming concepts and straight-line programs in computer algebra

N. Bruno, J. Heintz, G. Matera and R. Wachenchauzer

Mathematics and Computers in Simulation (MATCOM), 2002, vol. 60, issue 6, 423-473

Abstract: 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 (1997) 277–317; Appl. Alg. Eng. Commun. Comput. 11 (4) (2001) 239–296; J. Complex. 17 (1) (2001) 154–211].

Keywords: Symbolic computation; Polynomial equation solver; Abstract machine (search for similar items in EconPapers)
Date: 2002
References: View references in EconPapers View complete reference list from CitEc
Citations:

Downloads: (external link)
http://www.sciencedirect.com/science/article/pii/S0378475402000356
Full text for ScienceDirect subscribers only

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:eee:matcom:v:60:y:2002:i:6:p:423-473

Access Statistics for this article

Mathematics and Computers in Simulation (MATCOM) is currently edited by Robert Beauwens

More articles in Mathematics and Computers in Simulation (MATCOM) from Elsevier
Bibliographic data for series maintained by Catherine Liu ().