Proofs of five conjectures on matching coefficients of Baruah, Das and Schlosser by an algorithmic approach

Julia Q. D. Du, Dazhao Tang. Proofs of five conjectures on matching coefficients of Baruah, Das and Schlosser by an algorithmic approach. Journal of Symbolic Computation, 116:213-242, 2023. [doi]

Abstract

Abstract is missing.