Certification of Complexity Proofs using CeTA.

Martin Avanzini Christian Sternagel René Thiemann

Published in: RTA (2015)

Keyphrases

computational complexity
real time
computational cost
space complexity
data sets
machine learning
computer vision
upper bound
third party
formal proofs