Combinatorial proofs of five formulas of Liouville.

Olivia X. M. Yao Ernest X. W. Xia

Published in: Discret. Math. (2014)

Keyphrases

mathematical formulas
formal proof
theorem prover
knowledge representation
action theories
natural deduction
formal proofs
equational theories
automated theorem provers
number of queries needed