CASA: A Computer Algebra Package for Constructive Algebraic Geometry.

R. Gebauer Michael Kalkbrener B. Wall Franz Winkler

Published in: ISSAC (1991)

Keyphrases

computer algebra
algebraic geometry
set theory
theorem prover
polynomial equations
computer algebra systems
decision making
automated theorem provers
neural network
pattern recognition
fuzzy logic
graphical models
constrained optimization