数学机械化相关论文
本文以数学机械化思想和AC=BD理论为指导,以构造性变换及符号计算软件为辅助工具,从代数曲线和Riemann theta函数的角度来研究非线......
本文以数学机械化思想和AC=BD模式为指导,以计算机代数系统软件为工具,研究了孤立子理论中若干重要的孤子方程的精确求解问题,微分......
作为孤子理论中两个基本问题之一,构造可积的孤子方程一直是众多学者研究的重点.本文通过对有关孤子方程的公开问题进行讨论,给出......
随着计算机技术的发展,数学机械化受到了越来越多的关注,形式化数学是数学机械化领域的一个重要分支,即通过形式化的方式描述数学......
【摘 要】基于使用工具的不同，文章将初等数学研究划分为“石器时代”“农业时代”“智能时代”三个阶段，智能时代需要智能工具，智能......
现年97岁的数学家吴文俊教授依旧精神矍铄，他曾经明确指出：机器的出现延伸了人的体力，而现代计算机的出现则延伸了人的脑力。受技术进......
介绍了AC=BD模式及其在用机械化方法求解方程和证明定理中的应用.首先证明对可单值化算子D,如果CKerD C KerA,则存在算子B使AC=BD.......
对称理论在非线性方程的求解中起着重要作用。随着科学技术地不断发展,在对此理论的研究中,符号计算作为替代手工计算的一个重要研......
在2002年获得首届国家最高科技奖之前，除了数学界，知道他的人还非常少，他不但不和媒体打交道，甚至连身边的人他也不会凑得很近。90岁后......
张景中院士主持开发的Z＋Z智能教育平台软件——超级画板除了具有几何画板的所有功能外．还基于我国数学家吴文俊先生所提出的数学机械......
该文详细分析了非线性动态系统的研究现状,现有各种求周期解近似解析方法和数值方法的特点和不足,非线性动态系统特别是非线性动态......
该文简述了非线性动态电路理论研究的现状及发展趋势,分析了现有的各种求周期解的近似解析法和数值方法,指出了各种方法的优点和不......
非线性偏微分方程的Painlev′e分析方法( WTC方法),给出了偏微分方程的Painlev′e性质与可积性之间的关系。由于Painlev′e分析方......
该文根据数学机械化的思想,在导师张鸿庆教授"AC=BD"模式的指导下,以源于物理、力学等领域中的非线性问题所对应的非线性偏微分代......
样条函数作为函数逼近论的一个重要分支,已得到了迅速的发展和广泛的应用.样条函数,就是具有一定光滑度的分段或分片定义的函数.一......
本文根据吴文俊院士提出的数学机械化的思想,在导师张鸿庆教授"AC=BD"理论的指导下,以构造性的变换和符号计算为工具,研究在弹性力......
样条函数作为函数逼近论的一个重要分支,已得到了迅速的发展和广泛的应用.样条函数,就是具有一定光滑度的分段或分片定义的函数.一......
本文研究在弹性力学、流体力学、空气动力学、等离子体物理、生物物理和化学物理等现代科学技术中引出的非线性偏微分方程求精确解......
本文以数学机械化思想为指导，借助于计算机符号计算软件Maple，将导师张鸿庆教授提出的“AC=BD”理论应用于Burgers方程的精确求解。......
本文根据数学机械化思想，在导师张鸿庆教授“AC=BD”理论的指导下，以计算机符号数值计算软件为工具，研究了孤立子理论，研究在弹性力学......
随着科学技术和经济的发展，非线性差分方程组被广泛应用在统计问题、医学、几何学、生物基因学、力学、经济学和种群动力学等众多研......
本文依据数学机械化思想，在导师张鸿庆教授“AC=BD”理论的指导下，以计算机符号数值计算软件为工具，研究了关于微分方程求解的理论，特......
本文以数学机械化思想和AC=BD模式为指导，以构造性的变换及符号计算为辅助工具，主要研究了数学物理中微分方程的构造性变换与机械化......
当前,数学机械化已经成为我国和西方发达国家积极研究的前沿领域。随着研究的进一步深入,人们已经能够根据机械化方法创建各种机器......
本文依据数学机械化思想,在导师张鸿庆教授提出的“AC=BD”理论下,借助于符号计算软件Maple,研究了带交易成本的期权定价模型并求......
Mizar系统是一种计算机语言系统,是集逻辑证明、推理演绎、复杂计算、校验排版、科研教学于一体的处理数学信息的形式化系统,并拥......
本文研究微分方程(组)，特别是在力学、空气动力学、等离子体物理、生物物理和化学物理等现代科学技术中引出的非线性偏微分方程(组)......
随着现代科学技术的发展,寻求非线性发展方程的精确解越来越受到物理学家和数学家的重视.非线性发展方程的精确解能够解释众多物理......
当前，随着时代的进步，人们越来越不满足于落后的科学技术，正在研究怎样用高科技来解决一些复杂问题，以便从众多繁复的脑力劳动中解脱出......
数学机械化是数学与计算机科学相结合的一个新学科，随着数学研究及计算机科学的发展，它已经成为非常活跃的研究领域。为了实现数学机......
差分方程组在物理学、天文学、现代生物学、人工神经网络、经济学等很多领域都有着非常广泛的应用，但目前对于非线性差分方程组我们......
在已有工作的基础上，本文从总体的和全面的角度着眼，从数学机械化思想发展的关键人物和关键事件入手，结合对重点案例的分析，综合考察了......
吴文俊。中国科学院院士。中国数学机械化研究的创始人之一。1919年生于上海。1940年毕业于第一交通大学(现西安交通大学和上海交......
吴文俊中国科学院院士,中国数学机械化研究的创始人之一.1919年生于上海,1940年毕业于第一交通大学(现西安交通大学和上海交通大学......
吴消元法是求解多元代数方程组的一个重要方法.将区间运算应用于吴方法中,把求解一般代数方程组零点集的问题转化为求解区间代数方......
从代数学的理想论以及代数簇理论，探讨了 SISO多维控制系统的可反馈镇定条件，并给出反馈控制的表示.文中的主要结果建立在判定一个多......
基于摄动法基本原理,应用逆算符方法,给出一类二阶非线性系统周期解解分量逆算符表达递推算法,并实现了这一算法的数学机械化求解.......
在计算机的飞速的时代,数学机械化已是每个数学工作者的必备能力,所以数学教学绝不应继续墨守成规,必须注重培养学生的数学机械化......
期刊
本文研究4维闵科夫斯基空间SU(3)规范场的正规化问题.在对Yang-Mills方程的推导进行了分析的基础上,导出了恰当的Yang-Mills方程,......
1988年,张景中,陶懋颀用细致的人工估计,用BASIC语言程序在PB700微型计算机上证明了Zirakzadeh于1964年证明的一个几何不等式,其方......
Clifford代数是一种深深根植于几何学之中的代数系统,被它的创始人称为几何代数.历史上,E.Cartan,R.Brauer,H.Weyl,C.Chevalley等......
吴文俊是中国少数几位有国际声誉和重要影响的数学家之一.本文简短地介绍吴文俊不平坦的学术经历,着重论述他在拓扑学及数学机械化......
讨论数学中的有向化方法对中国古代四元术的及其作用，四元筹式的有向化布列奠定了四元消法程序机械化实施的基础，朱世杰的四元消法适......
对科学出版社吴文俊先生所著《数学机械化》中的定理4.1.27的充分性进行了讨论,给出了一个新结果,这个结果改进了原定理的结论。......
