Verified Real Asymptotics in Isabelle/HOL.

Published in: ISSAC (2019)

Keyphrases

theorem prover
natural deduction
genetic algorithm
database
databases
real world
data mining
clustering algorithm
image segmentation
wide range
special case
sufficient conditions