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


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

查看所有标签

猜你喜欢:

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

集体智慧编程

集体智慧编程

TOBY SEGARAN / 莫映、王开福 / 电子工业出版社 / 2009-1 / 59.80元

本书以机器学习与计算统计为主题背景,专门讲述如何挖掘和分析Web上的数据和资源,如何分析用户体验、市场营销、个人品味等诸多信息,并得出有用的结论,通过复杂的算法来从Web网站获取、收集并分析用户的数据和反馈信息,以便创造新的用户价值和商业价值。全书内容翔实,包括协作过滤技术(实现关联产品推荐功能)、集群数据分析(在大规模数据集中发掘相似的数据子集)、搜索引擎核心技术(爬虫、索引、查询引擎、Page......一起来看看 《集体智慧编程》 这本书的介绍吧!

JSON 在线解析
JSON 在线解析

在线 JSON 格式化工具

图片转BASE64编码
图片转BASE64编码

在线图片转Base64编码工具

MD5 加密
MD5 加密

MD5 加密工具