TY  - RPRT
TI  - The meaning of doing mathematics
AU  - Petra Schwer
PY  - 2025
UR  - https://arxiv.org/abs/2509.15998
ID  - 2509.15998
ER  -