Computer proofs of new identities in the Catalan triangle

From MaRDI portal
Publication:3400701