Login / Signup

Quantitative Continuity and Computable Analysis in Coq.

Florian SteinbergLaurent ThéryHolger Thies
Published in: ITP (2019)
Keyphrases
  • data sets
  • real world
  • wide range
  • computational complexity
  • statistical analysis