机构

• 数学与系统科学研究院 [8]

采集方式

• OAI收割 [8]

内容类型

• 期刊论文 [8]

发表日期

• 2020 [1]
• 2019 [1]
• 2008 [1]
• 2004 [1]
• 2003 [3]
• 1998 [1]
• 更多

学科主题

筛选

浏览/检索结果: 共8条，第1-8条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Hilbert Problem 15 and Ritt-Wu Method (II) 期刊论文  OAI收割 JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2020, 页码: 15 作者:  Li, Banghe;  Wang, Dingkang   |  收藏  |  浏览/下载：11/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   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   An algorithm for solving partial differential parametric systems 期刊论文  OAI收割 DISCRETE APPLIED MATHEMATICS, 2004, 卷号: 136, 期号: 1, 页码: 105-116 作者:  Wang, JM;  Gao, XS   |  收藏  |  浏览/下载：15/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   |  收藏  |  浏览/下载：15/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   Practically solving some problems expressed in the first order theory of real closed field 期刊论文  OAI收割 INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 1998, 卷号: 69, 期号: 3-4, 页码: 265-282 作者:  Ma, SL;  Ning, SC   |  收藏  |  浏览/下载：40/0  |  提交时间：2018/07/30 real closed field  symbolic computation  Ritt-Wu's method  Budan-Fourier's theorem