中文版 | English

在结果中检索

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

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

限定条件        
已选(0)清除 条数/页：   排序方式：
基于几何约束求解的完备方法 期刊论文
计算机辅助设计与图形学学报, 2007, 卷号: 019, 期号: 007, 页码: 828
作者:  林强;  高小山;  刘媛媛;  陈颖;  戴国忠
收藏  |  浏览/下载：92/0  |  提交时间：2020/01/10
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
收藏  |  浏览/下载：75/0  |  提交时间：2018/07/30
geometric constraint solving  parametric CAD  general construction sequence  basic merge pattern  decomposition tree  graph algorithm  
MMP/geometer - A software package for automated geometric reasoning 期刊论文
AUTOMATED DEDUCTION IN GEOMETRY, 2004, 卷号: 2930, 页码: 44-66
作者:  Gao, XS;  Lin, Q
收藏  |  浏览/下载：82/0  |  提交时间：2018/07/30
geometry software  automated reasoning  geometric theorem proving  geometric theorem discovering  geometric diagram generation  intelligent dynamic geometry