Penrose: from mathematical notation to beautiful diagrams
Penrose: from mathematical notation to beautiful diagrams
复制标题
彭罗斯：从数学符号到美丽的图表
DOI：
10.1145/3386569.3392375
复制
发表时间：
2020
影响因子：
6.2
通讯作者：
Crane, Keenan
中科院分区：
文献类型：
--
作者：
Ye, Katherine;Ni, Wode;Krieger, Max;Ma'ayan, Dor;Wise, Jenna;Aldrich, Jonathan;Sunshine, Joshua;Crane, Keenan
我们介绍一个系统称为彭罗斯创建数学图表。它的基本功能是将以熟悉的数学符号编写的抽象语句转换为一个或多个可能的视觉表示。而不是依赖于一个固定的可视化工具库，可视化表示是用户定义的基于约束的规范语言，然后通过约束数值优化自动生成图。该系统是用户可扩展的数学的许多领域，是足够快的迭代设计探索。与通过直接操作或低级图形编程指定图表的工具相反，Penrose可以快速创建和探索忠实保留底层数学含义的图表。我们展示了系统的有效性和通用性，它可以用来说明一组不同的数学和计算机图形学的概念。
We introduce a system called Penrose for creating mathematical diagrams. Its basic functionality is to translate abstract statements written in familiar math-like notation into one or more possible visual representations. Rather than rely on a fixed library of visualization tools, the visual representation is user-defined in a constraint-based specification language; diagrams are then generated automatically via constrained numerical optimization. The system is user-extensible to many domains of mathematics, and is fast enough for iterative design exploration. In contrast to tools that specify diagrams via direct manipulation or low-level graphics programming, Penrose enables rapid creation and exploration of diagrams that faithfully preserve the underlying mathematical meaning. We demonstrate the effectiveness and generality of the system by showing how it can be used to illustrate a diverse set of concepts from mathematics and computer graphics.