Pages that link to "Item:Q2536416"
From MaRDI portal
The following pages link to Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken (Q2536416):
Displaying 50 items.
- Interval branch-and-bound algorithms for optimization and constraint satisfaction: a survey and prospects (Q312490) (← links)
- A certified numerical algorithm for the topology of resultant and discriminant curves (Q346543) (← links)
- An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination (Q384995) (← links)
- Verified error bounds for isolated singular solutions of polynomial systems: case of breadth one (Q385011) (← links)
- Fast enclosure for solutions of Sylvester equations (Q389546) (← links)
- Solvers for the verified solution of parametric linear systems (Q411424) (← links)
- Verified stability analysis of continuous-time control systems with bounded parameter uncertainties and stochastic disturbances (Q411428) (← links)
- Interval boundary element method in the presence of uncertain boundary conditions, integration errors, and truncation errors (Q443452) (← links)
- A heuristic verification of the degree of the approximate GCD of two univariate polynomials (Q466858) (← links)
- Fast enclosure for a matrix inverse square root (Q477751) (← links)
- Fast verified computation for solutions of continuous-time algebraic Riccati equations (Q495857) (← links)
- A new hybrid algorithm based on chaotic maps for solving systems of nonlinear equations (Q508518) (← links)
- An interval Newton method (Q594544) (← links)
- Generalized iteration methods for bounds of the solution of fixed point operator-equations (Q598779) (← links)
- Computational existence proofs for spherical \(t\)-designs (Q623336) (← links)
- Verified error bounds for solutions of Sylvester matrix equations (Q651215) (← links)
- Worst case bounds on the point-wise discretization error in boundary element method for the elasticity problem (Q658285) (← links)
- Verified error bounds for eigenvalues of geometric multiplicity \(q\) and corresponding invariant subspaces (Q684197) (← links)
- LP narrowing: A new strategy for finding all solutions of nonlinear equations (Q732502) (← links)
- Period doubling in the Rössler system -- a computer assisted proof (Q734133) (← links)
- Verified error bounds for singular solutions of nonlinear systems (Q747729) (← links)
- An interval algorithm for solving systems of linear equations to prespecified accuracy (Q760758) (← links)
- Centered forms and interval operators (Q760761) (← links)
- New techniques for the analysis of linear interval equations (Q762881) (← links)
- Interval linear systems with symmetric matrices, skew-symmetric matrices and dependencies in the right hand side (Q806948) (← links)
- Certification for polynomial systems via square subsystems (Q820969) (← links)
- Central configurations in the spatial \(n\)-body problem for \(n=5,6\) with equal masses (Q828900) (← links)
- Application of the Krawczyk-Moore-Jones algorithm to electric circuit analysis and its further development (Q849173) (← links)
- Fast verified solutions of linear systems (Q849174) (← links)
- Verified numerical computation for nonlinear equations (Q849180) (← links)
- Numerical existence proof of five solutions for certain two-transistor circuit equations (Q849185) (← links)
- Computer algebra for guaranteed accuracy. How does it help? (Q849196) (← links)
- Parallel interval Newton-like Schwarz methods for almost linear parabolic problems (Q861926) (← links)
- Solving interval constraints by linearization in computer-aided design (Q868685) (← links)
- Central configurations of the five-body problem with equal masses (Q1038762) (← links)
- Interval iterations for including a set of solutions (Q1054119) (← links)
- Enclosing methods in perturbed nonlinear operator equations (Q1054123) (← links)
- Conditionally isotone interval operators (Q1092615) (← links)
- A class of componentwise Krawczyk-Moore type iteration methods (Q1120252) (← links)
- Guaranteed inclusions for the complex generalized eigenproblem (Q1122940) (← links)
- Determination of minimum sets of the set of zeros of a function (Q1133886) (← links)
- Order-convergence and iterative interval methods (Q1138351) (← links)
- Global optimization using interval analysis - the multi-dimensional case (Q1143755) (← links)
- Interval extensions and interval iterations (Q1146503) (← links)
- Interval boxes of solutions of nonlinear systems (Q1148103) (← links)
- Bounding solutions of systems of equations using interval analysis (Q1150255) (← links)
- E-methods for fixed point equations f(x)=x (Q1158928) (← links)
- Inverting an interval Hessian of a factorable function (Q1161240) (← links)
- Solving nonlinear systems with least significant bit accuracy (Q1164379) (← links)
- Solution of finite systems of equations by interval iteration (Q1164967) (← links)
