Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof.
Jean-François DufourdPublished in: Theor. Comput. Sci. (2008)
Keyphrases
- linear logic
- theorem prover
- interactive theorem proving
- natural deduction
- cut elimination
- proof theoretic
- special case
- fixed point
- proof search
- theorem proving
- von neumann
- differential equations
- desirable properties
- inference rules
- fuzzy numbers
- fuzzy set theory
- sequent calculus
- logical framework
- convex polyhedra
- logic programming
- extreme points
- fuzzy information
- interval valued
- linear systems
- convex sets
- first order logic
- laplace transform