Login / Signup

Risa/Asir - a Computer Algebra System.

Masayuki NoroTaku Takeshima
Published in: ISSAC (1992)
Keyphrases
  • computer algebra
  • theorem prover
  • computer algebra systems
  • machine learning
  • automated theorem provers