A Method for the Automated Discovery of Angle Theorems
2021 ◽
Vol 352
◽
pp. 148-155
Keyword(s):
Keyword(s):
2003 ◽
Vol 38
(2 supplement)
◽
pp. 25-35
◽
2018 ◽
Vol 117
◽
pp. 373-392
◽
2015 ◽
Vol 67
◽
pp. 29-40
◽
Keyword(s):
2012 ◽
Vol 41
(6)
◽
pp. 33-34
◽