Please use this identifier to cite or link to this item:
https://research.matf.bg.ac.rs/handle/123456789/494
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Marinković, Vesna | en_US |
dc.contributor.author | Janičić, Predrag | en_US |
dc.date.accessioned | 2022-08-13T10:14:40Z | - |
dc.date.available | 2022-08-13T10:14:40Z | - |
dc.date.issued | 2012-08-17 | - |
dc.identifier.isbn | 9783642313738 | - |
dc.identifier.issn | 03029743 | en |
dc.identifier.uri | https://research.matf.bg.ac.rs/handle/123456789/494 | - |
dc.description.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. | en |
dc.relation.ispartof | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | en_US |
dc.subject | automated deduction in geometry | en |
dc.subject | Triangle construction problems | en |
dc.title | Towards understanding triangle construction problems | en_US |
dc.type | Conference Paper | en_US |
dc.relation.publication | International Conference on Intelligent Computer Mathematics CICM 2012 | en_US |
dc.identifier.doi | 10.1007/978-3-642-31374-5_9 | - |
dc.identifier.scopus | 2-s2.0-84864930249 | - |
dc.identifier.url | https://api.elsevier.com/content/abstract/scopus_id/84864930249 | - |
dc.contributor.affiliation | Informatics and Computer Science | en_US |
dc.relation.firstpage | 127 | en_US |
dc.relation.lastpage | 142 | en_US |
dc.relation.volume | 7362 LNAI | en_US |
item.fulltext | No Fulltext | - |
item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
item.cerifentitytype | Publications | - |
item.grantfulltext | none | - |
item.openairetype | Conference Paper | - |
crisitem.author.dept | Informatics and Computer Science | - |
crisitem.author.orcid | 0000-0001-8922-4948 | - |
Appears in Collections: | Research outputs |
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.