Formalizing the Qualitative Superposition of Rectangles in Proof Assistant Isabelle/HOL.
Fadoua GhourabiKazuko TakahashiPublished in: ICAART (2) (2015)
Keyphrases
- theorem prover
- theorem proving
- natural deduction
- inference rules
- higher order logic
- test bed
- proof search
- first order logic
- qualitative reasoning
- cut elimination
- sequent calculus
- quantitative and qualitative
- qualitative and quantitative
- qualitative simulation
- qualitative information
- data sets
- mathematical proofs
- numerical values
- qualitative physics
- qualitative analysis
- packing problem