Login / Signup
Computer Algebra: Past and Future.
B. F. Caviness
Published in:
J. Symb. Comput. (1986)
Keyphrases
</>
computer algebra
theorem prover
historical information
long term
real world
database
neural network
artificial intelligence
computer algebra systems
machine learning
optimal solution
past experience
predicting future
automated theorem provers