Speeding up Lisp-based symbolic mathematics.
Richard J. FatemanMark HaydenPublished in: SIGSAM Bull. (1996)
Keyphrases
- learning theory
- computer algebra systems
- programming language
- computer algebra
- computer science
- knowledge representation
- symbolic representation
- high level
- connectionist learning
- computer assisted instruction
- data sets
- neural network
- teaching mathematics
- connectionist systems
- associative learning
- conceptual spaces
- databases
- software engineering
- knowledge base
- data mining