机构

• 数学与系统科学研究... [14]
• 软件研究所 [1]

采集方式

• OAI收割 [15]

内容类型

• 期刊论文 [15]

发表日期

• 2020 [1]
• 2019 [1]
• 2009 [1]
• 2008 [1]
• 2005 [1]
• 2004 [1]
• 更多

学科主题

筛选

浏览/检索结果: 共15条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Hilbert Problem 15 and Ritt-Wu Method (II) 期刊论文  OAI收割 JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2020, 页码: 15 作者:  Li, Banghe;  Wang, Dingkang   |  收藏  |  浏览/下载：12/0  |  提交时间：2020/09/23 Cubic curves with cusp  Hilbert problem 15  Ritt-Wu method   Hilbert Problem 15 and Ritt-Wu Method (I) 期刊论文  OAI收割 JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2019, 卷号: 32, 期号: 1, 页码: 47-61 作者:  Li Banghe   |  收藏  |  浏览/下载：22/0  |  提交时间：2019/04/02 Cubed curves with cusp  Hilbert Problem 15  Ritt-Wu Method   SOLVING COLORED YANG-BAXTER EQUATION BY WU'S METHOD 期刊论文  OAI收割 ACTA MATHEMATICA SCIENTIA, 2009, 卷号: 29, 期号: 5, 页码: 1267-1294 作者:  Ren Xin'an;  Wang Shikun;  Wu Ke   |  收藏  |  浏览/下载：13/0  |  提交时间：2018/07/30 Yang-Baxter equation  solution of the colored Yang-Baxter equation  Wu's method   Mechanical theorem proving in the surfaces using the characteristic set method and Wronskian determinant 期刊论文  OAI收割 SCIENCE IN CHINA SERIES A-MATHEMATICS, 2008, 卷号: 51, 期号: 10, 页码: 1763-1774 作者:  Feng RuYong;  Yu JianPing   |  收藏  |  浏览/下载：14/0  |  提交时间：2018/07/30 mechanical theorem proving  Wu-Ritt's characteristic set method  local theory of surface  Wronskian determinant   一种分布式吴方法计算模型 期刊论文  OAI收割 软件学报, 2005, 卷号: 16, 期号: 3, 页码: 384-391 武永卫; 杨广文; 杨宏; 郑纬民; 林东岱   |  收藏  |  浏览/下载：17/0  |  提交时间：2010/08/19 分布式计算  吴方法  符号计算  distributed computation  Wu's method  symbolic computation   An algorithm for solving partial differential parametric systems 期刊论文  OAI收割 DISCRETE APPLIED MATHEMATICS, 2004, 卷号: 136, 期号: 1, 页码: 105-116 作者:  Wang, JM;  Gao, XS   |  收藏  |  浏览/下载：18/0  |  提交时间：2018/07/30 differential algebra  differential parametric system  Wu-Ritt method  cover   An algorithmic method in Painleve analysis of PDE 期刊论文  OAI收割 COMPUTER PHYSICS COMMUNICATIONS, 2003, 卷号: 154, 期号: 3, 页码: 197-204 作者:  Xie, FD;  Yong, C   |  收藏  |  浏览/下载：17/0  |  提交时间：2018/07/30 Painleve property  symbolic computation  Wu-Ritt elimination method   Complete solution classification for the Perspective-Three-Point problem 期刊论文  OAI收割 IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE, 2003, 卷号: 25, 期号: 8, 页码: 930-943 作者:  Gao, XS;  Hou, XR;  Tang, JL;  Cheng, HF   |  收藏  |  浏览/下载：9/0  |  提交时间：2018/07/30 Perspective-Three-Point problem  pose determination  analytical solutions  solution classification  geometric criteria  Wu-Ritt's zero decomposition method   Involutive characteristic sets of algebraic partial differential equation systems 期刊论文  OAI收割 SCIENCE IN CHINA SERIES A-MATHEMATICS, 2003, 卷号: 46, 期号: 4, 页码: 469-487 作者:  Chen, YF;  Gao, XS   |  收藏  |  浏览/下载：19/0  |  提交时间：2018/07/30 involutive characteristic set  integrability conditions  algebraic partial differential equation system  Wu-Ritt's characteristic set method   Vectorial equations solving for mechanical geometry theorem proving 期刊论文  OAI收割 JOURNAL OF AUTOMATED REASONING, 2000, 卷号: 25, 期号: 2, 页码: 83-121 作者:  Li, JB   |  收藏  |  浏览/下载：15/0  |  提交时间：2018/07/30 mechanical theorem proving  Wu's method  Clifford algebra  vectorial equations solving  the area method