以后繁琐的数学公式可以转换成图画了？

　　一个新工具可以把数字转换成图像。

　　该工具使用户只需输入普通数学表达式，并让软件进行绘图，就可以创建图表。

　　与图形计算器不同，这些表达式并不限于基本函数，但可能是复杂关系的任何领域的数学。

　　这位著名的数学家和物理学家罗杰·彭罗斯（Roger Penrose）以图表和其他图来传达复杂的数学和科学思想而闻名。

　　计算机科学和机器人助理教授Keenan Crane说：“有些数学家有手工绘制美丽的图的天赋，一旦黑板被擦掉，它们就会消失。

　　"我们想让任何人均可获得这种表达能力"。

　　由于制作高质量的数字插图超出了许多研究者的技能，需要大量繁琐的工作，因此图纸常常在技术交流中使用不足。

　　彭罗斯(Penrose)通过使图表绘制专家能够在系统中对如何进行编码来应对这些挑战。其他用户可以利用熟悉的数学语言访问这种能力，让计算机做大部分繁杂的工作。

　　“我们系统的秘诀在于增强人们的权能，以便于计算机解释这个翻译过程，从而使计算机能够尽一切努力实际制作图片。”

　　一旦计算机学会了用户如何看到数学对象可视化（例如由小箭头表示的向量，或由点表示的向量），它就使用这些规则来绘制几个候选图表。

　　然后用户可以选择和编辑所需的图表。

　　克兰说，研究小组为此开发了一种特殊的编程语言，数学家应该没有麻烦的学习。

　　“数学家对记号非常挑剔，”他解释道，“我们让他们定义他们想要的任何记号，这样他们就能自然地表达自己。”

　　“我们的愿景是能够从图书馆扔掉一本古老的数学教科书，把它扔到计算机上，得到一本美丽的插图书——那就是更多的人明白这一点。”彭罗斯是朝着这个目标迈出的第一步。

　　举报/反馈