Login / Signup

Modern computer algebra.

R. Gregory Taylor
Published in: SIGACT News (2002)
Keyphrases
  • computer algebra
  • theorem prover
  • computer algebra systems
  • automated theorem provers
  • natural language
  • expert systems
  • theorem proving