Results 1 
4 of
4
Inverse and implicit functions in domain theory
 Proc. 20th IEEE Symposium on Logic in Computer Science (LICS 2005
, 2005
"... C1 norm to the inverse function. A similar result holds for implicit functions. Combined with the domaintheoretic model for computationalgeometry, this provides a robust technique for construction of curves and surfaces in geometric modelling and CAD. 1. ..."
Abstract

Cited by 5 (5 self)
 Add to MetaCart
(Show Context)
C1 norm to the inverse function. A similar result holds for implicit functions. Combined with the domaintheoretic model for computationalgeometry, this provides a robust technique for construction of curves and surfaces in geometric modelling and CAD. 1.
Uniqueness, Continuity, and Existence of Implicit Functions in Constructive Analysis
"... Abstract. We extract a quantitative variant of uniqueness from the usual hypotheses of the implicit functions theorem. This leads not only to an a priori proof of continuity, but also to an alternative, fully constructive existence proof. 1 ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
(Show Context)
Abstract. We extract a quantitative variant of uniqueness from the usual hypotheses of the implicit functions theorem. This leads not only to an a priori proof of continuity, but also to an alternative, fully constructive existence proof. 1
Inverse and Implicit Functions in Domain Theory
"... We construct a domaintheoretic calculus for Lipschitz and differentiable functions, which includes addition, subtraction and composition. We then develop a domaintheoretic version of the inverse function theorem for a Lipschitz function, in which the inverse function is obtained as a fixed point of ..."
Abstract
 Add to MetaCart
(Show Context)
We construct a domaintheoretic calculus for Lipschitz and differentiable functions, which includes addition, subtraction and composition. We then develop a domaintheoretic version of the inverse function theorem for a Lipschitz function, in which the inverse function is obtained as a fixed point of a Scott continuous functional and is approximated by step functions. In the case of a C 1 function, the inverse and its derivative are obtained as the least fixed point of a single Scott continuous functional on the domain of differentiable functions and are approximated by two sequences of step functions, which are effectively computed from two increasing sequences of step functions respectively converging to the original function and its derivative. In this case, we also effectively obtain an increasing sequence of polynomial step functions whose lower and upper bounds converge in the C 1 norm to the inverse function. A similar result holds for implicit functions, which combined with the domaintheoretic model for computational geometry, provides a robust technique for construction of curves and surfaces. 1.