中文版 | English

在结果中检索

CSpace

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

限定条件        
已选(0)清除 条数/页：   排序方式：
Planar generalized Stewart platforms and their direct kinematics 期刊论文
AUTOMATED DEDUCTION IN GEOMETRY, 2006, 卷号: 3763, 页码: 198-211
作者:  Zhang, GF;  Gao, XS
收藏  |  浏览/下载：78/0  |  提交时间：2018/07/30
planar generalized Stewart platform  geometric constraint solving  direct kinematics  closed-form solution  
A C-tree decomposition algorithm for 2D and 3D geometric constraint solving 期刊论文
COMPUTER-AIDED DESIGN, 2006, 卷号: 38, 期号: 1, 页码: 1-13
作者:  Gao, XS;  Lin, Q;  Zhang, GF
收藏  |  浏览/下载：76/0  |  提交时间：2018/07/30
geometric constraint solving  parametric CAD  general construction sequence  basic merge pattern  decomposition tree  graph algorithm  
Generating symbolic interpolants for scattered data with normal vectors 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2005, 卷号: 20, 期号: 6, 页码: 861-874
作者:  Li, M;  Gao, XS;  Cheng, JS
收藏  |  浏览/下载：114/0  |  提交时间：2018/07/30
solid modelling  Hermite interpolation surface  Bezier curve  sweeping curve  
Rational quadratic approximation to real algebraic curves 期刊论文
COMPUTER AIDED GEOMETRIC DESIGN, 2004, 卷号: 21, 期号: 8, 页码: 805-828
作者:  Gao, XS;  Li, M
收藏  |  浏览/下载：95/0  |  提交时间：2018/07/30
real algebraic curve  parametrization  approximation  topology determination  
Symbolic computation in algebra and geometry - Editorial 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2004, 卷号: 38, 期号: 4, 页码: 1167-1168
作者:  Cohen, AM;  Gao, XS;  Takayama, N
收藏  |  浏览/下载：60/0  |  提交时间：2018/07/30
Exact travelling wave solutions for a class of nonlinear partial differential equations 期刊论文
CHAOS SOLITONS & FRACTALS, 2004, 卷号: 19, 期号: 5, 页码: 1113-1117
作者:  Xie, FD;  Gao, XS
收藏  |  浏览/下载：81/0  |  提交时间：2018/07/30
Solving spatial basic geometric constraint configurations with locus intersection 期刊论文
COMPUTER-AIDED DESIGN, 2004, 卷号: 36, 期号: 2, 页码: 111-122
作者:  Gao, XS;  Hoffmann, CM;  Yang, WQ
收藏  |  浏览/下载：73/0  |  提交时间：2018/07/30
geometric constraint solving  parametric CAD  spatial basic configuration  locus intersection  
MMP/geometer - A software package for automated geometric reasoning 期刊论文
AUTOMATED DEDUCTION IN GEOMETRY, 2004, 卷号: 2930, 页码: 44-66
作者:  Gao, XS;  Lin, Q
收藏  |  浏览/下载：83/0  |  提交时间：2018/07/30
geometry software  automated reasoning  geometric theorem proving  geometric theorem discovering  geometric diagram generation  intelligent dynamic geometry  
Implicitization of differential rational parametric equations 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2003, 卷号: 36, 期号: 5, 页码: 811-824
作者:  Gao, XS
收藏  |  浏览/下载：100/0  |  提交时间：2018/07/30
implicitization  differential rational parametric equations  unirational differential algebraic varieties  Luroth theorem  
Geometric constraint solving with conics and linkages 期刊论文
COMPUTER-AIDED DESIGN, 2002, 卷号: 34, 期号: 6, 页码: 421-433
作者:  Gao, XS;  Jiang, K;  Zhu, CC
收藏  |  浏览/下载：70/0  |  提交时间：2018/07/30
geometric constraint solving  parametric CAD  construction methods  conics  linkages  Apollonian drawing problems  tri-connected constraint graph