Author:
Gao Xiao-Shan,Jiang Kun,Zhu Chang-Cai
Subject
Industrial and Manufacturing Engineering,Computer Graphics and Computer-Aided Design,Computer Science Applications
Reference32 articles.
1. On mechanical quantifier elimination for elementary algebra and geometry;Arnon;J Symbolic Computation,1988
2. Using geometric rewriting rules for solving geometric problems symbolically;Bruderlin;Theoretical Computer Science,1993
3. Geometric constraint solver;Bouma;Computer Aided Design,1995
4. Constraint definition system: a computer algebra based approach to solving geometric problems;Buchanan;Computer Aided Design,1993
5. Mechanical geometry theorem proving;Chou,1987
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Geometric Constraint Solving in Parametric Computer-Aided Design;Journal of Computing and Information Science in Engineering;2011-06-01
2. DECOMPOSITION OF GEOMETRIC CONSTRAINT SYSTEMS: A SURVEY;International Journal of Computational Geometry & Applications;2006-12
3. Solving spatial basic geometric constraint configurations with locus intersection;Computer-Aided Design;2004-02
4. Two-Dimensional Graphics;The Mathematica GuideBook for Graphics;2004