Login / Signup

A knowledge-based system for computer algebra.

Jacques CalmetDenis Lugiez
Published in: SIGSAM Bull. (1987)
Keyphrases
  • computer algebra
  • theorem prover
  • automated theorem provers
  • training set