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

DOI10.1007/s11075-015-9980-yzbMath1332.65069OpenAlexW306081428WikidataQ59408481 ScholiaQ59408481MaRDI QIDQ907591

Bartłomiej Jacek Kubica

Publication date: 25 January 2016

Published in: Numerical Algorithms (Search for Journal in Brave)

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

zbMATH Keywords

heuristicsnumerical experimentsystems of nonlinear equationslow-discrepancy sequencesinterval methodsbranch-and-prune algorithmbisectioninitial exclusion phasemultithreaded computations

Mathematics Subject Classification ID

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

Related Items (1)

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

Uses Software

• RealPaver
• GLPK
• INTOPT_90
• OpenBLAS
• Intel TBB

Cites Work

• Interval-based projection method for under-constrained numerical systems
• A reinforcement learning approach to interval constraint propagation
• Solution of underdetermined nonlinear equations by stationary iteration methods
• A constraint satisfaction approach to a circuit design problem
• Experiments using interval analysis for solving a circuit design problem
• Rigorous global search: continuous problems
• An improved interval linearization for solving nonlinear problems
• An interval linear tolerance problem
• A Hybrid Subdivision Strategy for Result-Verifying Nonlinear Solvers
• Inner and Outer Approximations of Existentially Quantified Equality Constraints
• Algorithm 852
• Computation of Critical Boundaries on Equilibrium Manifolds
• Progress in the solving of a circuit design problem
• Unnamed Item
• Unnamed Item

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