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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  举报/反馈