Domain theory and differential calculus (functions of one variable)

DOI10.1017/S0960129504004359zbMath1062.03037MaRDI QIDQ4659539

Abbas Edalat, André Lieutier

Publication date: 21 March 2005

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

integrationdifferentiationPicard's theoremdata type for differentiable functionsdata type for solving differential equationsdomain-theoretic framework for differential calculusreal-valued functions of a real variable

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Differentiation (real functions of one variable): general theory, generalized derivatives, mean value theorems (26A24) Logic in computer science (03B70) Continuous lattices and posets, applications (06B35) Constructive real analysis (26E40) Higher-type and set recursion theory (03D65)

Related Items (14)

On the Versatility of Open Logical Relations ⋮ Denotational semantics of hybrid automata ⋮ Recursive solution of initial value problems with temporal discretization ⋮ A domain-theoretic framework for robustness analysis of neural networks ⋮ Darboux calculus ⋮ Domain theoretical differential calculi ⋮ A derivative for complex Lipschitz maps with generalised Cauchy-Riemann equations ⋮ The abstract domain of trapezoid step functions ⋮ Computability of Partial Delaunay Triangulation and Voronoi Diagram [Extended Abstract] ⋮ A differential operator and weak topology for Lipschitz maps ⋮ A Hybrid Denotational Semantics for Hybrid Systems ⋮ The formal ball model for -categories ⋮ An extension of the dual complexity space and an application to computer science ⋮ A Domain-Theoretic Account of Picard's Theorem

This page was built for publication: Domain theory and differential calculus (functions of one variable)