scholarly journals A Method for the Automated Discovery of Angle Theorems

2021 ◽  
Vol 352 ◽  
pp. 148-155
Author(s):  
Philip Todd
Keyword(s):  

2006 ◽  
Author(s):  
Jonathon T. Giffin ◽  
Somesh Jha ◽  
Barton P. Miller
Keyword(s):  


2003 ◽  
Vol 38 (2 supplement) ◽  
pp. 25-35 ◽  
Author(s):  
Morgan Deters ◽  
Ron K. Cytron


2018 ◽  
Vol 117 ◽  
pp. 373-392 ◽  
Author(s):  
Adriano Augusto ◽  
Raffaele Conforti ◽  
Marlon Dumas ◽  
Marcello La Rosa ◽  
Giorgio Bruno




Author(s):  
Adriano Augusto ◽  
Raffaele Conforti ◽  
Marlon Dumas ◽  
Marcello La Rosa ◽  
Giorgio Bruno


2012 ◽  
Vol 41 (6) ◽  
pp. 33-34 ◽  
Author(s):  
Basheer M.Al-Maqaleh ◽  
Mohammed A. Al-Dohbai ◽  
Hamid Shahbazkia


Sign in / Sign up

Export Citation Format

Share Document