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