Geometric Deduction is a formal reasoning framework within geometric reasoning that derives new geometric properties or relationships from given premises using logically valid inference rules grounded in geometric axioms and theorems.
59
Publications
2.1K
Citations
117
Authors
70
Institutions
Publications per year
2017–2026
12
Parents
Publications
59
Solving olympiad geometry without human demonstrations
Trieu H. Trinh, Yuhuai Wu, Quoc V. Le et al. · Nature · 2024 · 254 citations · Full text
Variation of geometries based on a geometric-reasoning method
B. Aldefeld · Computer-Aided Design · 1988 · 149 citations
Complexity of geometric inductive reasoning tasks
Ricardo Primi · Intelligence · 2001 · 120 citations
1–5 of 59
Authors
117
- FB
3
h-index
- ZK
3
h-index
- KJ
3
h-index
- TR
3
h-index
- DW
2
h-index
1–5 of 117
Institutions
70
Chinese Academy of Sciences
Beijing, China
3 h-index
5 publications
112 citations
Universidade de Vigo
Vigo, Spain
3 h-index
3 publications
92 citations
Private Pädagogische Hochschule der Diözese Linz
Linz, Austria
3 h-index
3 publications
81 citations
Academy of Mathematics and Systems Science
Beijing, China
2 h-index
2 publications
51 citations
Universidad Nebrija
Madrid, Spain
2 h-index
3 publications
68 citations
Beihang University
Beijing, China
2 h-index
4 publications
92 citations
Indonesia University of Education
Bandung, Indonesia
2 h-index
3 publications
51 citations
Institute of Automation
Beijing, China
2 h-index
2 publications
51 citations
1–8 of 70
Venues
- Electronic Notes in Theoretical Computer Science
ENTCS · 3 publications · 57 citations
3
h-index
- ePrints Soton (University of Southampton)
Repository · 3 publications · 48 citations
3
h-index
- Journal of Automated Reasoning
2 publications · 104 citations
2
h-index
- ZDM
2 publications · 34 citations
2
h-index
- ACM communications in computer algebra
SIGSAM · 2 publications · 47 citations
2
h-index
1–5