迈向作为数学工具与数学用户界面的可视化类型理论

Lucius Schoenbaum

迈向作为数学工具与数学用户界面的可视化类型理论

人工智能 2016-08-11 v1 人机交互历史与综述

作者: Lucius Schoenbaum

摘要

可视化类型理论是一种认知工具，与语言有许多共同点，可视为一种特殊形式的空间文本附属物。一个名为NPM的数学可视化类型理论一直在开发中，可视为数学知识管理与数学用户界面开发的一个早期项目。我们更详细地讨论了可视化类型理论的概念，报告了朝向可用数学可视化类型理论的进展，并讨论了该项目未来工作的前景。

关键词

可视化类型理论 NPM 数学知识管理数学用户界面认知工具空间文本附属物

引用

@article{arxiv.1608.03026,
  title  = {Towards Visual Type Theory as a Mathematical Tool and Mathematical User Interface},
  author = {Lucius Schoenbaum},
  journal= {arXiv preprint arXiv:1608.03026},
  year   = {2016}
}

备注

19 pages, to appear in Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics, Bialystok, Poland 2016

迈向作为数学工具与数学用户界面的可视化类型理论

摘要

关键词

引用

备注

相关论文