|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A case study in formalizing projective geometry in Coq: Desargues theorem |
Magaud, Nicolas |
2012 |
45 | 8 |
p. 406-424 19 p. |
artikel |
|
| 2 | A generalized Malfatti problem |
Chiang, Ching-Shoei |
2012 |
45 | 8 |
p. 425-435 11 p. |
artikel |
|
| 3 | Body-and-cad geometric constraint systems |
Haller, Kirk |
2012 |
45 | 8 |
p. 385-405 21 p. |
artikel |
|
| 4 | Classification of direct kinematics to planar generalized Stewart platforms |
Zhang, Gui-Fang |
2012 |
45 | 8 |
p. 458-473 16 p. |
artikel |
|
| 5 | Designing and proving correct a convex hull algorithm with hypermaps in Coq |
Brun, Christophe |
2012 |
45 | 8 |
p. 436-457 22 p. |
artikel |
|
| 6 | Special issue on geometric constraints and reasoning |
Gao, Xiao-Shan |
2012 |
45 | 8 |
p. 383-384 2 p. |
artikel |
6 gevonden resultaten