Proving Divide and Conquer Complexities in Isabelle/HOL.

Published in: J. Autom. Reason. (2017)

Keyphrases

theorem prover
natural deduction
inference rules
theorem proving
higher order logic
first order logic
sequent calculus
cut elimination
databases
data mining
search engine
clustering algorithm
decision making
training data
upper bound
knowledge based systems