Please use this identifier to cite or link to this item:
https://research.matf.bg.ac.rs/handle/123456789/494
Title: | Towards understanding triangle construction problems | Authors: | Marinković, Vesna Janičić, Predrag |
Affiliations: | Informatics and Computer Science | Keywords: | automated deduction in geometry;Triangle construction problems | Issue Date: | 17-Aug-2012 | Related Publication(s): | International Conference on Intelligent Computer Mathematics CICM 2012 | Journal: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Abstract: | Straightedge and compass construction problems are one of the oldest and most challenging problems in elementary mathematics. The central challenge, for a human or for a computer program, in solving construction problems is a huge search space. In this paper we analyze one family of triangle construction problems, aiming at detecting a small core of the underlying geometry knowledge. The analysis leads to a small set of needed definitions, lemmas and primitive construction steps, and consequently, to a simple algorithm for automated solving of problems from this family. The same approach can be applied to other families of construction problems. © 2012 Springer-Verlag. |
URI: | https://research.matf.bg.ac.rs/handle/123456789/494 | ISBN: | 9783642313738 | ISSN: | 03029743 | DOI: | 10.1007/978-3-642-31374-5_9 |
Appears in Collections: | Research outputs |
Show full item record
SCOPUSTM
Citations
10
checked on Dec 19, 2024
Page view(s)
13
checked on Dec 24, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.