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