TY  - RPRT
TI  - Machine-Checked Computational Group Theory in Lean 4: Operational Schreier-Sims Stabilizer Chains, BSGS Sifting, and Backtrack Ordered Partitions
AU  - Volkan Dağlı
AU  - Zerrin Dağlı
AU  - Dağhan Dağlı
PY  - 2026
DO  - 10.5281/zenodo.23045504
UR  - https://arxiv.org/abs/2609.38492
ID  - 2609.38492
ER  -