Non-constructive complex analysis in Coq.

Published in: TYPES (2011)

Keyphrases

statistical analysis
user interface
complex data
databases
neural network
real world
e learning
multimedia
high level
data analysis
relational databases
image analysis
wireless sensor networks
automatic analysis