On Automating Triangle Constructions in Absolute and Hyperbolic Geometry
2021 ◽
Vol 352
◽
pp. 14-26
Keyword(s):
2006 ◽
Vol 34
(2)
◽
pp. 429-467
◽
2011 ◽
Vol 376
(1)
◽
pp. 383-384
◽
Keyword(s):
2014 ◽
Vol 116
(1)
◽
pp. 3-20
◽
2008 ◽
Vol 57
(6)
◽
pp. 2891-2930
◽