Login / Signup
Some Remarks on Blowing-Ups in a Computer Algebra System.
Anne Frühbis-Krüger
Published in:
Comput. Sci. J. Moldova (2008)
Keyphrases
</>
computer algebra
theorem prover
computer algebra systems
high level
general purpose
theorem proving
object oriented
supervised learning
knowledge base
bayesian networks
graphical models
software agents