Algebraic simplification in computer algebra: an analysis of bottom-up algorithms
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/189026
Tipus de documentReport de recerca
Data publicació1988
Condicions d'accésAccés obert
Llevat que s'hi indiqui el contrari, els
continguts d'aquesta obra estan subjectes a la llicència de Creative Commons
:
Reconeixement-NoComercial-SenseObraDerivada 3.0 Espanya
Abstract
We consider a class of simplification algorithms for algebraic and logical expressions which are of systematic use in Computer Algebra systems. This class is basically characterized by the fact that algorithms operate in a bottom-up recursive way on the expressions, i.e. start from the atomic terms -constants and variables- and perform the simplifications on larger and larger terms until the whole expression is ultimately proceeded; no backtracking or iterated process should intervein in the simplification. We show that under these quite general assumptions, it is possible to analyze precisely, and almost automatically, the average size of the resulting expressions -the gain in space- and the average time complexity of the process, which happens to be linear, whereas the worst-case behaviour is not in general.
CitacióCases, R.; Fernández Camacho, M. I.; Steyaert, J. "Algebraic simplification in computer algebra: an analysis of bottom-up algorithms". 1988.
Forma partLSI-88-16
Col·leccions
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
1400008434.pdf | 1,313Mb | Visualitza/Obre |