|
|
Domain-theoretic Solution of Differential Equations
(Scalar Fields) (A. Edalat and M. Krznaric and A. Lieutier) Electronic Notes in Theoretical Computer Science volume 83, 2003. |
|
A domain theoretic account of Picard's theorem
(A. Edalat and D. Pattinson) |
In Proceedings of ICALP 2004. Full paper to appear in the London Mathematical Society Journal of Computation and Mathematics.
|
A domain theoretic account of Euler's method for Solving Initial Value Problems
(A. Edalat and D. Pattinson) In Proceedings of PARA 2004 |
| Domain Theoretic Solutions of Initial Value Problems for Unbounded
Vector Fields
(A. Edalat and D. Pattinson) In Proceedings of MFPS XXI, ENTCS volume 155, 2005. |
|
A Computational Model for Multi-Variable Differential Calculus
(A. Edalat and A. Lieutier and D. Pattinson) In Proceedings of FOSSACS 2005. |
|
Denotational Semantics of Hybrid Automata (A. Edalat with D. Pattinson) Proceedings of
Foundations of Software Science and Computation Structures: 9th International Conference, FOSSACS 2006 Lecture Notes in Computer Science
Volume 3921
pp.231-245
March, 2006
|
|
Inverse and Implicit Functions in Domain Theory
(A. Edalat and D. Pattinson) In Proceedings of LICS 2005. |
|
A continuous derivative for real-valued functions (A. Edalat) Invited paper for New Computational Paradigms |
|
Domain Theory and Differential Calculus (Functions of one variable) (A. Edalat and A.Lieutier). |
Mathematical Structures in Computer Science, Volume 14, Issue 06, Dec 2004, pp 771-802. (Extended abstract in Proceedings of IEEE Symposium on Logic in Computer Science (LICS) 2002.) |
|
| |||
|