A syntax-directed approach to automated aids for symbolic mathematics.

Published in: SYMSAC (1966)

Keyphrases

high level
computer algebra systems
computer science
fully automated
semi automated
databases
search engine
database
hidden markov models
symbolic description
computer algebra
computer programming
symbolic representation
data driven
e learning
neural network
data sets