Monotone Proofs of the Pigeon Hole Principle.

Albert Atserias Nicola Galesi Ricard Gavaldà

Published in: Math. Log. Q. (2001)

Keyphrases

uniform distribution
mathematical knowledge
databases
neural network
learning algorithm
knowledge base
multiscale
boolean functions
information bottleneck
sequent calculus
mathematical proofs
interactive theorem proving