@misc{mazur-2026-sendov-candidate,
  author = {Mazur, Lech},
  title = {A Computer-Assisted Proof of Sendov's Conjecture},
  publisher = {ProofAtlas},
  year = {2026},
  date = {2026-08-05},
  version = {public version of 5 August 2026},
  url = {https://proofatlas.ai/formalizations/sendov-conjecture/}
}