TY  - RPRT
TI  - Linear Systems and Eigenvectors in Constructive Mathematics
AU  - Bob Driessen
AU  - C. J. F. van de Ven
PY  - 2026
UR  - https://arxiv.org/abs/2606.24620
ID  - 2606.24620
ER  -