彭罗斯:从数学符号到漂亮的图表

2020-06-05 11:13:22

作者:Katherine Ye 1,Wode Ni 1,Max Krieger 1,Dor Ma';Ayan 1,2,Jenna Wise 1,Jonathan Aldrich 1,Joshua Sunsun 1和Keenan Crane 1。

我们介绍了一个名为Penrose的创建数学图的系统。它的基本功能是将用熟悉的类似数学的符号编写的抽象语句转换为一个或多个可能的可视化表示。可视化表示不依赖于固定的可视化工具库,而是在基于约束的规范语言中由用户定义;然后通过受约束的数值优化自动生成图表。该系统是用户可扩展到多个数学领域的,并且速度足够快,可以进行迭代设计探索。与通过直接操作或低级图形编程指定图表的工具不同,Penrose能够快速创建和探索图表,从而忠实地保留基本的数学意义。我们通过展示如何使用该系统来说明来自数学和计算机图形学的一组不同的概念,来证明该系统的有效性和通用性。

请注意,Penrose是一个仍在开发中的早期系统。我们的系统还没有准备好投入或公开使用,但我们正在努力!

在我们构建系统的过程中,想成为第一个了解我们系统的人吗?加入我们的邮件列表:

我们特别希望与作家,教育家,和专家插图谁可能有兴趣合作建立一个彭罗斯图书馆为他们的专业领域。如果有兴趣,请填写下面的表格(也可以在这里访问)。

点p,q,r,s线段a:={p,q}线段b:={p,r}点m:=中点(A)角度θ:=∠(q,p,r)三角形t:={p,r,s}射线w:=平分线(θ)射线h:=垂直平分线(A)。

对于任意向量空间X,设u,v∈X是等长的正交向量,设w=u+v,则u和w成45◦角。

向量空间X向量u,v∈X正交(u,v)等长(u,v)向量w∈X w:=u+v

--Sets.dsl类型Set谓词相交:Set S1*Set S2谓词IsSubset:Set S1*Set S2谓词Not:Prop p Notation";A⊂B";~";IsSubset(A,B)";Not(Intersecting(A,B)";Not(Intersecting(A,B))";Not(Intersecting(A,B))";

--子集A、B、C、D、E、F、G B⊂A C⊂A D⊂B E⊂B F⊂C G⊂C E∩D=∅F∩G=∅B∩C=∅。

x.shape=Circle{strokeWidth:0.0}x.text=text{string:x.label}确保包含(x.shape,x.text)鼓励x.text下方的居中(x.text,x.shape)图层x.shape。

}确保包含(y.Shape,x.Shape)确保Small erThan(x.Shape,Y.Shape)确保outside Of(y.text,x.shape)层x.shape在y.Shape层y.text之下。

此图是使用Penrose(https://penrose.ink)于2020-01-16创建的。如果您对使此图表更易访问有任何建议,请与我们联系。圆表示。K.Shape圆形表示I.Shape圆形表示H.Shape圆形表示G.Shape圆形表示E.Shape圆形表示D.Shape圆形表示L.Shape圆形表示F.Shape圆形表示C.Shape圆形表示B.Shape圆形表示A.Shape。表示C.Shape的圆表示B.Shape的圆表示A.Shape的圆。代表I.Shape的圆代表H.Shape的圆代表F.Shape的圆代表E.Shape的圆代表D.Shape的圆代表C.Shape的圆代表A.Shape的B.Shape圆。

简单复杂K边e∈K子复形E⊆K E:=闭包(E)单形设置StE⊆K Ste:=星形(E)子复形ClStE⊆K ClStE:=闭包(Ste)子复形圈⊆K cle:=闭包(E)单纯Set Stcle⊆K Stcle:=星形(Cle)单形Set Lke⊆K Lke:=Set Minus(ClStE,StClE)。

我们感谢莉莉·谢尔哈默和杜玉萌的帮助。第一位作者在完成这项工作时得到了微软研究博士奖学金和ARCS基金会奖学金的支持;最后一位作者得到了帕卡德奖学金的支持。本材料基于美国国家科学基金会在拨款DMS-1439786和CCF-1910264下支持的工作,AFRL和DARPA在FA8750-16-2-0042下的协议,以及阿尔弗雷德·P·斯隆基金会在G-1910264-11406奖下的支持工作。

凯瑟琳·叶,Wode Ni,Max Krieger,Dor Ma‘ayan,Jenna Wise,Jonathan Aldrich,Joshua Sunsun和Keenan Crane。2020年。彭罗斯:从数学符号到美丽的图表。ACM传输。图。39、4、第一百四十四条(2020年7月),16页。https://doi.org/10.1145/3386569.3392375

作者={叶,凯瑟琳和妮,沃德和克里格,马克斯和马';阿扬,多和怀斯,珍娜和奥尔德里奇,乔纳森和阳光,乔纳森和克兰,基南},标题={彭罗斯:从数学符号到美丽的图表},期刊={ACM译文。图表},卷={39},编号={4},年份={2020},出版商={ACM},地址={纽约,纽约州,美国}