Login / Signup

Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework.

Gabriel Dos ReisDavid C. J. MatthewsYue Li
Published in: Calculemus/MKM (2011)
Keyphrases
  • computer algebra
  • main contribution
  • theorem prover
  • data sets
  • neural network
  • maximum likelihood
  • conceptual framework
  • theorem proving