|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
6 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A case study in formalizing projective geometry in Coq: Desargues theorem |
Magaud, Nicolas |
2012 |
45 | 8 |
p. 406-424 19 p. |
article |
|
| 2 | A generalized Malfatti problem |
Chiang, Ching-Shoei |
2012 |
45 | 8 |
p. 425-435 11 p. |
article |
|
| 3 | Body-and-cad geometric constraint systems |
Haller, Kirk |
2012 |
45 | 8 |
p. 385-405 21 p. |
article |
|
| 4 | Classification of direct kinematics to planar generalized Stewart platforms |
Zhang, Gui-Fang |
2012 |
45 | 8 |
p. 458-473 16 p. |
article |
|
| 5 | Designing and proving correct a convex hull algorithm with hypermaps in Coq |
Brun, Christophe |
2012 |
45 | 8 |
p. 436-457 22 p. |
article |
|
| 6 | Special issue on geometric constraints and reasoning |
Gao, Xiao-Shan |
2012 |
45 | 8 |
p. 383-384 2 p. |
article |
6 results found