Computer Algebra: Past and Future.

Published in: European Conference on Computer Algebra (1) (1985)

Keyphrases

computer algebra
theorem prover
long term
historical information
artificial intelligence
computer algebra systems
database
neural network
success or failure
real world
information retrieval
image processing
case study
high level
search algorithm
wireless sensor networks