The Poincaré-Bendixson theorem in Isabelle/HOL.

Fabian Immler Yong Kiam Tan

Published in: CPP (2020)

Keyphrases

theorem prover
natural deduction
intuitionistic logic
inference rules
theorem proving
higher order logic
first order logic
cut elimination
sequent calculus
modal logic
database systems
case study
database
finite dimensional
von neumann
linear logic
feature selection
data mining