@misc{indiciaeb9667a19e8ee,
  title = {Formalizing Gröbner Basis Theory in Lean},
  author = {Junyu Guo and Hao Shen and Junqi Liu and Lihong Zhi},
  year = {2026},
  url = {https://arxiv.org/abs/2602.12772},
  note = {Source identifier: 2602.12772}
}