Login / Signup

Niagara Falls and the Origins of Computer Algebra.

M. Pilar VélezTomás RecioCarlos Ueno
Published in: Maple Trans. (2022)
Keyphrases
  • computer algebra
  • theorem prover
  • computer algebra systems
  • automated theorem provers
  • theorem proving
  • machine learning
  • random variables
  • model checking
  • temporal logic