Ryacas: A computer algebra system in R.

Mikkel Meyer Andersen Søren Højsgaard

Published in: J. Open Source Softw. (2019)

Keyphrases

computer algebra
theorem prover
computer algebra systems
automated theorem provers
theorem proving
machine learning
training data
probability distribution