Solving geometric constraint systems. II. A symbolic approach and decision of Rc-constructibility-Reference-Cited by-同舟云学术

Solving geometric constraint systems. II. A symbolic approach and decision of Rc-constructibility

Author:

Gao Xiao-Shan,Chou Shang-Ching

Publisher

Elsevier BV

Subject

Industrial and Manufacturing Engineering,Computer Graphics and Computer-Aided Design,Computer Science Applications

Reference21 articles.

2. Geometric Constraint Solving in R2 and R3;Hoffmann,1995

3. Solving Geometric Constraint, Systems;Kramer,1992

4. Algebraic Solution for Geometry from Dimensional Constraints;Owen,1991

5. The Juno-2 Constraint-Based Drawing Editor;Heydon;SRC Research Report 131a,1994

Cited by 56 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. SUFFI-GPSC: Sufficient Geometry Problem Solution Checking with Symbolic Computation and Logical Reasoning;2023 20th International Computer Conference on Wavelet Active Media Technology and Information Processing (ICCWAMTIP);2023-12-15

2. Automated triangle constructions in hyperbolic geometry;Annals of Mathematics and Artificial Intelligence;2023-06-12

4. Geometric Over-Constraints Detection: A Survey;Archives of Computational Methods in Engineering;2021-05-11

5. Radically solvable graphs;Journal of Combinatorial Theory, Series B;2019-05