Parametric Linear Arithmetic over Ordered Fields in Isabelle/HOL.

Published in: AISC/MKM/Calculemus (2008)

Keyphrases

theorem prover
natural deduction
closed form
inference rules
theorem proving
knowledge base
real time
image processing
decision trees
face recognition
piecewise linear
formal methods
simple linear
arithmetic operations