GeoZhong
The World's First GEO Engineer Community
Search content...
🔍
☰
SIGN_IN
Create Account
ZH
EN
ES
ZH
EN
ES
New MechGeo Framework on arXiv: A New Paradigm for Automated Formalization of Euclidean Geometry and GEO Reasoning