Euclidean Proofs is a formal deductive framework belonging to the class of mathematical proof systems, distinguished by its reliance on Euclid’s axiomatic structure and first principles to derive geometric propositions through logical inference.
11
Publications
475
Citations
16
Authors
11
Institutions
Publications per year
2017–2026
0
Parents
Publications
11
Keith Jones, Melissa Rodd · 2001 · 53 citations
Dynamic Proofs of Euclidean Theorems
Ross Lee Finney · Mathematics Magazine · 1970 · 26 citations
1–5 of 11
Authors
16
- SL
2
h-index
- MR
1
h-index
- KJ
1
h-index
- AS
1
h-index
- EH
1
h-index
1–5 of 16
Institutions
11
University of Coimbra
Coimbra, Portugal
1 h-index
1 publications
23 citations
The Graduate Center, CUNY
New York, United States
1 h-index
1 publications
25 citations
Lehman College
New York, United States
1 h-index
1 publications
25 citations
University of Illinois System
Urbana, United States
1 h-index
1 publications
26 citations
Wichita State University
Wichita, United States
1 h-index
3 publications
99 citations
University of Belgrade
Belgrade, Serbia
1 h-index
1 publications
23 citations
University of California, Davis
Davis, United States
1 h-index
2 publications
38 citations
University of Chicago
Chicago, United States
1 h-index
1 publications
159 citations
1–8 of 11
Venues
- Journal for Research in Mathematics Education
JRME · 2 publications · 248 citations
2
h-index
- Electronic Notes in Theoretical Computer Science
ENTCS · 1 publications · 23 citations
1
h-index
- International Journal of Engineering Science
1 publications · 25 citations
1
h-index
- Annals of Mathematics and Artificial Intelligence
1 publications · 33 citations
1
h-index
- International Conference on Artificial Intelligence
Conference · 1 publications · 19 citations
1
h-index
1–5