BEGIN:VCALENDAR VERSION:2.0 PRODID:Linklings LLC BEGIN:VTIMEZONE TZID:Asia/Seoul X-LIC-LOCATION:Asia/Seoul BEGIN:STANDARD TZOFFSETFROM:+0900 TZOFFSETTO:+0900 TZNAME:KST DTSTART:18871231T000000 DTSTART:19881009T020000 END:STANDARD END:VTIMEZONE BEGIN:VEVENT DTSTAMP:20230103T035312Z LOCATION:Room 325-AB\, Level 3\, West Wing DTSTART;TZID=Asia/Seoul:20221209T140000 DTEND;TZID=Asia/Seoul:20221209T153000 UID:siggraphasia_SIGGRAPH Asia 2022_sess178_papers_310@linklings.com SUMMARY:H❤️rtDown: Document Processor for Executable Linear Algebra Papers DESCRIPTION:Technical Communications, Technical Papers\n\nH❤️rtDown: Docum ent Processor for Executable Linear Algebra Papers\n\nLi, Kamil, Jacobson, Gingold\n\nScientific documents describe a topic in a mix of prose and ma thematical expressions. The prose refers to those expressions, which thems elves must be encoded in, e.g., LaTeX. The resulting documents are static, even though most documents are now read digitally. Moreover, formulas mus t be implemented or re-implemented separately in a programming language in order to create executable research artifacts. Literate environments allo w executable code to be added in addition to the prose and math. The code is yet another encoding of the same mathematical expressions.\n\nWe introd uce H❤️rtDown, a document processor, authoring environment, and paper read ing environment for scientific documents. Prose is written in Markdown, li near algebra formulas in an enhanced version of I❤️LA, derivations in LaTe X, and dynamic figures in Python. H❤️rtDown is designed to support existin g scientific writing practices: editing in plain text, using and defining symbols in prose-determined order, and context-dependent symbol re-use. H❤ ️rtDown's authoring environment assists authors by identifying incorrect f ormulas and highlighting symbols not yet described in the prose. H❤️rtDown outputs a dynamic paper reader with math augmentations to aid in comprehe nsion, and code libraries for experimenting with the executable formulas. H❤️rtDown supports dynamic figures generated by inline Python code. This e nables a new approach to scientific experimentation, where editing the mat hematical formulas directly updates the figures. We evaluate H❤️rtDown wit h an expert study and by re-implementing SIGGRAPH papers.\n\nRegistration Category: FULL ACCESS, ON-DEMAND ACCESS\n\nLanguage: ENGLISH\n\nFormat: IN -PERSON, ON-DEMAND URL:https://sa2022.siggraph.org/en/full-program/?id=papers_310&sess=sess17 8 END:VEVENT END:VCALENDAR