Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
Sun 22 Oct 2017 10:30 - 10:52 at Regency A - Session 2 Chair(s): Nada Amin

Creating mathematical diagrams is essential for both developing one’s intuition and conveying it to others. However, formalizing diagrams in most general-purpose tools requires painstaking low-level manipulation of shapes and positions. We report on early work on PENROSE, a system we are building to automatically visualize mathematics from notation. PENROSE comprises two languages: Substance, a domain-specific language that mimics the declarativeness of mathematical notation, and Style, a styling language that concisely specifies the visual semantics of the notation. Our system can automatically visualize set theory expressions with user-defined styles, and it can visualize abstract definitions of functions by producing concrete examples. We plan to extend the system to more domains of mathematics.

Sun 22 Oct

dsldi-2017
10:30 - 12:00: DSLDI 2017 - Session 2 at Regency A
Chair(s): Nada AminUniversity of Cambridge
dsldi-2017150866100000010:30 - 10:52
Talk
Wode NiColumbia University, Katherine Ye, Joshua SunshineCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Keenan CraneCarnegie Mellon University
File Attached
dsldi-2017150866235000010:52 - 11:15
Talk
Xiangqi LiUniversity of Utah, Matthew FlattUniversity of Utah
File Attached
dsldi-2017150866370000011:15 - 11:37
Talk
Christopher SimpkinsGeorgia Institute of Technology, Spencer RugaberGeorgia Institute of Technology, Charles Isbell, Jr.Georgia Institute of Technology
File Attached
dsldi-2017150866505000011:37 - 12:00
Talk
Bart van MerriënboerUniversity of Montreal, Alexander B. WiltschkoGoogle Brain
File Attached