Modern Computer Algebra and a Lot More.

Jürgen Schnack

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

Keyphrases

computer algebra
theorem prover
computer algebra systems
automated theorem provers
learning process
domain knowledge
probability distribution
computational intelligence
random variables