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