内容简介：A team of researchers from CMU and Technion recently introduced a new system, Penrose, that can turn complex mathematical notations into various styles of simple diagrams. The novel system rapidly attracted attention on social media as a promising visualiz
A team of researchers from CMU and Technion recently introduced a new system, Penrose, that can turn complex mathematical notations into various styles of simple diagrams. The novel system rapidly attracted attention on social media as a promising visualization tool for effectively communicating complex mathematical ideas and concepts.
The researchers noted that it is relatively rare to find diagrams in mathematical writings, which mostly contain formal and technical language. While high-quality visuals can be useful for effectively conveying mathematical ideas, the graphic tools required to produce such diagrams are not always available or user-friendly, and this has limited their usage in mathematical writing. “There are a ton of great tools for making diagrams, but we found ourselves always either spending a long time drawing them in a graphical interface, or meticulously tweaking coordinates in code,” first author on the Penrose paper and fourth-year CMU PhD student Katherine Ye tweeted .
Other popular professional typesetting systems such as LaTex convert mathematical input into a visual representation through algorithmic codifying. The CMU team similarly designed Penrose to codify the best practices of mathematical illustrators in a way that is reusable and widely accessible. Ye says Penrose enables users to create diagrams by simply typing in mathematical expressions that describe relationships, whereupon “the tool automatically takes care of laying everything out.”
As a simple example, let's make a Venn diagram. In Penrose, we can just write some code like this:
Set A, B
Intersecting(A, B)
Set C := Intersection(A, B)
Label A $text{Circles}$
Label B $text{Diagrams}$
Label C $text{Venn Diagrams}$
Hit go, and we get this picture. pic.twitter.com/y5eGYp9TcS
— Katherine Ye (@hypotext) June 3, 2020But unlike other visualization tools that generate diagrams through direct manipulation or low-level graphics programming, Penrose offers more than just illustrations.With a visual representation that is user-defined in a constraint-based specification language, Penrose’s capability to separate abstract mathematical objects and their visual representations can also provide insights on the inspection and debugging of user-defined data structures. The mappings from mathematical objects to visual icons make Penrose a flexible and scalable system.
Although the system enables even novice users to create diagrams by simply typing mathematical statements in familiar notations, users are expected to have the necessary knowledge to confirm whether the diagrams correctly communicate the intended mathematical meaning.
The team named the system after renowned mathematician and physicist Roger Penrose, whose eponymous Penrose Diagram is a two-dimensional illustration of the causal relations between different points in spacetime. The team hopes Penrose can be developed into a broader platform for automatic illustration that could, for example, automatically illustrate math textbooks or webpages. They will present the work at the SIGGRAPH 2020 Conference on Computer Graphics and Interactive Techniques .
The paper Penrose: From Mathematical Notation to Beautiful Diagrams and the associated code can be found on the project website .
Journalist: Fangyu Cai | Editor : Michael Sarazen
以上就是本文的全部内容，希望本文的内容对大家的学习或者工作能带来一定的帮助，也希望大家多多支持 码农网
猜你喜欢:
本站部分资源来源于网络，本站转载出于传递更多信息之目的，版权归原作者或者来源机构所有，如转载稿涉及版权问题，请联系我们。
计算机网络（第5版）
Andrew S. Tanenbaum、David J. Wetherall / 严伟、潘爱民 / 清华大学出版社 / 2012-3-1 / 89.50元
本书是国内外使用最广泛、最权威的计算机网络经典教材。全书按照网络协议模型自下而上（物理层、数据链路层、介质访问控制层、网络层、传输层和应用层）有系统地介绍了计算机网络的基本原理，并结合Internet给出了大量的协议实例。在讲述网络各层次内容的同时，还与时俱进地引入了最新的网络技术，包括无线网络、3G蜂窝网络、RFID与传感器网络、内容分发与P2P网络、流媒体传输与IP语音，以及延迟容忍网络等。另......一起来看看 《计算机网络（第5版）》 这本书的介绍吧!
