Extensional constructive real analysis via locators.

Auke Bart Booij

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

Keyphrases

statistical analysis
real life
data mining
wide range
expert systems
quantitative analysis
real time
real world
information retrieval
decision trees
database systems
multiresolution
control system