Login / Signup
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