On existence and uniqueness verification for non-smooth functions

DOI10.1023/A:1016381031155zbMath0999.65041OpenAlexW130934891MaRDI QIDQ1611220

Ralph Baker Kearfott

Publication date: 21 August 2002

Published in: Reliable Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1016381031155

zbMATH Keywords

numerical examplestopological degreeinterval arithmetictopological indexJacobi matrixnon-smooth functionsinterval Newton methodsexistene and uniqueness verification

Mathematics Subject Classification ID

Numerical computation of solutions to systems of equations (65H10) Interval and finite arithmetic (65G30) Algorithms with automatic result verification (65G20)

Related Items (3)

On computability and triviality of well groups ⋮ Solving interval constraints by linearization in computer-aided design ⋮ Quasi-decidability of a fragment of the first-order theory of real numbers

Uses Software

• INTOPT_90

This page was built for publication: On existence and uniqueness verification for non-smooth functions