A derivative for complex Lipschitz maps with generalised Cauchy-Riemann equations

DOI10.1016/j.tcs.2014.11.003zbMath1318.03051MaRDI QIDQ483298

Abbas Edalat

Publication date: 16 December 2014

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2014.11.003

zbMATH Keywords

analytic maps; contour integration; Cauchy-Riemann equations; Clarke gradient; continuous Scott domain; data type for complex maps; L-derivative

Mathematics Subject Classification ID

03F60: Constructive and recursive analysis

68Q65: Abstract data types; algebraic specification

06B35: Continuous lattices and posets, applications

30G20: Generalizations of Bers and Vekua type (pseudoanalytic, (p)-analytic, etc.)

03D65: Higher-type and set recursion theory

Cites Work

• Domain theory and integration
• A differential operator and weak topology for Lipschitz maps
• A computational model for metric spaces
• A minimal set-valued strong derivative for vector-valued Lipschitz functions
• An effective Riemann Mapping Theorem
• Essentially smooth Lipschitz functions
• Normal cycles of Lipschitz manifolds by approximation with parallel sets.
• Foundation of a computable solid modelling.
• Dynamical systems, measures, and fractals via domain theory
• A computational model for multi-variable differential calculus
• On effective analytic continuation
• Generalized subdifferentials: a Baire categorical approach
• Is the Mandelbrot set computable?
• Computability of Analytic Functions with Analytic Machines
• Subgradient representation of multifunctions
• Spaces of maximal points
• When Scott is weak on the top
• Domain theory and differential calculus (functions of one variable)
• On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
• Continuous Lattices and Domains
• A Complex Rolle's Theorem
• Non-computable Julia sets
• Foundations of Software Science and Computational Structures
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item