  We consider three problems from the recent issues of the American
Mathematical Monthly involving different versions of Catalan triangle. Our main
results offer generalizations of these identities and demonstrate automated
proofs with additional twists, and on occasion we furnish a combinatorial
proof.
