Domain theory and differential calculus (functions of one variable)

Mathematical Structures in Computer Science

Volumn 14, Issue 6, 2004, Pages 771-802

  Edala, Abbas ^a   Lieutier, Andre ^b  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b DASSAULT SYSTÈMES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 24644443257     PISSN: 09601295     EISSN: 14698072     Source Type: Journal    
DOI: 10.1017/S0960129504004359     Document Type: Article

References (27)

1. Abramsky, S. and Jung, A. (1994) Domain theory. In: Abramsky, S., Gabbay, D. M. and Maibaum, T. S. E. (eds.) Handbook of Logic in Computer Science 3, Clarendon Press.
2. Amadio, R. M. and Curien, P.L. (1998) Domains and Lambda-Calculi Cambridge Tracts in Theoretical Computer Science.
3. Aubin, J. P. and Cellina, A. (1984) Differential Inclusions, Springer.
4. Clarke, F. H. (1983) Optimization and Nonsmooth Analysis, Wiley.
5. Clarke, F.H., Ledyaev Y. S., Stern, R. J. and Wolenski, PR. (1998) Nonsmooth Analysis and Control Theory, Springer.
6. Edalat, A. (1995a) Domain theory and integration. Theoretical Computer Science 151 163–193. Edalat, A. (1995b) Dynamical systems, measures and fractals via domain theory. Information and Computation 120 (1) 32–48.
7. Edalat, A. (1997) Domains for computation in mathematics, physics and exact real arithmetic. Bulletin of Symbolic Logic 3 (4) 401–452.
8. Edalat, A. and Escardo, M. (2000) Integration in real PCF. Information and Computation 160 128–166.
9. Edalat, A. and Heckmann, R. (1998) A computational model for metric spaces. Theoretical Computer Science 193 (1–2) 53–73.
10. Edalat, A., Krznarie M. and Lieutier, A. (2003) Domain-theoretic solution of differential equations (scalar fields). In: Proceedings of MFPS XIX. Electronic Notes in Theoretical Computer Science 83 (Full paper available from www.doc.ic.ac.uk/~ae/papers/scalar.ps.)
11. Edalat, A. and Lieutier, A. (2002) Foundation of a computable solid modelling. Theoretical Computer Science 284 (2) 319–345.
12. Edalat, A., Lieutier, A. and Pattinson, D. (2004) Domain theory and multi-variable calculus. Available from www.doc.ic.ac.uk/~ae/papers/multi.ps.
13. Edalat, A. and Pattinson, D. (2003) Initial value problems in domain theory. In: Proceedings of Computability and Complexity in Analysis 2003, (CCAV3). (Full paper available from www.doc.ic.ac.uk/~ae/papers/picard.icalp.ps.)
14. Edalat, A. and Potts, P. J. (1997) A new representation for exact real numbers. In: Proceedings of Mathematical Foundations of Programming Semantics 13. Electronic Notes in Theoretical Computer Science 6. Available from www.elsevier.nl/locate/entcs/volume6.html.
15. Edalat, A. and Siinderhauf, P. (1998) A domain theoretic approach to computability on the real line. Theoretical Computer Science 210 73–98. Escardo, M.H. (1996) PCF extended with real numbers. Theoretical Computer Science 162 (1) 79–115.
16. Gierz, G., Hofmann, K. H., Keimel, K., Lawson, J. D., Mislove, M. and Scott, D. S. (1980) A Compendium of Continuous Lattices, Springer Verlag.
17. Hewitt, E. and Stromberg, K. (1975) Real and abstract analysis: a modern treatment of the theory of functions of a real variable, Graduate texts in mathematics 25, Springer.
18. Hu, C.Y., Maekawa, T., Sherbrooke, E. C. and Patrikalakis, N. M. (1996) Robust interval algorithm for curve intersections. Computer-Aided Design 28 (6–7) 495–506.
19. Kolmogorov, A. N. and Fomin, S.V. (1975) Introductory Real Analysis, Dover. Lawson, J. (1997) Spaces of maximal points. Mathematical Structures in Computer Science 1 (5) 543–555.
20. Martin, K. (2000) A Foundation for Computation, Ph.D. thesis, University of Tulane.
21. Moore, R. (1966) Interval Analysis, Prentice-Hall, Englewood Cliffs.
22. Plotkin, G. D. (1981) Post-graduate lecture notes in advanced domain theory (incorporating the ‘Pisa Notes’). Department of Computer Science, University of Edinburgh. (Available in LATEX.)
23. Pour-El, M. B. and Richards, J. I. (1988) Computability in Analysis and Physics, Springer-Verlag.
24. Sakkalis, Y., Shen, G. and Patrikalakis, N. M. D. (2001) Topological and geometric properties of interval solid models. Graphical Models 63 163–175.
25. Smyth, M. B. (1977) Effectively given domains. Theoretical Computer Science 5 257–274.
26. Stoltenberg-Hansen, V., Lindstrom, I. and Griffor, E. R. (1994) Mathematical Theory of Domains, Cambridge Tracts in Theoretical Computer Science 22, Cambridge University Press.
27. Weihrauch, K. (2000) Computable Analysis (An Introduction), Springer.