| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Automatic Constructibility Checking of a Corpus of Geometric Construction Problems
|
Schreck, Pascal
|
|
2016
|
10 |
1 |
p. 41-56
|
artikel
|
| 2 |
Challenging Theorem Provers with Mathematical Olympiad Problems in Solid Geometry
|
Shao, Changpeng
|
|
2016
|
10 |
1 |
p. 75-96
|
artikel
|
| 3 |
Computing the Canonical Representation of Constructible Sets
|
Brunat, Josep M.
|
|
2016
|
10 |
1 |
p. 165-178
|
artikel
|
| 4 |
Constructibility Classes for Triangle Location Problems
|
Schreck, Pascal
|
|
2016
|
10 |
1 |
p. 27-39
|
artikel
|
| 5 |
Detecting Curves of Symmetry in Images Via Hough Transform
|
Ricca, Giorgio
|
|
2016
|
10 |
1 |
p. 179-205
|
artikel
|
| 6 |
First Order Perturbation and Local Stability of Parametrized Systems
|
Lichtblau, Daniel
|
|
2016
|
10 |
1 |
p. 143-163
|
artikel
|
| 7 |
Foreword
|
Sendra, J. Rafael
|
|
2016
|
10 |
1 |
p. 1-3
|
artikel
|
| 8 |
Geodesic Universal Molecules
|
Bowers, John C.
|
|
2016
|
10 |
1 |
p. 115-141
|
artikel
|
| 9 |
On the Unavoidable Uncertainty of Truth in Dynamic Geometry Proving
|
Botana, Francisco
|
|
2016
|
10 |
1 |
p. 5-25
|
artikel
|
| 10 |
The Construction of 3D Conformal Motions
|
Dorst, Leo
|
|
2016
|
10 |
1 |
p. 97-113
|
artikel
|
| 11 |
Towards a Certified Version of the Encyclopedia of Triangle Centers
|
Narboux, Julien
|
|
2016
|
10 |
1 |
p. 57-73
|
artikel
|
Tijdschrift beschrijving