TY  - RPRT
TI  - Exact rational certificates and a Lean formalization of the eleven-variable Vasc inequality
AU  - Dakai Guo
AU  - Ruichen Qiu
AU  - Yichuan Cao
AU  - Ruyong Feng
AU  - Xiao-Shan Gao
PY  - 2026
UR  - https://arxiv.org/abs/2610.13463
ID  - 2610.13463
ER  -