Algebraic Theory Exploration: A Comparison of Technologies.
Quratul-ain MahesarVolker SorgePublished in: SYNASC (2012)
Keyphrases
- theoretical framework
- linear algebra
- data mining
- computer algebra
- algebraic geometry
- search algorithm
- mobile devices
- theoretical foundation
- human factors
- mathematical theory
- formal theory
- information systems
- knowledge base
- computational model
- artificial intelligence
- information theory
- theoretical basis
- neural network
- data sets
- database