TY  - RPRT
TI  - First-Order Axiom Systems $\mathscr{E}_{d}$ and $\mathscr{E}_{da}$ Extending Tarski's $\mathscr{E}_{2}$ with Distance and Angle Function Symbols for Quantitative Euclidean Geometry
AU  - Hongyu Guo
PY  - 2025
DO  - 10.3390/math13213462
UR  - https://arxiv.org/abs/2511.08494
ID  - 2511.08494
ER  -