A Structured Reconstruction of Identity Proofs in Wu's Method for Automated Geometric Theorem Proving.
Saved in:
| Title: | A Structured Reconstruction of Identity Proofs in Wu's Method for Automated Geometric Theorem Proving. |
|---|---|
| Authors: | Lei, Siran1,2 (AUTHOR), Zhou, Qixin2 (AUTHOR) 1112333006@e.gzhu.edu.cn, Guan, Hao1,2 (AUTHOR), Rao, Yongsheng2 (AUTHOR), Zhang, Jingzhong2 (AUTHOR) |
| Source: | Mathematics (2227-7390). Jul2026, Vol. 14 Issue 13, p2442. 27p. |
| Database: | Academic Search Ultimate |
|
Full text is not displayed to guests.
Login for full access.
|
|
| ISSN: | 22277390 |
|---|---|
| DOI: | 10.3390/math14132442 |
