H❤rtDown: Document Processor for Executable Linear Algebra Papers
Yong Li, Shoaib Kamil, Alec Jacobson, Yotam I. Gingold · 2022
Scientific documents describe a topic in a mix of prose and mathematical expressions. The prose refers to those expressions, which themselves must be encoded in, e.g., LaTeX. The resulting documents are static, even though most documents are now read digitally. Moreover, formulas must be implemented or re-implemented separately in a programming language in order to create executable research artifacts. Literate environments allow executable code to be added in addition to the prose and math. The code is yet another encoding of the same mathematical expressions.