|数学表达式一键变图,CMU开发实用工具Penrose,堪称图解界LaTeX( 三 )


如前所述 , Penrose 为数学内容与视觉表示提供了两种不同的语言:Substance 和 Style 。
Substance 借助精确的断言(assertion)来诠释标准的数学表述 , 参见下图示例:
|数学表达式一键变图,CMU开发实用工具Penrose,堪称图解界LaTeX
本文插图

第二阶段:基于优化的合成
Penrose 使用约束优化来合成与给定描述相对应的图 。 这个方法主要是受到手绘图的启发:将视觉图标放在画布上 , 不断地调整直到无需再改进 。
|数学表达式一键变图,CMU开发实用工具Penrose,堪称图解界LaTeX
本文插图

此外 , Penrose 用户界面提供了插件接口 , 方便调用 Substance 和 Style 中的外部代码 , 从而提供系统级的可扩展性 。 该插件系统可以帮助用户集成可用于解决逻辑或图难题的外部代码 。
目前 , 该项目已发布在 GitHub 。 不过 Penrose 团队表示 , 目前版本处于早期阶段 , 仍在持续开发中 。
感兴趣的同学可以访问 Penrose 网站 , 跟进更多信息 。
网站地址:http://www.penrose.ink/


推荐阅读