MMTTeX: Connecting Content and Narration-Oriented Document Formats
CICM(2019)
摘要
Narrative, presentation-oriented assistant systems for mathematics such as
Open image in new window
on the one hand and formal, content-oriented ones such as proof assistants and computer algebra systems on the other hand have so far been developed and used largely independently. The former excel at communicating mathematical knowledge and the latter at certifying its correctness.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络