A Formal Proof in Coq of LaSalle's Invariance Principle.

Cyril Cohen Damien Rouhling

Published in: ITP (2017)

Keyphrases

formal proof
theorem prover
inference rules
first order logic
discriminative power
invariant features
databases
formal methods
database
invariance properties
learning algorithm
e learning
image analysis
action recognition
scale invariance
view invariant action recognition