|
![]()
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.) |
|
| |||
|