Hachimori, M., & Kashiwabara, K. (2025). On the Averaging Problem of Ideal Families Related to Frankl's Conjecture with Formal Proof by Lean 4.
Chicago Style (17th ed.) CitationHachimori, Masahiro, and Kenji Kashiwabara. On the Averaging Problem of Ideal Families Related to Frankl's Conjecture with Formal Proof by Lean 4. 2025.
MLA (9th ed.) CitationHachimori, Masahiro, and Kenji Kashiwabara. On the Averaging Problem of Ideal Families Related to Frankl's Conjecture with Formal Proof by Lean 4. 2025.
Warning: These citations may not always be 100% accurate.