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
Times are displayed in time zone: Tijuana, Baja California change

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