Login / Signup
SINGULAR-1.0: a computer algebra system for singularity theory, algebraic geometry and commutative algebra.
Gert-Martin Greuel
Gerhard Pfister
Hans Schönemann
Published in:
SIGSAM Bull. (1997)
Keyphrases
</>
algebraic geometry
computer algebra
set theory
polynomial equations
theorem prover
computer algebra systems
image analysis
automated theorem provers
artificial intelligence
random variables
mathematical morphology
partial order