Towards Visual Type Theory as a Mathematical Tool and Mathematical User Interface.

Lucius Schoenbaum

Published in: FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)

Keyphrases

user interface
computer algebra
mathematical models
quantum mechanics
mathematical theory
visual representation
visual information
theoretical framework
database
visual features
end users
multimedia
human computer interaction
user friendly
computer science
mathematical modeling
learning algorithm