Geometric constraint solving with geometric transformation

DOI10.1007/BF02713939zbMath1125.68417MaRDI QIDQ865932

Kun Jiang, Leidong Huang, Xiao-Shan Gao

Publication date: 20 February 2007

Published in: Science in China. Series F (Search for Journal in Brave)

zbMATH Keywords

geometric constraint solvingintelligent CAD

Mathematics Subject Classification ID

Computer science aspects of computer-aided design (68U07)

Uses Software

• MEDLAR
• Juno-2

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebraic method for manipulation of dimensional relationships in geometric models
• Rule-oriented method for parameterized computer-aided design
• Geometric constraint satisfaction using optimization methods.
• Machine Proofs in Geometry
• Automated generation of readable proofs with geometric invariants. I: Multiple and shortest proof generation

This page was built for publication: Geometric constraint solving with geometric transformation