Presentation of a highly tuned multithreaded interval solver for underdetermined and well-determined nonlinear systems. Empirical evaluation of innovations

DOI10.1007/S11075-015-9980-YMaRDI QIDQ907591zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Bartłomiej Jacek Kubica

Publication date 25 January 2016

Published in Numerical Algorithms (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s11075-015-9980-y

zbMATH Keywords

heuristicsnumerical experimentsystems of nonlinear equationsinterval methodslow-discrepancy sequencesbisectionbranch-and-prune algorithminitial exclusion phasemultithreaded computations

Mathematics Subject Classification ID

Numerical computation of solutions to systems of equations (65H10) Interval and finite arithmetic (65G30)

Recommendations

• On the combination of interval constraint solvers
• scientific article; zbMATH DE number 1543278
• A generalisation of the interval Newton single-step method for nonlinear systems of equations
• Empirical Evaluation of Innovations in Interval Branch and Bound Algorithms for Nonlinear Systems
• On the application of certain interval iteration methods to solving a system of nonlinear algebraic equations

Cites work

• scientific article; zbMATH DE number 4062487 (Why is no real title available?)
• scientific article; zbMATH DE number 2035082 (Why is no real title available?)
• A constraint satisfaction approach to a circuit design problem
• A hybrid subdivision strategy for result-verifying nonlinear solvers
• A reinforcement learning approach to interval constraint propagation
• Algorithm 852
• An improved interval linearization for solving nonlinear problems
• An interval linear tolerance problem
• Computation of Critical Boundaries on Equilibrium Manifolds
• Experiments using interval analysis for solving a circuit design problem
• Inner and Outer Approximations of Existentially Quantified Equality Constraints
• Interval-based projection method for under-constrained numerical systems
• Progress in the solving of a circuit design problem
• Rigorous global search: continuous problems
• Solution of underdetermined nonlinear equations by stationary iteration methods

Cited in

(1)

• Algorithmic differentiation and hull-consistency enforcing using C++ template meta-programming

Describes a project that uses

Uses Software

• RealPaver
• GLPK
• INTOPT_90
• OpenBLAS
• Intel TBB

This page was built for publication: Presentation of a highly tuned multithreaded interval solver for underdetermined and well-determined nonlinear systems. Empirical evaluation of innovations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q907591)