-
1
Using jointly geometry and algebra to determine RC-constructibility
Veröffentlicht in Journal of symbolic computation
VolltextArtikel -
2
-
3
A robust and efficient method for solving point distance problems by homotopy
Veröffentlicht in Mathematical programming
VolltextArtikel -
4
Leading a continuation method by geometry for solving geometric constraints
Veröffentlicht in Computer aided design
VolltextArtikel -
5
A formalization of geometric constraint systems and their decomposition
Veröffentlicht in Formal aspects of computing
VolltextArtikel -
6
-
7
-
8
A formalization of geometric constraint systems and their decomposition
Veröffentlicht in Formal aspects of computing
VolltextArtikel -
9
-
10
-
11
-
12
-
13
-
14
Geometric construction by assembling solved subfigures
Veröffentlicht in Artificial intelligence
VolltextArtikel -
15
-
16
-
17
-
18
-
19
-
20