Irrational proofs for three theorems of Stanley.
Matthias BeckFrank SottilePublished in: Eur. J. Comb. (2007)
Keyphrases
- cut elimination
- sequent calculus
- proof search
- theorem prover
- natural deduction
- linear logic
- equational theories
- inference rules
- theorem proving
- decision procedures
- formal proof
- digital topology
- data mining
- ordered sets
- real time
- wide class
- probabilistic model
- multiresolution
- image sequences
- multimedia
- mathematical knowledge
- databases