SINGULAR: a computer algebra system for polynomial computations.

Gert-Martin Greuel Gerhard Pfister Hans Schönemann

Published in: ACM Commun. Comput. Algebra (2008)

Keyphrases

computer algebra
theorem prover
computer algebra systems
image segmentation
low order
automated theorem provers
neural network
genetic algorithm
search engine
social networks
computer vision
probability distribution
optimal control