@misc{indiciae0864c595aeb7,
  title = {Machine-Checked Computational Group Theory in Lean 4: Operational Schreier-Sims Stabilizer Chains, BSGS Sifting, and Backtrack Ordered Partitions},
  author = {Volkan Dağlı and Zerrin Dağlı and Dağhan Dağlı},
  year = {2026},
  doi = {10.5281/zenodo.23045504},
  url = {https://arxiv.org/abs/2609.38492},
  note = {Source identifier: 2609.38492}
}