el calculo computacional

El Cálculo Simbólico o Cálculo Formal (en inglés Symbolic Computation, y en francés Calcul Formel) se define como un área moderna de investigación de carácter interdisciplinar, que se enmarca en elámbito común de actuación de campos como la Matemática y las Ciencias de la Computación, y cuyo cometido principal es el desarrollo, construcción y análisis de algoritmos efectivos que manipulen objetossimbólicos susceptibles de ser representados en un ordenador, con especial énfasis en los cálculos correspondientes a objetos de entidad matemática y con vistas a sus aplicaciones, no sólo en lapropia Matemática, sino también en otras ramas de la Ciencia (como la Física, la Química, la Biología, etc.) e incluso en la Industria (redes eléctricas, modelado de automóviles, redes de transporte,tolerancia geométrica, diseño geométrico asistido por ordenador, robótica, etc.).
El Cálculo Simbólico, tal y como se entiende en la actualidad, tiene sus orígenes en los comienzos del siglo XX con lasaportaciones (entre otros) de M. S. Macaulay, de W. Gröbner y B. Buchberger, en el contexto de la resolución de sistemas de ecuaciones algebraicas mediante la utilización de las bases de Gröbner, conlos trabajos de G. Collins en eliminación de cuantificadores o los resultados de H. Zassenhaus y E. Kaltofen en factorización polinomial, de J. Davenport, M. Rothstein y B. Trager en integraciónsimbólica, etc. Asimismo, como resultado de este arranque inicial aparecieron los primeros sistemas de software de computación simbólica, cuyo desarrollo continúa siendo hoy en día punto de atención demuchos investigadores, de forma tal que la utilización de estos sistemas se ha convertido en una herramienta fundamental en la investigación, e incluso la docencia, en muchas áreas de la Matemática, laFísica, la Química, la Ingeniería, las aplicaciones Industriales, etc.
Además del desarrollo natural de las técnicas simbólicas en el ámbito del Álgebra Conmutativa y de la Geometría Algebraica,...