中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共14条，第1-10条 帮助

已选(0)清除 条数/页：   排序方式：
Hilbert Problem 15 and Ritt-Wu Method (II) 期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2020, 页码: 15
作者:  Li, Banghe;  Wang, Dingkang
收藏  |  浏览/下载：161/0  |  提交时间：2020/09/23
Cubic curves with cusp  Hilbert problem 15  Ritt-Wu method  
Hilbert Problem 15 and Ritt-Wu Method (I) 期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2019, 卷号: 32, 期号: 1, 页码: 47-61
作者:  Li Banghe
收藏  |  浏览/下载：192/0  |  提交时间：2019/04/02
Cubed curves with cusp  Hilbert Problem 15  Ritt-Wu Method  
SOLVING COLORED YANG-BAXTER EQUATION BY WU'S METHOD 期刊论文
ACTA MATHEMATICA SCIENTIA, 2009, 卷号: 29, 期号: 5, 页码: 1267-1294
作者:  Ren Xin'an;  Wang Shikun;  Wu Ke
收藏  |  浏览/下载：135/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 期刊论文
SCIENCE IN CHINA SERIES A-MATHEMATICS, 2008, 卷号: 51, 期号: 10, 页码: 1763-1774
作者:  Feng RuYong;  Yu JianPing
收藏  |  浏览/下载：146/0  |  提交时间：2018/07/30
mechanical theorem proving  Wu-Ritt's characteristic set method  local theory of surface  Wronskian determinant  
An algorithm for solving partial differential parametric systems 期刊论文
DISCRETE APPLIED MATHEMATICS, 2004, 卷号: 136, 期号: 1, 页码: 105-116
作者:  Wang, JM;  Gao, XS
收藏  |  浏览/下载：104/0  |  提交时间：2018/07/30
differential algebra  differential parametric system  Wu-Ritt method  cover  
An algorithmic method in Painleve analysis of PDE 期刊论文
COMPUTER PHYSICS COMMUNICATIONS, 2003, 卷号: 154, 期号: 3, 页码: 197-204
作者:  Xie, FD;  Yong, C
收藏  |  浏览/下载：127/0  |  提交时间：2018/07/30
Painleve property  symbolic computation  Wu-Ritt elimination method  
Complete solution classification for the Perspective-Three-Point problem 期刊论文
IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE, 2003, 卷号: 25, 期号: 8, 页码: 930-943
作者:  Gao, XS;  Hou, XR;  Tang, JL;  Cheng, HF
收藏  |  浏览/下载：129/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 期刊论文
SCIENCE IN CHINA SERIES A-MATHEMATICS, 2003, 卷号: 46, 期号: 4, 页码: 469-487
作者:  Chen, YF;  Gao, XS
收藏  |  浏览/下载：110/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 期刊论文
JOURNAL OF AUTOMATED REASONING, 2000, 卷号: 25, 期号: 2, 页码: 83-121
作者:  Li, JB
收藏  |  浏览/下载：112/0  |  提交时间：2018/07/30
mechanical theorem proving  Wu's method  Clifford algebra  vectorial equations solving  the area method  
Clifford algebraic reduction method for automated theorem proving in differential geometry 期刊论文
JOURNAL OF AUTOMATED REASONING, 1998, 卷号: 21, 期号: 1, 页码: 1-21
作者:  Li, HB;  Cheng, MT
收藏  |  浏览/下载：130/0  |  提交时间：2018/07/30
Wu's method  Clifford algebra  equation set solving  local theory of space curves