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