中文版 | English

在结果中检索

CSpace

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

已选(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  
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  
Practically solving some problems expressed in the first order theory of real closed field 期刊论文
INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 1998, 卷号: 69, 期号: 3-4, 页码: 265-282
作者:  Ma, SL;  Ning, SC
收藏  |  浏览/下载：106/0  |  提交时间：2018/07/30
real closed field  symbolic computation  Ritt-Wu's method  Budan-Fourier's theorem