中文版 | English

在结果中检索

CSpace

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

已选(0)清除 条数/页：   排序方式：
On Wintner's conjecture about central configurations 期刊论文
COMPUTER ALGEBRA AND GEOMETRIC ALGEBRA WITH APPLICATIONS, 2005, 卷号: 3519, 页码: 1-4
作者:  Wu, WT
收藏  |  浏览/下载：84/0  |  提交时间：2018/07/30
celestial mechanics  central configurations  Wintner's conjecture  extrernal values  extremal zeroes  finite kernel theorem  
On a method of global optimization - Invited talk 期刊论文
PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2003, 卷号: 2895, 页码: 1-1
作者:  Wu, WT
收藏  |  浏览/下载：60/0  |  提交时间：2018/07/30
Automatic geometry theorem-proving and automatic geometry problem-solving 期刊论文
AUTOMATED DEDUCTION IN GEOMETRY, PROCEEDINGS, 1999, 卷号: 1669, 页码: 1-13
作者:  Wu, WT
收藏  |  浏览/下载：77/0  |  提交时间：2018/07/30
The char-set method and its applications to automated reasoning 期刊论文
AUTOMATED DEDUCTION - CADE-14, 1997, 卷号: 1249, 页码: 1-3
作者:  Wu, WT
收藏  |  浏览/下载：74/0  |  提交时间：2018/07/30
ON THE CHEMICAL-EQUILIBRIUM PROBLEM AND EQUATIONS-SOLVING 期刊论文
ACTA MATHEMATICA SCIENTIA, 1990, 卷号: 10, 期号: 4, 页码: 361-374
作者:  WU, WT
收藏  |  浏览/下载：72/0  |  提交时间：2018/07/30
ON A PROJECTION THEOREM OF QUASI-VARIETIES IN ELIMINATION THEORY 期刊论文
CHINESE ANNALS OF MATHEMATICS SERIES B, 1990, 卷号: 11, 期号: 2, 页码: 220-226
作者:  WU, WJ;  WU, WT
收藏  |  浏览/下载：86/0  |  提交时间：2018/07/30
A ZERO STRUCTURE THEOREM FOR POLYNOMIAL-EQUATIONS-SOLVING AND ITS APPLICATIONS 期刊论文
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 卷号: 378, 页码: 44-44
作者:  WU, WT
收藏  |  浏览/下载：71/0  |  提交时间：2018/07/30
A CONSTRUCTIVE THEORY OF DIFFERENTIAL ALGEBRAIC-GEOMETRY BASED ON WORKS OF RITT,J.F. WITH PARTICULAR APPLICATIONS TO MECHANICAL THEOREM-PROVING OF DIFFERENTIAL GEOMETRIES 期刊论文
LECTURE NOTES IN MATHEMATICS, 1987, 卷号: 1255, 页码: 173-189
作者:  WU, WT
收藏  |  浏览/下载：80/0  |  提交时间：2018/07/30
THEORY OF I-STAR-FUNCTOR IN ALGEBRAIC TOPOLOGY - REAL TOPOLOGY OF FIBER SQUARES 期刊论文
SCIENTIA SINICA, 1975, 卷号: 18, 期号: 4, 页码: 464-482
作者:  WU, WT
收藏  |  浏览/下载：72/0  |  提交时间：2018/07/30