TY  - RPRT
TI  - A Finite Certificate for the Positive $n=9$ Vasc Inequality
AU  - Dakai Guo
AU  - Ruichen Qiu
AU  - Yichuan Cao
AU  - Ruyong Feng
PY  - 2026
UR  - https://arxiv.org/abs/2606.06136
ID  - 2606.06136
ER  -