A Bi-Directional Extensible Interface Between Lean and Mathematica.

Robert Y. Lewis Minchao Wu

Published in: J. Autom. Reason. (2022)

Keyphrases

bi directional
associative memory
user interface
english chinese
data model
user friendly
markup language
application specific
information retrieval
heuristic search algorithms
direct manipulation
database
databases
search engine
human computer interaction
visual interface