Arseniy V. Akopyan (2011):
On some classical constructions extended to hyperbolic geometry.
ArXiv:1105.2153.
MW Al-Dhahir (1962):
An instrument in hyperbolic geometry.
Proceedings of the American Mathematical Society 13(2),
pp. 298–304,
doi:10.4153/CJM-1956-043-0.
Bruno Buchberger (2006):
An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal.
Journal of Symbolic Computation 41(3),
pp. 475–511,
doi:10.1016/j.jsc.2005.09.007.
H. S. M. Coxeter (1957):
Non-euclidean geometry.
Univ. of Toronto Press,
Toronto,
doi:10.3138/9781442653207.
Xiao-Shan Gao & Shang-Ching Chou (1998):
Solving geometric constraint systems. II. A symbolic approach and decision of RC-constructibility..
Computer Aided Design 30(2),
pp. 115–122,
doi:10.1016/S0010-4485(97)00055-9.
Sumit Gulwani, Vijay Anand Korthikanti & Ashish Tiwari (2011):
Synthesizing Geometry Constructions.
In: Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation,
pp. 50–61,
doi:10.1145/1993498.1993505.
F. Handest (1956):
Constructions in hyperbolic geometry.
Cañad. J. Math. 8,
pp. 389–394,
doi:10.4153/CJM-1956-043-0.
Predrag Janiči\'c (2010):
Geometry Constructions Language.
Journal of Automated Reasoning 44(1-2),
pp. 3–24,
doi:10.1007/s10817-009-9135-8.
Vesna Marinkovi\'c & Predrag Janiči\'c (2012):
Towards Understanding Triangle Construction Problems.
In: Intelligent Computer Mathematics - CICM 2012,
Lecture Notes in Computer Science 7362,
pp. 126–141,
doi:10.2307/2690164.
Vesna Marinkovi\'c (2017):
ArgoTriCS – Automated Triangle Construction Solver.
Journal of Experimental & Theoretical Artificial Intelligence 29(2),
pp. 247–271,
doi:10.2307/2690164.
Filip Mari\'c, Ivan Petrovi\'c, Danijela Petrovi\'c & Predrag Janiči\'c (2012):
Formalization and Implementation of Algebraic Methods in Geometry.
In: Proceedings First Workshop on CTP Components for Educational Software,
Electronic Proceedings in Theoretical Computer Science 79,
pp. 63–81,
doi:10.4204/EPTCS.79.4.
John Milnor (1982):
Hyperbolic geometry: The first 150 years.
Bulletin of the American Mathematical Society 6,
pp. 9–24,
doi:10.2307/1971277.
D.D. Mordoukhay-Boltovskoy (1927):
About geometrical constructions in Lobacevskiǐ space (in Russian).
JFM 53.0592.01,
pp. 67–82.
Victor Pambuccian (2008):
Axiomatizing geometric constructions.
Journal of Applied Logic 6(1),
pp. 24–46,
doi:10.1016/j.jal.2007.02.001.
Pascal Schreck (1993):
Constructions à la règle et au compas.
University of Strasbourg.
Pascal Schreck (2019):
On the Mechanization of Straightedge and Compass Constructions.
Journal of Systems Science and Complexity 32,
pp. 124–149,
doi:10.1007/s11786-016-0255-3.
Pascal Schreck, Pascal Mathis, Vesna Marinkovi\'c & Predrag Janiči\'c (2016):
Wernick's List: A Final Update.
Forum Geometricorum 16,
pp. 69–80.
William Wernick (1982):
Triangle Constructions with Three Located Points.
Mathematics Magazine 55(4),
pp. 227–230,
doi:10.1080/0025570X.1985.11976988.
Wen Tsun Wu (1978):
On the Decision Problem and the Mechanization of Theorem-proving in Elementary Geometry.
Scientia Sinica 21(2),
pp. 159–172,
doi:10.1142/9789812791085_0008.
eptcs@eptcs.org