Login / Signup
On the non-sequential nature of the interval-domain model of real-number computation.
Martín Hötzel Escardó
Martin Hofmann
Thomas Streicher
Published in:
Math. Struct. Comput. Sci. (2004)
Keyphrases
</>
computational model
statistical model
mathematical model
knowledge base
objective function
computational complexity
probabilistic model
management system
parameter estimation
artificial neural networks
cost function
small number
formal model