没有合适的资源?快使用搜索试试~
我知道了~
文库首页
课程资源
专业指导
数学丛书.-.[现代数学基础丛书].[非线性代数方程组与定理机器证明].(吴文俊)
数学丛书.-.[现代数学基础丛书].[非线性代数方程组与定理机器证明].(吴文俊)
非线性代数方程组与定理机器证明
需积分: 10
24 下载量
142 浏览量
2009-03-23
01:14:39
上传
评论
收藏
2.61MB
PDF
举报
温馨提示
立即下载
开通VIP(低至0.43/天)
买1年送3月
非线性代数方程组与定理机器证明数学丛书.-.[现代数学基础丛书].[非线性代数方程组与定理机器证明].(吴文俊)
资源推荐
资源评论
非线性代数方程组与定理机器证明
浏览:81
非线性代数方程组与定理机器证明非线性代数方程组与定理机器证明
现代数学基础丛书].[整函数
浏览:84
整函数整函数整函数整函数整函数整函数整函数整函数
非线性代数方程组与定理机器证明(杨路等)
浏览:72
非线性代数方程组与定理机器证明(杨路等)。。。。。。。。。。。。。。
现代数学基础丛书 概率论基础 第二版
浏览:193
现代数学基础丛书 概率论基础 第二版
现代数学基础54代数学下莫宗坚等著
浏览:126
现代数学基础54,代数学下,莫宗坚等著,扫描版高清!
数学丛书.-.[控制论].[最优控制理论].pdf
浏览:41
5星 · 资源好评率100%
介绍最优控制理论的不错的教程,不妨看看!
非线性科学丛书系列之 非线性代数方程组与定理机器证明
浏览:88
非线性科学丛书系列之 线性代数方程组与定理机器证明
吴文俊:不朽的数学人生,照耀人工智能发展之路.zip
浏览:149
.[非线性代数方程组与定理机器证明].(吴文俊),数学原理(第一卷)分为集合论、范畴论、范代数和模型论 戴均著,吴文俊论数学机械化 著述全集,吴文俊与数学机械化_纪志刚-论文,张量(理论和应用)(郭仲衡)
几何定理的机器证明,吴文俊著
浏览:92
5星 · 资源好评率100%
我国的原创,吴文俊著,初等集合部分,科学出版社
吴文俊的数学世界PPT课件.pptx
浏览:34
吴文俊的数学研究主要集中在拓扑学、机器定理证明、数学机械化等领域。他提出了用计算机实现数学定理证明的方法,作出了影响深远的贡献。吴文俊能够清醒地认识到中国数学研究领域存在的主要问题,期待着未来的中国...
三阶非线性项的耦合标量场方程的精确孤子解
浏览:71
针对非线性耦合标量场方程的求解问题,采用改进的sine-cosine法,并把它应用到n+1维耦合非线性标量场方程,同时利用Mathematica数学软件并结合吴文俊消元法,获得了n+1维耦合标量场方程的5类精确孤子解,部分已知的结论是...
小学二年级数学线性代数要科学计算.ppt
浏览:54
线性代数是数学的一个重要分支,尤其在科学计算领域起着至关重要的作用。这篇文档主要探讨了在小学二年级引入线性代数概念,并强调科学计算能力的培养对于现代教育的重要性。 首先,科学计算能力被视为衡量教育现代...
吴文俊数学家PPT教案.pptx
浏览:195
吴文俊数学家PPT教案.pptx
吴文俊:不朽的数学人生,照耀人工智能发展之路.md
浏览:95
吴文俊先生为了弘扬中国数学构造性算法化的传统,将数学(特别是代数几何)与计算机科学相结合,开创了机器几何定理证明的方向,只手擎天地推动了**数学机械化**的发展。列举的两个应用例子,可以大略知晓基于吴方法...
10000个科学难题 数学卷.pdf
浏览:165
尽管只占整个系列10000个科学难题中的极小比例,但它涵盖了数学领域的各个方面,从传统的数论、拓扑、几何、代数、分析、微分方程、集合论、数理逻辑、函数论、图论,到近代兴起的科学计算、随机过程、现代统计学、...
通俗数学名著译丛03-数学娱乐问题.pdf
浏览:150
文章开篇阐述了数学作为一门古老而又不断更新的科学,在20世纪取得了巨大的发展,稳固了其在科学技术领域的基础地位,并逐渐向各个知识领域渗透,为人类的物质生产与日常生活作出了直接的贡献。数学不仅是一门科学,...
科技情报大数据挖掘与服务平台-吴文俊人工智能科学技术奖.pdf
浏览:21
科技情报大数据挖掘与服务平台-吴文俊人工智能科学技术奖.pdf
几何专家 几何定理证明
浏览:14
《几何专家》提供了几何动态图形变换与板块操作,可以自动证明定理,并产生简单、漂亮的证明过程,还可以自动发现几何图形的丰富性质。自从吴文俊教授七十年代末提出几何定理自动证明的吴方法以来,中国学者在这方面...
学校数学教学总结-试验的探究(2)第2页-总结.docx
浏览:109
这种转变反映出数学在现代社会中的广泛应用,尤其是在科技领域,数学已成为核心技术的基础。正如吴文俊院士指出,数学不仅是理论研究,更是解决实际问题的关键。 【数学教学的问题与挑战】 传统的数学教学往往过于...
基于Maple系统的Riccati方程自动求解的实现 (2007年)
浏览:177
利用非线性演化方程的精确行波解的手工推导和计算的原理,结合计算机符号计算,在计算机代数系统 Maple上,开发了基于非线性代数方程组吴文俊消元法的非线性演化方程精确行波解的自动求解软件包,实现了非线性方程 (组)...
勾股定理的发现和发展史.docx
浏览:74
正如当代中国数学家吴文俊所说:在中国的传统数学中,数量关系与空间形式往往是形影不离地并肩发展着的…十七世纪笛卡儿解析几何的发明,正是中国这种传统思想与方法在几百年停顿后的重现与继续。 勾股定理的发现和...
特征集 计算机代数 吴-Ritt算法
浏览:48
直到70年代,吴文俊教授在建立几何定理机器证明方法时重新发掘了这一理论,并对其进行拓展和优化,形成了吴-Ritt算法,这一算法克服了Ritt原始算法中对多项式不可约性的限制,能有效处理任意多项式组。 特征集方法...
吴文俊人吴文俊人工智能科学技术奖2020.pdf
浏览:145
吴文俊人工智能科学技术奖,由中兴通讯公司牵头捐资,中国人工智能学会发起主办,共设有科学技术成就奖、科学技术创新奖和科学技术进步奖,每年评奖一次。其中,成就奖和创新奖主要奖励个人,进步奖主要奖励项目。 ...
高山仰止文俊大师名闻东西南北国寿比珠穆朗玛峰拓扑地震人工智能开创数学机械化吴氏微笑驻心田.pdf
浏览:115
4. 人工智能与数学机械化的关系:文章强调了吴文俊在人工智能领域的开拓性工作和贡献,其中数学机械化为人工智能的发展提供了理论基础和方法论工具,尤其是在理论证明和逻辑推理等方面。 5. 对中国传统文化的继承和...
数学史教育功能.ppt
浏览:142
数学史在高中数学课程标准中占据了重要地位,直接选题涵盖了从古代算术与几何到现代数学的诸多领域,如微积分的产生、欧拉与高斯的贡献,以及近世代数和集合论的诞生。同时,数学文化内容被有机地融入到各个模块中,...
非线性微分方程一类精确解的计算机自动推导 (2003年)
浏览:78
以吴文俊数学机械化方法为基本工具在计算机代数系统Maple上开发出了非线性演化方程孤波解的自动求解软件包RATH。利用RATH 成功求解了近百个不同类型的非线性演化方程,所获结果不仅涵盖了所有的已知解,而且对许多...
三阶非线性项的耦合标量场方程的精确孤子解 (2010年)
浏览:42
针对非线性耦合标量场方程的求解问题,采用改进的sine-cosine法,并把它应用到n+1维耦合非线性标量场方程,同时利用Mathematica数学软件并结合吴文俊消元法,获得了n+1维耦合标量场方程的5类精确孤子解,部分已知的结论是...
评论
收藏
内容反馈
立即下载
开通VIP(低至0.43/天)
买1年送3月
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
w3973119
粉丝: 0
资源:
1
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
【yan照门】chen冠希(1323张) [2月25日凌晨新增容祖儿全94张].rar.torrent
(源码)基于C++的员工管理系统.zip
(源码)基于Spring Boot的社区问答系统.zip
(源码)基于51单片机的电子万年历系统.zip
(源码)基于Java拦截器框架的事件处理系统.zip
(源码)基于Spring Boot和Vue的权限管理系统.zip
(源码)基于C++的简易操作系统模拟器.zip
(源码)基于Arduino的迷你雷达系统.zip
(源码)基于ROS和PCL的激光与UWB定位仿真系统.zip
(源码)基于Arduino的iBeacon发送系统.zip
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功