An Extensible Ad Hoc Interface between Lean and Mathematica.

Robert Y. Lewis

Published in: PxTP (2017)

Keyphrases

user interface
markup language
data model
user friendly
application specific
graphical interface
decision making
highly flexible
real time
database systems
video sequences
expert systems
human computer interface
natural language interface
visual interface