On-line compendium of triangle construction problems with automatically generated solutions

Autor: Vesna Marinkovic
Jazyk: angličtina
Rok vydání: 2015
Předmět:
Zdroj: Teaching of Mathematics (2015) 18(1):29-44
Scopus-Elsevier
ISSN: 1451-4966
Popis: 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.
Databáze: OpenAIRE