A combinatorial proof of a theorem of Freund.
Frédéric MeunierPublished in: J. Comb. Theory, Ser. A (2008)
Keyphrases
- interactive theorem proving
- theorem proving
- mathematical proofs
- proof theoretic
- theorem prover
- von neumann
- multiscale
- objective function
- geometry theorem proving
- proof planning
- digital topology
- automated theorem proving
- linear logic
- information retrieval
- first order logic
- multi class
- knowledge representation
- artificial neural networks
- support vector