65 citations · 190 across the 6 of their papers we have counts for
1 paper · 1 filter
Evgeny V. Ivashkevich
Constructive-deductive method for plane Euclidean geometry is proposed and formalized within Coq Proof Assistant. This method includes both postulates that describe elementary cons…