复杂公式转化代码,轻松在AI进行数学推理

boyanx2个月前技术教程7

目前我们已经能够将文档、图片等形式的资料输入给AI供其思考,然而,像我们这种搞科研的人经常会碰到一些数学问题,我们希望AI能够针对性地给我们提供公式的含义、推导过程、化简过程等。

公式作为一种特殊的格式存在,不方便我们把它们当做文本格式和图片格式处理。实际上公式也是可以转化为代码的,不仅如此,AI给我们输出公式的时候,公式底层便是代码,经常使用latex语言的人可能会熟悉这些。

首先我们需要一个正版的公式编辑器MathType,这个软件大家应该听说过,但是使用的不多(这个感觉是从我周围的人的使用情况推断出来的),他们喜欢使用Word自带的公式,这种公式的格式并不是国标,不利于在正式文本中出现。

在公众号后台私信“mathtype”可以获取最新版本的公式编辑器及破解文件。

首先安装“MathType-win-zh-7.8.2.441”,然后再安装“MathType7PJ”进行破解。

我们尝试打一个公式进去:

在软件菜单栏里找到“预置-剪切和复制预置”,默认情况下是公式对象,就是可以直接复制粘贴到Word的对象。

为了在AI窗口中粘贴公式,我们需要选择MathML或Tex这个复制和粘贴选项,再次复制公式,粘贴,可看到公式变成了如下形式:

\[\frac{{ - b \pm \sqrt {{b^2} - 4ac} }}{{2a}}\]

这便是可以流行的公式的文本语言,让我们来试一下在AI中的提问。

可以看到,AI能够识别公式的含义并给出具体的解释,然而,这个还不足以满足我们的需求。对于大部分科研工作者来说,阅读文献是家常便饭,文献中的公式通常不会给我们太多细节解释,这就会导致我们在阅读时有一定的困难,当我们遇到一个很复杂的公式的时候,将公式打在MathType里面再复制代码未免太过麻烦,所以,我给大家推荐一个网址,在这个网址中,我们只需要对公式截图粘贴到框里,它会自动帮我们把公式翻译成文本语言

网址:https://simpletex.cn/

需要注意的是,该网址在空闲时段使用是免费的

让我们来试一下识别效果:

可以看到,网页识别的代码与我们在MathType软件中生成的一致。

既然MathType能将公式能够转化为文本语言,那么也可以通过粘贴文本语言的方式在MathType中创建公式。

这个功能适用以下场景,我们需要将大量的文献公式誊抄在我们的Word文档里,通过软件一个一个符号去打出来,一来速度很慢,二来无法控制正确率,不妨就试试这个方法,截图识别公式的代码,粘贴至MathType里,生成公式后粘贴到Word中

相关文章

推荐几款好用的公式编辑器,功能齐全,操作简单~

公式编辑器里的公式怎么调出来?公式编辑器是一种非常方便的工具,可以轻松创建和编辑各种数学公式和式子。无论是办公和学习中,它都可以为你带来很大的帮助。通过公式编辑器,你可以输入各种符号和公式,然后将它们...

一个更快速简洁的Latex OCR工具:Rapid Latex OCR

一个将公式图像转为latex格式的工具,代码修改自LaTeX-OCR,模型已经全部转为ONNX格式,并对推理代码做了精简,推理速度更快,更容易部署。仓库只有基于ONNXRuntime或者OpenVIN...

FreeTex:免费的智能公式识别神器

概述科研工作者在写论文时,经常需要将别的文章的公式识别成 Latex/Word 格式,以便编辑修改。然而,目前主流的公式识别软件mathpix、simpletex等都需要付费才能使用。simplete...

MathType软件官方下载:一款强大的数学公式编辑器

不得不承认MathType公式编辑器是一个强大的数学公式编辑器,专门为理科生准备,MathType数学公式编辑器用于编辑数学试卷、书籍、报刊、论文、幻灯演示等文档,能够帮助使用者快速的在各种文档中插入...

pix2tex - 通过 OCR 将数学公式的图像转换为相应的 LaTeX 代码

大家好,又见面了,我是 GitHub 精选君!背景介绍在数学领域,将手写公式转换为 LaTeX 代码是一个常见的需求。然而,手动转换费时费力且容易出错。为解决这一问题,pix2tex 项目应运而生。该...

基于mathlive从零将公式编辑器集成到可视化搭建平台

hi, 大家好, 我是徐小夕. 上篇文章和大家分享了刚开发完的可视化搭建产品——橙子试卷. 收到了很多用户的反馈和建议, 其中有一个建议我觉得非常有意思, 所以花了一天时间研究和实现了这个用户需求.具...

发表评论    

◎欢迎参与讨论,请在这里发表您的看法、交流您的观点。