数学研发论坛

 找回密码
 欢迎注册
查看: 186|回复: 6

[讨论] 实现多项式的计算问题

[复制链接]
发表于 2021-1-4 18:58:08 | 显示全部楼层 |阅读模式

马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。

您需要 登录 才可以下载或查看,没有帐号?欢迎注册

x
利用数学的定义和已知的结论对多项式进行有目的的计算工作。谁有这方面的研究资料可以共享?也可以我们天马行空的自由讨论,
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2021-1-5 08:28:04 | 显示全部楼层
四则运算和乘方微分积分相对比较简单,递归即可。楼主需要什么样的计算?
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2021-1-5 09:17:14 | 显示全部楼层
现在还没有一个很明确的东西,就是在做微分积分计算的时候想到的一个事情。比如求导或是微分,初始有一个多项式,目标是求多项式导数方程,计算过程中多项式是否需要展开,是否需要合并,需要引用哪个定义公式进行替换,这些是在代码中实现的过程。我就想知道学术上这个应该叫什么,现在都有哪些研究成果。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2021-1-6 21:53:20 | 显示全部楼层
能否应用于几何自动推理

点评

与世界品牌软件相比性能如何  发表于 2021-1-6 21:54
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2021-1-7 09:13:27 | 显示全部楼层
多项式中会包涵三角函数、指数、对数等各种不同的项,在转换过程中也会有分解、合并、代入替换等很多种方法公式可以调用,其中会有某一项对应几种转换或是几项合在一起对应一个转换方法就是多对多,还有随着我们对某一方面认识的深入会有新的方法公式加入进来,人脑对这些多项式的计算是靠强大的记忆力不断的分析和顿悟来达到某一个目的。让机器来完成这项工作,有什么样的路可走。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2021-1-7 09:19:39 | 显示全部楼层
数学中有很多东西是用自然语言来描述的,如果能把这种自然语言描述的东西转换到机器可以识别的结构化数据,是不是就可以实现智能化的自动推理工作,只少这应该是中间很重要的一步。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
您需要登录后才可以回帖 登录 | 欢迎注册

本版积分规则

小黑屋|手机版|数学研发网 ( 苏ICP备07505100号 )

GMT+8, 2021-1-28 04:32 , Processed in 0.058630 second(s), 17 queries .

Powered by Discuz! X3.4

© 2001-2017 Comsenz Inc.

快速回复 返回顶部 返回列表