{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T22:32:43Z","timestamp":1769812363596,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642313738","type":"print"},{"value":"9783642313745","type":"electronic"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31374-5_9","type":"book-chapter","created":{"date-parts":[[2012,6,25]],"date-time":"2012-06-25T13:00:57Z","timestamp":1340629257000},"page":"127-142","source":"Crossref","is-referenced-by-count":8,"title":["Towards Understanding Triangle Construction Problems"],"prefix":"10.1007","author":[{"given":"Vesna","family":"Marinkovi\u0107","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Predrag","family":"Jani\u010di\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Adler, A.: Theorie der geometrischen konstruktionen, G\u00f6schen (1906)"},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"952","DOI":"10.2307\/2695601","volume":"107","author":"J. Anglesio","year":"2000","unstructured":"Anglesio, J., Schindler, V.: Solution to problem 10719. American Mathematical Monthly\u00a0107, 952\u2013954 (2000)","journal-title":"American Mathematical Monthly"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Beeson, M.: Constructive geometry. In: Proceedings of the Tenth Asian Logic Colloquium. World Scientific (2010)","DOI":"10.1142\/9789814293020_0002"},{"key":"9_CR4","unstructured":"Berzsenyi, G.: Constructing triangles from three given parts. Quantum\u00a0396 (July\/August 1994)"},{"key":"9_CR5","first-page":"109","volume":"9","author":"H. Connelly","year":"2009","unstructured":"Connelly, H.: An extension of triangle constructions from located points. Forum Geometricorum\u00a09, 109\u2013112 (2009)","journal-title":"Forum Geometricorum"},{"key":"9_CR6","first-page":"103","volume":"7","author":"H. Connelly","year":"2007","unstructured":"Connelly, H., Dergiades, N., Ehrmann, J.-P.: Construction of triangle from a vertex and the feet of two angle bisectors. Forum Geometricorum\u00a07, 103\u2013106 (2007)","journal-title":"Forum Geometricorum"},{"key":"9_CR7","first-page":"53","volume":"5","author":"E. Danneels","year":"2005","unstructured":"Danneels, E.: A simple construction of a triangle from its centroid, incenter, and a vertex. Forum Geometricorum\u00a05, 53\u201356 (2005)","journal-title":"Forum Geometricorum"},{"issue":"3","key":"9_CR8","doi-asserted-by":"publisher","first-page":"204","DOI":"10.2307\/2975007","volume":"102","author":"P.J. Davis","year":"1995","unstructured":"Davis, P.J.: The rise, fall, and possible transfiguration of triangle geometry: A mini-history. The American Mathematical Monthly\u00a0102(3), 204\u2013214 (1995)","journal-title":"The American Mathematical Monthly"},{"issue":"2","key":"9_CR9","doi-asserted-by":"publisher","first-page":"97","DOI":"10.2307\/2323939","volume":"98","author":"D.W. DeTemple","year":"1991","unstructured":"DeTemple, D.W.: Carlyle circles and the lemoine simplicity of polygon constructions. The American Mathematical Monthly\u00a098(2), 97\u2013108 (1991)","journal-title":"The American Mathematical Monthly"},{"issue":"2","key":"9_CR10","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1093\/teamat\/23.2.69","volume":"23","author":"M. Djori\u0107","year":"2004","unstructured":"Djori\u0107, M., Jani\u010di\u0107, P.: Constructions, instructions, interactions. Teaching Mathematics and its Applications\u00a023(2), 69\u201388 (2004)","journal-title":"Teaching Mathematics and its Applications"},{"key":"9_CR11","first-page":"4","volume":"5","author":"V.B. Fursenko","year":"1937","unstructured":"Fursenko, V.B.: Lexicographic account of triangle construction problems (part i). Mathematics in Schools\u00a05, 4\u201330 (1937)","journal-title":"Mathematics in Schools"},{"key":"9_CR12","first-page":"21","volume":"6","author":"V.B. Fursenko","year":"1937","unstructured":"Fursenko, V.B.: Lexicographic account of triangle construction problems (part ii). Mathematics in schools\u00a06, 21\u201345 (1937)","journal-title":"Mathematics in schools"},{"issue":"1","key":"9_CR13","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/S0010-4485(97)00052-3","volume":"30","author":"X.-S. Gao","year":"1998","unstructured":"Gao, X.-S., Chou, S.-C.: Solving geometric constraint systems. I. A global propagation approach. Computer-Aided Design\u00a030(1), 47\u201354 (1998)","journal-title":"Computer-Aided Design"},{"issue":"2","key":"9_CR14","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/S0010-4485(97)00055-9","volume":"30","author":"X.-S. Gao","year":"1998","unstructured":"Gao, X.-S., Chou, S.-C.: Solving geometric constraint systems. II. A symbolic approach and decision of Rc-constructibility. Computer-Aided Design\u00a030(2), 115\u2013122 (1998)","journal-title":"Computer-Aided Design"},{"key":"9_CR15","unstructured":"Grima, M., Pace, G.J.: An Embedded Geometrical Language in Haskell: Construction, Visualisation, Proof. In: Proceedings of Computer Science Annual Workshop (2007)"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Gulwani, S., Korthikanti, V.A., Tiwari, A.: Synthesizing geometry constructions. In: Programming Language Design and Implementation, PLDI 2011, pp. 50\u201361. ACM (2011)","DOI":"10.1145\/1993316.1993505"},{"key":"9_CR17","unstructured":"Chen, G.: Les Constructions G\u00e9om\u00e9triques \u00e1 la R\u00e9gle et au Compas par une M\u00e9thode Alg\u00e9brique. Master thesis, University of Strasbourg (1992)"},{"key":"9_CR18","unstructured":"Holland, G.: Computerunterst\u00fctzung beim L\u00f6sen geometrischer Konstruktionsaufgaben. ZDM Zentralblatt f\u00fcr Didaktik der Mathematik 24(4) (1992)"},{"key":"9_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/11832225_6","volume-title":"Mathematical Software - ICMS 2006","author":"P. Jani\u010di\u0107","year":"2006","unstructured":"Jani\u010di\u0107, P.: GCLC \u2014 A Tool for Constructive Euclidean Geometry and More Than That. In: Iglesias, A., Takayama, N. (eds.) ICMS 2006. LNCS, vol.\u00a04151, pp. 58\u201373. Springer, Heidelberg (2006)"},{"key":"9_CR20","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/11814771_13","volume-title":"Automated Reasoning","author":"P. Jani\u010di\u0107","year":"2006","unstructured":"Jani\u010di\u0107, P., Quaresma, P.: System Description: GCLCprover + GeoThms. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol.\u00a04130, pp. 145\u2013150. Springer, Heidelberg (2006)"},{"issue":"1-2","key":"9_CR21","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s10817-009-9135-8","volume":"44","author":"P. Jani\u010di\u0107","year":"2010","unstructured":"Jani\u010di\u0107, P.: Geometry Constructions Language. Journal of Automated Reasoning\u00a044(1-2), 3\u201324 (2010)","journal-title":"Journal of Automated Reasoning"},{"issue":"4","key":"9_CR22","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1007\/s10817-010-9209-7","volume":"48","author":"P. Jani\u010di\u0107","year":"2012","unstructured":"Jani\u010di\u0107, P., Narboux, J., Quaresma, P.: The area method: a recapitulation. Journal of Automated Reasoning\u00a048(4), 489\u2013532 (2012)","journal-title":"Journal of Automated Reasoning"},{"key":"9_CR23","unstructured":"Lebesgue, H.-L.: Le\u00e7ons sur les constructions g\u00e9om\u00e9triques. Gauthier-Villars (1950)"},{"key":"9_CR24","unstructured":"Lopes, L.: Manuel de Construction de Triangles. QED Texte (1996)"},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"Mari\u0107, F., Petrovi\u0107, I., Petrovi\u0107, D., Jani\u010di\u0107, P.: Formalization and implementation of algebraic methods in geometry. Electronic Proceedings in Theoretical Computer Science\u00a079 (2012)","DOI":"10.4204\/EPTCS.79.4"},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"Martin, G.E.: Geometric Constructions. Springer (1998)","DOI":"10.1007\/978-1-4612-0629-3"},{"issue":"1","key":"9_CR27","doi-asserted-by":"publisher","first-page":"46","DOI":"10.2307\/2691396","volume":"69","author":"L.F. Meyers","year":"1996","unstructured":"Meyers, L.F.: Update on William Wernick\u2019s \u201ctriangle constructions with three located points\u201d. Mathematics Magazine\u00a069(1), 46\u201349 (1996)","journal-title":"Mathematics Magazine"},{"issue":"1","key":"9_CR28","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1016\/j.jal.2007.02.001","volume":"6","author":"V. Pambuccian","year":"2008","unstructured":"Pambuccian, V.: Axiomatizing geometric constructions. Journal of Applied Logic\u00a06(1), 24\u201346 (2008)","journal-title":"Journal of Applied Logic"},{"key":"9_CR29","unstructured":"Schreck, P.: Constructions \u00e0 la r\u00e8gle et au compas. PhD thesis, University of Strasbourg (1993)"},{"key":"9_CR30","unstructured":"Specht, E.: Wernicks liste (in German), \n                      http:\/\/hydra.nat.uni-magdeburg.de\/wernick\/"},{"key":"9_CR31","unstructured":"Stewart, I.: Galois Theory. Chapman and Hall Ltd. (1973)"},{"key":"9_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-3-642-25070-5_12","volume-title":"Automated Deduction in Geometry","author":"S. Stojanovi\u0107","year":"2011","unstructured":"Stojanovi\u0107, S., Pavlovi\u0107, V., Jani\u010di\u0107, P.: A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs. In: Schreck, P., Narboux, J., Richter-Gebert, J. (eds.) ADG 2010. LNCS, vol.\u00a06877, pp. 201\u2013220. Springer, Heidelberg (2011)"},{"key":"9_CR33","first-page":"279","volume":"9","author":"A.V. Ustinov","year":"2009","unstructured":"Ustinov, A.V.: On the construction of a triangle from the feet of its angle bisectors. Forum Geometricorum\u00a09, 279\u2013280 (2009)","journal-title":"Forum Geometricorum"},{"issue":"4","key":"9_CR34","doi-asserted-by":"publisher","first-page":"227","DOI":"10.2307\/2690164","volume":"55","author":"W. Wernick","year":"1982","unstructured":"Wernick, W.: Triangle constructions vith three located points. Mathematics Magazine\u00a055(4), 227\u2013230 (1982)","journal-title":"Mathematics Magazine"},{"key":"9_CR35","first-page":"75","volume":"5","author":"P. Yiu","year":"2005","unstructured":"Yiu, P.: Elegant geometric constructions. Forum Geometricorum\u00a05, 75\u201396 (2005)","journal-title":"Forum Geometricorum"}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31374-5_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,7]],"date-time":"2023-02-07T08:16:37Z","timestamp":1675757797000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-31374-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642313738","9783642313745"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31374-5_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}