Singular: a computer algebra system.

Christoph Lossen

Published in: Comput. Sci. Eng. (2003)

Keyphrases

computer algebra
theorem prover
computer algebra systems
artificial neural networks
e learning
bayesian networks
feature space
cost function
software engineering
automated theorem provers