Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories
2006 ◽
pp. 280-294
◽
2018 ◽
pp. 304-313
◽
2012 ◽
Vol 43
(7)
◽
pp. 949-953
◽
2017 ◽
Vol 2
(2)
◽
pp. 179-194
2015 ◽
Vol 3
(5)
◽
pp. 627-646
2018 ◽
Vol 7
(4.30)
◽
pp. 367
2016 ◽
Vol 7
(1)
◽
pp. 24