@misc{indiciae6b039d858a85,
  title = {Exact rational certificates and a Lean formalization of the eleven-variable Vasc inequality},
  author = {Dakai Guo and Ruichen Qiu and Yichuan Cao and Ruyong Feng and Xiao-Shan Gao},
  year = {2026},
  url = {https://arxiv.org/abs/2610.13463},
  note = {Source identifier: 2610.13463}
}