Searching for:
Found 10,715 results
sorted by:
Pages: 1 2 3 ...
Nedialko S. Nedialkov, Kenneth R. Jackson, George F. Corliss : Validated solutions of initial value problems for ordinary differential equations. Applied Mathematics and Computation (AMC) 105(1):21-68 (1999)
Christopher L. Barrett, Henning S. Mortveit, Christian M. Reidys : Elements of a theory of simulation II: sequential dynamical systems. Applied Mathematics and Computation (AMC) 107(2-3):121-136 (2000)
Toby Ord : The many forms of hypercomputation. Applied Mathematics and Computation (AMC) 178(1):143-153 (2006)
Olivier Bournez : How much can analog and hybrid systems be proved (super-)Turing. Applied Mathematics and Computation (AMC) 178(1):58-71 (2006)
S. Barry Cooper : Emergence as a computability-theoretic phenomenon. Applied Mathematics and Computation (AMC) 215(4):1351-1360 (2009)
(search: 0 sec. - facets: 0.0 sec.) (?)
Pages: 1 2 3 ...

Refine by VENUE:

show:

Refine by YEAR:

show:
[No canvas support]