| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A program to create new geometry proof problems
|
Todd, Philip
|
|
|
91 |
6 |
p. 779-795
|
artikel
|
| 2 |
Automated discovery of angle theorems
|
Todd, Philip
|
|
|
91 |
6 |
p. 753-778
|
artikel
|
| 3 |
Automated generation of illustrated proofs in geometry and beyond
|
Janičić, Predrag
|
|
|
91 |
6 |
p. 797-820
|
artikel
|
| 4 |
Automated triangle constructions in hyperbolic geometry
|
Marinković, Vesna
|
|
|
91 |
6 |
p. 821-849
|
artikel
|
| 5 |
Correction to: Preface: Selected revised papers from the LION 15 conference
|
Kotsireas, Ilias S.
|
|
|
91 |
6 |
p. 901
|
artikel
|
| 6 |
Correction to: The logic of secrets and the interpolation rule
|
Xiong, Zuojun
|
|
|
91 |
6 |
p. 899
|
artikel
|
| 7 |
Formalization of geometry, automated and interactive geometric reasoning
|
Kovács, Zoltán
|
|
|
91 |
6 |
p. 751-752
|
artikel
|
| 8 |
Local critical analysis of inequalities related to the sum of distances between n points on the unit hemisphere for n=4,5
|
Xu, Yaochen
|
|
|
91 |
6 |
p. 865-898
|
artikel
|
| 9 |
Towards a geometry deductive database prover
|
Baeta, Nuno
|
|
|
91 |
6 |
p. 851-863
|
artikel
|
Tijdschrift beschrijving