Towards Visual Type Theory as a Mathematical Tool and Mathematical User Interface.
Lucius SchoenbaumPublished in: CoRR (2016)
Keyphrases
- user interface
- computer algebra
- mathematical theory
- mathematical models
- learning algorithm
- quantum mechanics
- computational model
- mathematical expressions
- visual representation
- visual information
- high level
- decision making
- real world
- real time
- user friendly
- image processing
- theoretical basis
- e learning
- mathematical modeling
- information systems
- neural network