|数学表达式一键变图，CMU开发实用工具Penrose，堪称图解界LaTeX( 三 )
如前所述 ， Penrose 为数学内容与视觉表示提供了两种不同的语言：Substance 和 Style 。
Substance 借助精确的断言（assertion）来诠释标准的数学表述 ， 参见下图示例：
本文插图
第二阶段：基于优化的合成
Penrose 使用约束优化来合成与给定描述相对应的图 。 这个方法主要是受到手绘图的启发：将视觉图标放在画布上 ， 不断地调整直到无需再改进 。
本文插图
此外 ， Penrose 用户界面提供了插件接口 ， 方便调用 Substance 和 Style 中的外部代码 ， 从而提供系统级的可扩展性 。 该插件系统可以帮助用户集成可用于解决逻辑或图难题的外部代码 。
目前 ， 该项目已发布在 GitHub 。 不过 Penrose 团队表示 ， 目前版本处于早期阶段 ， 仍在持续开发中 。
感兴趣的同学可以访问 Penrose 网站 ， 跟进更多信息 。
网站地址：http://www.penrose.ink/
推荐阅读
- |黑爵电竞鼠标AJ337 电竞手残党福音 鼠标宏一键火力全开
- 智能电视|喜大普奔！海信等多家品牌电视开机广告可“一键关闭”
- 对讲机|小米新配件，除了是蓝牙耳机，还能搭配对讲机一键通话
- 广告|出现之后1秒钟之内可按返回键！6家智能电视开机广告可“一键关闭”了
- 智能电视|出现之后1秒钟之内可按返回键！6家智能电视开机广告可“一键关闭”了
- 手机使用技巧|原来手机投屏到电视这么简单，一键搞定无需第三方，涨知识了
- 算法与数学之美|作为史上最疯狂的科学家，特斯拉提出过哪些惊世骇俗的设想
- 雷科技|微信又有骚操作？一键发送透明消息，群里都玩疯了
- 驱动之家|一键激活 125W 支持 Wi
- 卡顿|手机卡顿不流畅？那记得调整这3个隐藏功能，一键瞬间提升性能