Combinatorial Proofs of Identities of Alzer and Prodinger and Some Generalizations.

John Engbers Christopher J. Stocker

Published in: Integers (2018)

Keyphrases

equational theories
theorem prover
theorem proving
formal proofs
formal proof
databases
machine learning
artificial intelligence
special case
mobile robot
decision procedures
mathematical proofs