Mathematical theory of domains
Mathematical theory of domains
Selected papers of the workshop on Topology and completion in semantics
Handbook of logic in computer science (vol. 3)
A first course in the numerical analysis of differential equations
A first course in the numerical analysis of differential equations
A domain-theoretic approach to computability on the real line
Theoretical Computer Science - Special issue on real numbers and computers
Numerical Integration with Exact Real Arithmetic
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
A computational model for multi-variable differential calculus
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
| Hi-index | 0.00 |
We present a domain theoretic framework for obtaining exact solutions of linear boundary value problems. Based on the domain of compact real intervals, we show how to approximate both a fundamental system and a particular solution up to an arbitrary degree of accuracy. The boundary conditions are then satisfied by solving a system of imprecisely given linear equations at every step of the approximation. By restricting the construction to effective bases of the involved domains, we not only obtain results on the computability of boundary value problems, but also directly implementable algorithms, based on proper data types, that approximate solutions up to an arbitrary degree of accuracy. As these data types are based on rational numbers, no numerical errors are incurred in the computation process.