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