Geometric constraint solving with geometric transformation
type: Item
instance of: scholarly article
title: Geometric constraint solving with geometric transformation
zbMATH Open document ID: 1125.68417
DOI: 10.1007/BF02713939
author: Leidong Huang
author: Kun Jiang
author: Xiao-Shan Gao
published in: Science in China. Series F
publication date: 2007-02-20T00:00:00Z
Mathematics Subject Classification ID: 68U07
zbMATH DE Number: 5128502
zbMATH Keywords: intelligent CAD
zbMATH Keywords: geometric constraint solving
describes a project that uses: MEDLAR
describes a project that uses: Juno-2
MaRDI profile type: Publication
cites work: Rule-oriented method for parameterized computer-aided design
cites work: Geometric constraint satisfaction using optimization methods.
cites work: Algebraic method for manipulation of dimensional relationships in geometric models
cites work: Q3994509
cites work: Machine Proofs in Geometry
cites work: Q3668379
cites work: Q3491012
cites work: Automated generation of readable proofs with geometric invariants. I: Multiple and shortest proof generation
cites work: Q4840652
cites work: Q3787471
description: scientific article; zbMATH DE number 5128502