吴方法

作品数：113被引量：300H指数：10
导出分析报告
相关领域：理学更多>>
相关作者：朝鲁特木尔朝鲁张鸿庆夏铁成曾广兴更多>>
相关机构：内蒙古工业大学大连理工大学中国科学院数学与系统科学研究院吉林大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家教育部博士点基金内蒙古自治区自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
大数据挖掘创新的新思路
《国防科技》2021年第5期135-142,共8页朱亚宗 
以计算机为主的现代手段,在数据挖掘中虽然取得了很大成功,但是与现实的需求相比,仍有巨大的差距。大数据挖掘创新将是一个永恒的主题。吴文俊院士创造的计算机算法“吴方法”,是汲取中国传统科学思想方法精华的瑰宝,不仅开辟了定理机...
关键词：数据挖掘 数据 算法 “吴方法” 传统科学方法 
基于吴方法的几何定理证明的恒等式方法被引量：2
《中国科学：数学》2021年第1期289-300,共12页邹宇 彭翕成 饶永生 
国家自然科学基金(批准号:11701118)资助项目。
多年来通常认为以吴方法为代表的几何定理机器证明的坐标法给出的证明不可读,或不是图灵意义下的类人解答.其实,只要对吴氏的算法做不多的改进,即将命题的结论多项式表示为其条件多项式的线性组合,就能获得不依赖于理论、算法和大量计...
关键词：吴方法 几何定理证明 恒等式方法 点几何 
吴文俊 引发“地震”的天才
《科学大观园》2019年第9期36-36,共1页经济日报 
国际数学界不乏年少成名的奇才,但很少有人能时隔数十年再创辉煌,更罕有人能在晚年开宗立派,劈开一个全新领域。吴文俊做到了。1946年,吴文俊师从数学家陈省身,开始研究拓扑学。拓扑学是著名的“难学”,但会者不难,入门不久,吴文俊就展...
关键词：拓扑学 吴文俊 吴方法 
基于吴方法的确定微分方程对称Lie代数结构常数机械化算法被引量：1
《中国科学：数学》2019年第5期751-764,共14页特木尔朝鲁 魏康康 姚裕丰 苏道 
国家自然科学基金(批准号:11571008;11771279和11661060)资助项目
本文基于微分形式吴方法理论及算法给出无需确定对称Lie代数本身而事先构造其同构像(具有同结构常数的Lie代数)的机械化算法.该算法有效提高构造(偏)微分方程(组)对称Lie代数的效率,并可应用于对称Lie代数各类性质的机械化分析和判定....
关键词：微分形式吴方法 (偏)微分方程 对称Lie代数 确定方程组 机械化算法 
吴方法在求解数独问题中的应用被引量：1
《理论数学》2019年第3期403-409,共7页许晓宁 
吴方法是计算机代数中的一种重要方法,主要通过求解吴特征列来达到对多项式方程组进行消元求解的目的,多项式的不可约特征序列则是在吴特征列的基础上进行因子分解得到的三角列集合,从而得到相应的零点分解,进而达到求解多项式零点的目...
关键词：三角列 吴特征列 不可约特征序列 数独 图论染色问题 
用吴方法解决染色问题
《理论数学》2018年第5期486-490,共5页苗婷婷 
染色问题是图论中的著名问题,目前已有人用Groebner基方法解决了染色问题,本文另辟蹊径用吴方法来解决染色问题。吴方法又称特征列方法,是吴文俊于20世纪70年代提出的处理多项式代数问题的一种方法。与Groebner基方法不同之处在于,它完...
关键词：染色问题 吴方法 零点集 Groebner基方法 三色问题 
基于吴方法的偏微分方程对称计算、判定和分类新算法（英文）
《内蒙古大学学报（自然科学版）》2017年第4期404-411,共8页朝鲁 魏康康 
Supported by Natural Science Foundation of China(No.11571008)~~
综述了作者提出的基于吴方法的偏微分方程(PDE)对称计算、判定和分类新算法的主要进展,并以具体算例说明了给出理论和算法的有效性.算法的主要思想是把PDE对称计算、判定和分类问题转化为微分多项式组的特征列集零点分解问题,从而在吴...
关键词：吴方法 对称 计算 判定 分类 
“数学顽童”已去“吴方法”永存——追忆中国科学院院士吴文俊
《发明与创新（大科技）》2017年第6期22-23,共2页本刊综合 
他是中国数学界的泰山北斗,1956年就与华罗庚、钱学森一起获得首届国家自然科学一等奖.他开创了近代数学史上第一个由中国人原创的研究领域,82岁高龄时又站在首届国家最高科技奖的领奖台上.
关键词：中国数学 中国科学院院士 吴文俊 吴方法 国家最高科技奖 近代数学史 自然科学 华罗庚 
人工智能:光荣与梦想
《中关村》2016年第6期74-75,共2页刘卓军 
＂狗＂之光荣的背后是技术、是实力,是人的智慧。现年97岁的数学家吴文俊教授依旧精神矍铄,他曾经明确指出：机器的出现延伸了人的体力,而现代计算机的出现则延伸了人的脑力。受技术进步的影响,吴先生在近花甲之年,以他深厚的数学功底...
关键词：数学机械化 自动定理证明 刻苦精神 机器智能 吴方法 技术进步 吴文俊 数学界 人类智能 计算机科学 
吴方法在求解Beckmann交通平衡分配模型中的应用
《应用数学进展》2016年第3期327-335,共9页战秋艳 朝鲁 魏贤鹏 
国家自然科学基金委员会资助项目(11571008)。
交通流分配中的Beckmann优化模型的广泛适用性越来越受到人们的关注。在通常解Beckmann模型时往往采用W-F算法,该算法得到的解为近似解,并非理想的精确解。本文采用吴方法对Beckmann交通平衡分配优化模型的求解方法进行了研究。首先,把...
关键词：Beckmann模型 吴方法 数学机械化 特征列 
全选清除导出
共12页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部