Surprising Mathematics Using a Computer Algebra System.

François Bergeron

Published in: J. Symb. Comput. (1993)

Keyphrases

computer algebra
computer algebra systems
theorem prover
automated theorem provers
search algorithm
artificial intelligence
expert systems
probabilistic model