Formalization of real analysis: a survey of proof assistants and libraries.

Sylvie Boldo Catherine Lelay Guillaume Melquiond

Published in: Math. Struct. Comput. Sci. (2016)

Keyphrases

real life
data sets
neural network
artificial intelligence
image processing
case study
preprocessing
image analysis
automatic analysis