Proofs of Ruehr's Identities.

Sean Meehan Akalu Tefera Michael Weselcouch Aklilu Zeleke

Published in: Integers (2014)

Keyphrases

theorem proving
formal proofs
equational theories
data mining
computer vision
image sequences
learning environment
lower bound
special case
theorem prover
natural deduction
formal proof