TY  - RPRT
TI  - Hilbert's tenth problem for systems of diagonal quadratic forms, and Büchi's problem
AU  - Stanley Yao Xiao
PY  - 2025
UR  - https://arxiv.org/abs/2412.16740
ID  - 2412.16740
ER  -