research
∙
08/14/2020
On the Notion of Equal Figures in Euclid
Euclid uses an undefined notion of "equal figures", to which he applies ...
research
∙
10/02/2017
Proof-checking Euclid
We used computer proof-checking methods to verify the correctness of our...
research
∙
06/22/2016