Sciweavers

7 search results - page 2 / 2
» On the Convergence of Rational Ritz Values
Sort
View
ICALP
2004
Springer
13 years 10 months ago
A Domain Theoretic Account of Picard's Theorem
We present a domain-theoretic version of Picard’s theorem for solving classical initial value problems in Rn . For the case of vector fields that satisfy a Lipschitz condition, ...
Abbas Edalat, Dirk Pattinson
IJBC
2007
80views more  IJBC 2007»
13 years 5 months ago
Exact Approximations of omega Numbers
A Chaitin Omega number is the halting probability of a universal prefix-free Turing machine. Every Omega number is simultaneously computably enumerable (the limit of a computable...
Cristian S. Calude, Michael J. Dinneen