HERtDown:可执行线性代数论文的文档处理器

HeaRtDown: 可执行线性代数论文的文档处理器全文翻译，由美国乔治梅森大学的YONG LI、Adobe Research的SHOAIB KAMIL、多伦多大学和Adobe Research的Alec Jacobson以及乔治梅森大学的YOTAM GINGOLD介绍。我们推出了HEARtDown，一种用于科学文档的文档处理器、撰写环境和论文阅读环境。散文部分采用Markdown编写，线性代数公式采用增强版ILOVLA，推导过程采用LaTeX，并且动态