FSDIC 

 

"On protocols for the automated discovery of theorems in elementary geometry"  

G. Dalzotto (U. Pisa), T.R. 

 

 

Image 

 

 

 

 

Image