2016/08/09 by Lucius Schoenbaum, Schoenbaum, Lucius
Business, Management and Accounting · Computer Science · Mathematics · Psychology · Social Sciences · #Artificial Intelligence (cs.AI) #Constraint Satisfaction and Optimization #Data Visualization and Analytics #FOS: Computer and information sciences #FOS: Mathematics #Geographic Information Systems Studies #History and Overview (math.HO) #Human-Computer Interaction (cs.HC) #Optics and Image Analysis #Visual and Cognitive Learning Processes #cs.AI #cs.HC #math.HO
paper · pdf · doi:10.48550/arxiv.1608.03026
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
openalex publication_date 2016/08/09 · arxiv created 2016/08/10 · arxiv updated 2016/08/11 · openalex created_date 2019/07/30 · openalex updated_date 2026/07/28
A visual type theory is a cognitive tool that has much in common with language, and may be regarded as an exceptional form of spatial text adjunct. A mathematical visual type theory, called NPM, has been under development that can be viewed as an early-stage project in mathematical knowledge management and mathematical user interface development. We discuss in greater detail the notion of a visual type theory, report on progress towards a usable mathematical visual type theory, and discuss the outlook for future work on this project.