Login / Signup

caracas: Computer algebra in R.

Mikkel Meyer AndersenSøren Højsgaard
Published in: J. Open Source Softw. (2021)
Keyphrases
  • computer algebra
  • theorem prover
  • computer algebra systems
  • automated theorem provers
  • model checking