Garsia and Milne's bijective proof of the inclusion-exclusion principle.

Doron Zeilberger

Published in: Discret. Math. (1984)

Keyphrases

multiscale
theorem prover
data sets
knowledge base
three dimensional
probability distribution
complete axiomatization
case study
lower bound
expert systems
theorem proving
linear logic
geometry theorem proving