Computer Algebra and Algebraic. Geometry-Achievements and Perspectives.

Gert-Martin Greuel

Published in: J. Symb. Comput. (2000)

Keyphrases

computer algebra
algebraic geometry
theorem prover
set theory
polynomial equations
computer algebra systems
neural network
knowledge base
genetic algorithm
least squares