Login / Signup
SINGULAR - A Computer Algebra System for Singularity Theory, Algebraic Geometry and Commutative Algebra.
Gert-Martin Greuel
Gerhard Pfister
Hans Schönemann
Published in:
Comput. Sci. J. Moldova (1997)
Keyphrases
</>
algebraic geometry
computer algebra
set theory
theorem prover
polynomial equations
decision making
multiscale
expert systems
partial order
automated theorem provers