其他
数学表达式一键变图,CMU 开发实用工具 Penrose,堪称图解界 LaTeX
(给算法爱好者加星标,修炼编程内功)
来源:机器之心
「有 A、B 两个集合,A 与 B 相交,C 是 A 与 B 的交集,分别将三个集合命名为 Circles、Diagrams、Venn Diagrams。」给出这样一段描述,你要怎么作图?先画两个相交的圆,然后各自命名?太麻烦了!卡内基梅隆大学开发的一款新工具可以帮你自动生成。
论文地址:http://penrose.ink/media/Penrose_SIGGRAPH2020.pdf
GitHub 地址:https://github.com/penrose/penrose
左侧第一个下拉框:表示用户试图转化的数学公式所属的领域,上图示例显示的是「集合论」(set theory);
左侧第二个框:可供用户选择想要生成的图样式,上图选择的是维恩图(venn),用户可以点击该下拉框,选择自己喜欢的样式;
右侧「run」按钮:点击该按钮,等待几秒,即可得到左侧数学内容所对应的图。
dsl:数学领域中可用的对象、关系和符号;
sub:填充数学内容;
sty:从数学表述到视觉表示。
右下方「resample」按钮:如果你对生成的图不满意,点击该按钮,即可重新生成图;
「autostep」按钮:实现图的自动生成,如果你想对图进行调整,只需禁用该功能即可。
以用户熟悉的方式表达数学对象;
系统不局限于固定的某些领域;
对相同的数学内容进行不同的可视化展示;
视觉复杂度方面不存在内在限制;
速度快,支持迭代工作流;
为制图所做的努力应该是可泛化和可重用的。
通过从数学对象到视觉图标的映射来规定图;
通过解决相关的约束优化问题来合成图。
- EOF -
觉得本文有帮助?请分享给更多人
关注「算法爱好者」加星标,修炼编程内功
好文章,我在看❤️