CMU’s ‘Penrose’ Turns Complex Math Notations Into Illustrative Diagrams

栏目: IT技术 · 发布时间: 4年前

内容简介: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.

CMU’s ‘Penrose’ Turns Complex Math Notations Into Illustrative Diagrams
CMU’s ‘Penrose’ Turns Complex Math Notations Into Illustrative Diagrams

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, 2020

But 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.

CMU’s ‘Penrose’ Turns Complex Math Notations Into Illustrative Diagrams

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


以上就是本文的全部内容,希望本文的内容对大家的学习或者工作能带来一定的帮助,也希望大家多多支持 码农网

查看所有标签

猜你喜欢:

本站部分资源来源于网络,本站转载出于传递更多信息之目的,版权归原作者或者来源机构所有,如转载稿涉及版权问题,请联系我们

编程精粹

编程精粹

Steve Maguire / 人民邮电出版社 / 2009.2 / 45.00元

编写高质量的、没有bug的程序,是每位程序员所追求的目标。但随着软件规模越来越大,功能日趋复杂,这一目标变得越来越困难。 本书揭示了微软公司应对质量挑战、开发出世界级代码的技术内幕,作者在自己不断探索、实践和思考的基础上,系统总结了多年来指导微软各团队的经验,将其凝聚为许多切实可行的编程实践指导,可谓字字珠玑。正因如此,本书被公认为与《代码大全》齐名的编程技术名著,曾于1993年荣获有软件开......一起来看看 《编程精粹》 这本书的介绍吧!

JS 压缩/解压工具
JS 压缩/解压工具

在线压缩/解压 JS 代码

CSS 压缩/解压工具
CSS 压缩/解压工具

在线压缩/解压 CSS 代码

RGB转16进制工具
RGB转16进制工具

RGB HEX 互转工具