中文版 | English

在结果中检索

CSpace
（本次检索基于用户作品认领结果）

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

限定条件        
已选(0)清除 条数/页：   排序方式：
Proper reparametrization of rational ruled surface 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2008, 卷号: 23, 期号: 2, 页码: 290-297
作者:  Li, Jia;  Shen, Li-Yong;  Gao, Xiao-Shan
收藏  |  浏览/下载：103/0  |  提交时间：2018/07/30
algebraic ruled surface  algebraic curve  proper reparametrization  improper support  
Inherently improper surface parametric supports 期刊论文
COMPUTER AIDED GEOMETRIC DESIGN, 2006, 卷号: 23, 期号: 8, 页码: 629-639
作者:  Chionh, Eng-Wee;  Gao, Xiao-Shan;  Shen, Li-Yong
收藏  |  浏览/下载：90/0  |  提交时间：2018/07/30
inherently improper supports  improper parametrizations  support transformation  reparametrization  
Automated reasoning and equation solving with the characteristic set method 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2006, 卷号: 21, 期号: 5, 页码: 756-764
作者:  Wu, Wen-Tsun;  Gao, Xiao-Shan
收藏  |  浏览/下载：100/0  |  提交时间：2018/07/30
characteristic set method  automated reasoning  first order theory  difference equation  
Quadratic approximation to plane parametric curves and its application in approximate implicitization 期刊论文
VISUAL COMPUTER, 2006, 卷号: 22, 期号: 9-11, 页码: 906-917
作者:  Li, Ming;  Gao, Xiao-Shan;  Chou, Shang-Ching
收藏  |  浏览/下载：86/0  |  提交时间：2018/07/30
rational approximation  conics  parametric curves  approximate implicitization  
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  
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  
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