Formalizing Implicative Algebras in Coq.

Étienne Miquey

Published in: ITP (2018)

Keyphrases

formal methods
theorem prover
distributive lattices
clifford algebra
spatial reasoning
topological spaces
three dimensional
temporal reasoning
data sets
information retrieval
information systems
multimedia
decision trees
bayesian networks
boolean algebra
relation algebra