Hachimori, M., & Kashiwabara, K. (2025). On the Averaging Problem of Ideal Families Related to Frankl's Conjecture with Formal Proof by Lean 4.
Chicago-Zitierstil (17. Ausg.)Hachimori, Masahiro, und Kenji Kashiwabara. On the Averaging Problem of Ideal Families Related to Frankl's Conjecture with Formal Proof by Lean 4. 2025.
MLA-Zitierstil (9. Ausg.)Hachimori, Masahiro, und Kenji Kashiwabara. On the Averaging Problem of Ideal Families Related to Frankl's Conjecture with Formal Proof by Lean 4. 2025.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.