Domain theory and differential calculus (functions of one variable)

DOI10.1017/S0960129504004359MaRDI QIDQ4659539zbMATH OpenFDO

Authors Abbas Edalat, A. Lieutier

Publication date 21 March 2005

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

Full work available at URL https://doi.org/10.1017/S0960129504004359

zbMATH Keywords

data type for differentiable functionsdata type for solving differential equationsdifferentiationdomain-theoretic framework for differential calculusintegrationPicard's theoremreal-valued functions of a real variable

Mathematics Subject Classification ID

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

Recommendations

• Domain theoretical differential calculi
• A computational model for multi-variable differential calculus
• Domain-theoretic solution of differential equations (scalar fields)
• Foundations of Software Science and Computational Structures
• Automata, Languages and Programming

Cited in

(22)

• An extension of the dual complexity space and an application to computer science
• Differential calculus with imprecise input and its logical framework
• Darboux calculus
• Domain theoretical differential calculi
• The abstract domain of trapezoid step functions
• A computational model for multi-variable differential calculus
• Denotational semantics of hybrid automata
• Domain-theoretic solution of differential equations (scalar fields)
• Informatic vs. classical differentiation on the real line
• The formal ball model for \(\mathcal Q\)-categories
• A Domain-Theoretic Account of Picard's Theorem
• Extensions of domain maps in differential and integral calculus
• A derivative for complex Lipschitz maps with generalised Cauchy-Riemann equations
• Computability of partial Delaunay triangulation and Voronoi diagram (extended abstract)
• On the versatility of open logical relations. Continuity, automatic differentiation, and a containment theorem
• A Hybrid Denotational Semantics for Hybrid Systems
• Foundations of Software Science and Computational Structures
• New Computational Paradigms
• Recursive solution of initial value problems with temporal discretization
• A domain-theoretic framework for robustness analysis of neural networks
• Continuous domains for function spaces using spectral compactification
• A differential operator and weak topology for Lipschitz maps

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4659539)