Geodesic
On-line compendium of triangle construction problems with automatically generated solutions
The Teaching of Mathematics, XVIII (2015) no. 1, p. 29 .

Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts

In this paper an on-line compendium of solutions to a class of triangle construction problems using straightedge and compass is presented. It consists of: informal description of constructions in natural-language form, formal description of constructions, illustrations of generated constructions, as well as step-by-step animations of generated constructions. This collection was generated completely automatically, using the system for automated solving of construction problems ArgoTriCS. To our knowledge this is the first automatically generated compendium of construction problems which offers solutions to almost all solvable problems from one large corpus of problems.
Classification : 97P50 P55
Keywords: Triangle construction, automatically generated solutions. 
@article{TM2_2015_XVIII_1_a3,
     author = {Vesna Marinkovi\'c},
     title = {On-line compendium of triangle construction problems with automatically generated solutions},
     journal = {The Teaching of Mathematics},
     pages = {29 },
     publisher = {mathdoc},
     volume = {XVIII},
     number = {1},
     year = {2015},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/TM2_2015_XVIII_1_a3/}
}
TY  - JOUR
AU  - Vesna Marinković
TI  - On-line compendium of triangle construction problems with automatically generated solutions
JO  - The Teaching of Mathematics
PY  - 2015
SP  - 29 
VL  - XVIII
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TM2_2015_XVIII_1_a3/
LA  - en
ID  - TM2_2015_XVIII_1_a3
ER  - 
%0 Journal Article
%A Vesna Marinković
%T On-line compendium of triangle construction problems with automatically generated solutions
%J The Teaching of Mathematics
%D 2015
%P 29 
%V XVIII
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TM2_2015_XVIII_1_a3/
%G en
%F TM2_2015_XVIII_1_a3
Vesna Marinković. On-line compendium of triangle construction problems with automatically generated solutions. The Teaching of Mathematics, XVIII (2015) no. 1, p. 29 . http://geodesic.mathdoc.fr/item/TM2_2015_XVIII_1_a3/