Comparing Functional Paradigms for Exact Real-Number Computation.

Andrej Bauer Martín Hötzel Escardó Alex K. Simpson

Published in: ICALP (2002)

Keyphrases

small number
computational effort
data analysis
np hard
real world
data mining
information systems
bayesian networks
special case
memory requirements
fixed number
maximum number
efficient computation