Login / Signup

Nonstandard applications of computer algebra.

Eugenio Roanes-LozanoMichael J. WesterStanly L. Steinberg
Published in: Math. Comput. Simul. (2011)
Keyphrases
  • computer algebra
  • theorem prover
  • computer algebra systems
  • automated theorem provers
  • machine learning
  • graphical models
  • supervised learning