Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken

DOI10.1007/BF02234767zbMath0187.10001OpenAlexW1532036648MaRDI QIDQ2536416

Yanyan Li

Publication date: 1969

Published in: Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02234767

zbMATH Keywords

numerical analysis

Related Items

Interval methods for fixed-point problems, Interval Linear Algebra and Computational Complexity, A Novel Interval Arithmetic Approach for Solving Differential-Algebraic Equations with ValEncIA-IVP, Uses of New Sensitivity and Dae Solving Methods in SmartMobile for Verified Analysis of Mechanical Systems, Verified Determination of Singularities in Chemical Processes, A Theory of Interval Iteration, Rigorous KAM results around arbitrary periodic orbits for Hamiltonian systems, VerifyRealRoots: a Matlab package for computing verified real solutions of polynomials systems of equations and inequalities, Fast computation of error bounds for all eigenpairs of a Hermitian and all singular pairs of a rectangular matrix with emphasis on eigen- and singular value clusters, VALIDATED STUDY OF THE EXISTENCE OF SHORT CYCLES FOR CHAOTIC SYSTEMS USING SYMBOLIC DYNAMICS AND INTERVAL TOOLS, Local discretization error bounds using interval boundary element method, The united stable solution set of interval continuous-time algebraic Riccati equation and veri ed numerical computation of its outer estimation, Computing Enclosures for the Matrix Exponential, A modification of krawczyk's algorithm, Mathematically rigorous global optimization in floating-point arithmetic, Rigorous Sensitivity Analysis for Systems of Linear and Nonlinear Equations, Verified error bounds for multiple roots of systems of nonlinear equations, Verified Computations for Hyperbolic 3-Manifolds, Solving Linear Systems with Polynomial Parameter Dependency with Application to the Verified Solution of Problems in Structural Mechanics, An interval version of Chebyshev's method for nonlinear operator equations, On some classical existence theorems, Computer-generated interval extensions of factorable functions and their derivatives, A new exclusion test., Finding all solutions of nonlinear equations using the dual simplex method, Certification for polynomial systems via square subsystems, Central configurations in the spatial \(n\)-body problem for \(n=5,6\) with equal masses, Safe starting regions by fixed points and tightening, Conditionally isotone interval operators, Interval branch-and-bound algorithms for optimization and constraint satisfaction: a survey and prospects, Application of the Krawczyk-Moore-Jones algorithm to electric circuit analysis and its further development, Fast verified solutions of linear systems, Verified numerical computation for nonlinear equations, Numerical existence proof of five solutions for certain two-transistor circuit equations, Computer algebra for guaranteed accuracy. How does it help?, A parallel interval method implementation for global optimization using dynamic load balancing, Asynchronous parallel methods for enclosing solutions of nonlinear equations, Experiences with a method for enclosing solutions of systems of equations, Verified solution of large systems and global optimization problems, Certified numerical real root isolation for bivariate nonlinear systems, Interval arithmetic techniques for the design of controllers for nonlinear dynamical systems with applications in mechatronics. II, Parallel interval Newton-like Schwarz methods for almost linear parabolic problems, A certified numerical algorithm for the topology of resultant and discriminant curves, Chaotic quantum behaved particle swarm optimization algorithm for solving nonlinear system of equations, Solving interval constraints by linearization in computer-aided design, Certifying solutions to overdetermined and singular polynomial systems over \(\mathbb{Q}\), An interval Newton method, A class of componentwise Krawczyk-Moore type iteration methods, Generalized iteration methods for bounds of the solution of fixed point operator-equations, Improved iteration schemes for validation algorithms for dense and sparse nonlinear systems, Guaranteed inclusions for the complex generalized eigenproblem, An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination, Verified error bounds for isolated singular solutions of polynomial systems: case of breadth one, Interval solution of nonlinear equations using linear programming, Fast enclosure for solutions of Sylvester equations, Determination of minimum sets of the set of zeros of a function, \textit{Helios}: A modeling language for global optimization and its implementation in \textit{Newton}, Stets konvergente Verfahren höherer Ordnung zur Berechnung von reellen Nullstellen, Order-convergence and iterative interval methods, Relations between various methods for solving linear interval and parametric equations, The complexity of subdivision for diameter-distance tests, Ten methods to bound multiple roots of polynomials, Computational existence proofs for spherical \(t\)-designs, Solvers for the verified solution of parametric linear systems, Verified stability analysis of continuous-time control systems with bounded parameter uncertainties and stochastic disturbances, Global optimization using interval analysis - the multi-dimensional case, Interval extensions and interval iterations, Interval boxes of solutions of nonlinear systems, Bounding solutions of systems of equations using interval analysis, Higher order multi-step interval iterative methods for solving nonlinear equations in \(\mathbb R^n\), E-methods for fixed point equations f(x)=x, Interval boundary element method in the presence of uncertain boundary conditions, integration errors, and truncation errors, Inverting an interval Hessian of a factorable function, Solving nonlinear systems with least significant bit accuracy, Solution of finite systems of equations by interval iteration, Verified error bounds for solutions of Sylvester matrix equations, A heuristic verification of the degree of the approximate GCD of two univariate polynomials, Worst case bounds on the point-wise discretization error in boundary element method for the elasticity problem, Estimation of the sensitivity of linear and nonlinear algebraic problems, Fast enclosure for a matrix inverse square root, A hybrid procedure for finding real points on a real algebraic set, A geometric approach for computing a posteriori error bounds for the solution of a linear system, An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs, On the solution of interval linear systems, What can interval analysis do for global optimization?, Fast verified computation for solutions of continuous-time algebraic Riccati equations, A new hybrid algorithm based on chaotic maps for solving systems of nonlinear equations, Verified error bounds for eigenvalues of geometric multiplicity \(q\) and corresponding invariant subspaces, Computing enclosures for the inverse square root and the sign function of a matrix, Rigorous numerics for NLS: bound states, spectra, and controllability, Central configurations in planar \(n\)-body problem with equal masses for \(n=5,6,7\), Finding all solutions of a class of nonlinear equations using an improved LP test, Seven mutually touching infinite cylinders, Vergleich intervallarithmetischer Iterationsverfahren, Ein Verfahren zur Behandlung von Ausgleichsaufgaben mit Intervallkoeffizienten, On computing the range of a rational function of n variables over a bounded region, A dynamical interval Newton method, Interval forms of Newtons method, LP narrowing: A new strategy for finding all solutions of nonlinear equations, Period doubling in the Rössler system -- a computer assisted proof, Nonlinear equations and optimization, Systematic computer assisted proofs of periodic orbits of Hamiltonian systems, Verified error bounds for singular solutions of nonlinear systems, Exact numerical methods in dynamical systems theory, Spatial relative equilibria and periodic solutions of the Coulomb \((n+1)\)-body problem, Verbesserung von Schranken für Eigenwerte und Eigenvektoren von Matrizen, Einschließung von Nullstellen mit Hilfe einer Intervallarithmetik, A gentle introduction to Numerica, An interval algorithm for solving systems of linear equations to prespecified accuracy, Centered forms and interval operators, An improved verification algorithm for nonlinear systems of equations based on Krawczyk operator, Gleichungen in halbgeordneten Räumen, New techniques for the analysis of linear interval equations, Nullstellenbestimmung mit der Intervallrechnung. (Determination of zeros with intervall arithmetic), Fast verified computation for positive solutions to \(\mathcal{M} \)-tensor multi-linear systems and Perron vectors of a kind of weakly irreducible nonnegative tensors, Central configurations of the five-body problem with equal masses, Interval operators of a function of which the Lipschitz matrix is an interval M-matrix, Interval analysis: Theory and applications, Nonlinear optimization exclusion tests for finding all solutions of nonlinear equations, Interval iterations for including a set of solutions, Enclosing methods in perturbed nonlinear operator equations, Solving the linear interval tolerance problem for weight initialization of neural networks, Interval linear systems with symmetric matrices, skew-symmetric matrices and dependencies in the right hand side

Uses Software

• ALGOL 60

Cites Work

• Die vollautomatische Berechnung einer einfachen Nullstelle von \(F(t) = 0\) einschließlich einer Fehlerabschätzung
• The algorithmic language Triplex-ALGOL 60
• Grundlagen einer Maschinenintervallarithmetik
• Approximation der erweiterten Intervallarithmetik durch die einfache Maschinenintervallarithmetik
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item