SCRATCHPAD/1: An interactive facility for symbolic mathematics.
James H. GriesmerRichard D. JenksPublished in: SYMSAC (1971)
Keyphrases
- computer algebra systems
- computer algebra
- highly interactive
- computer science
- user interaction
- artificial intelligence
- high level
- data visualization
- theorem prover
- user friendly
- hidden markov models
- binary decision diagrams
- virtual reality
- databases
- data structure
- multi agent
- website
- search engine
- data mining
- real world