Computable analysis and notions of continuity in Coq.

Florian Steinberg Laurent Théry Holger Thies

Published in: Log. Methods Comput. Sci. (2021)

Keyphrases

databases
artificial intelligence
machine learning
website
quantitative analysis
image segmentation
image sequences
bayesian networks
optimal solution
expert systems
probabilistic model
knowledge representation
statistical analysis