Constructive analysis, types and exact real numbers.

Herman Geuvers Milad Niqui Bas Spitters Freek Wiedijk

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

Keyphrases

real numbers
pattern recognition
data sets
data analysis
quantitative analysis
social networks
image processing
case study