Quantitative continuity and computable analysis in Coq.

Florian Steinberg Laurent Théry Holger Thies

Published in: CoRR (2019)

Keyphrases

quantitative analysis
data sets
machine learning
information systems
database systems
data analysis
knowledge based systems