ArgoTriCS swMATH ID: 15542 Software Authors: Marinkovic, V. Description: ArgoTriCS — automated triangle construction solver. In this paper, a method for automatically solving a class of straightedge-and-compass construction problems is proposed. These are the problems where the goal is to construct a triangle given three located points. The method is based on identifying and systematising geometric knowledge, a specific, restricted search and handling redundant or locus-dependent instances. The proposed method is implemented and the current implementation can solve a large number of triangle construction problems. To our knowledge this is the first systematic automated construction solver focused on solving problems from the corpus given. This is also the first approach that considers proving correctness of generated constructions (using external automated theorem provers). Homepage: http://argo.matf.bg.ac.rs/publications/2015/ArgoTriCS.pdf Related Software: GCLC; GeoGebra; GeoThms; GCLCprover; TGTP; gcl; OpenGeoProver; Cinderella; GEX; ArgoCLP; Euclidea; ENIGMA; TacticToe; Mace4; Prover9; OTTER; sketchometry; Eukleides; Geometer's Sketchpad; Xeukleides Cited in: 5 Publications all top 5 Cited by 12 Authors 3 Janičić, Predrag 3 Marinković, Vesna 1 Kovács, Zoltán 1 Macke, Jaroslav 1 Nikolić, Mladen 1 Olšák, Miroslav 1 Quaresma, Pedro 1 Schreck, Pascal 1 Sedlář, Jiří 1 Selaković, Milica 1 Sivic, Josef 1 Urban, Josef Cited in 3 Serials 2 Mathematics in Computer Science 1 Journal of Symbolic Computation 1 Annals of Mathematics and Artificial Intelligence Cited in 3 Fields 5 Computer science (68-XX) 2 Geometry (51-XX) 1 Mathematics education (97-XX) Citations by Year