Login / Signup
The future of computer algebra.
Richard Zippel
Published in:
SIGSAM Bull. (1984)
Keyphrases
</>
computer algebra
theorem prover
long term
databases
artificial intelligence
current status
automated theorem provers
neural network
information retrieval
computer vision
decision making
three dimensional
information technology
inference rules