Proofs of Power Sum and Binomial Coefficient Congruences via Pascal's Identity.

Kieren MacMillan Jonathan Sondow

Published in: Am. Math. Mon. (2011)

Keyphrases

power consumption
theorem proving
information retrieval
objective function
probability distribution
theorem prover
decision procedures
power distribution
database
artificial neural networks
evolutionary algorithm
recognizing textual entailment