@misc{indiciae2cc83a1f6f1e,
  title = {Formalization of Amicable Numbers Theory},
  author = {Zhipeng Chen and Haolun Tang and Jingyi Zhan},
  year = {2026},
  url = {https://arxiv.org/abs/2601.07444},
  note = {Source identifier: 2601.07444}
}