• INTOPT_90

  • Referenced in 306 articles [sw04705]
  • interval arithmetic, solving linear interval equations, automatic differentiation and code list generation, interval Newton method ... interval scope of the book. A groad chapter (42 pages) about interval software follows. Described ... transform linear interval equations into ones which might have tighter solution intervals. The chapter about ... branch and bound, infeasibility test, interval Newton algorithm applied to the John conditions and computationally...
  • INTBIS

  • Referenced in 31 articles [sw00442]
  • with mathematical certainty. Though based on interval Newton methods, it is self-contained. It allows...
  • intpakX

  • Referenced in 11 articles [sw00445]
  • applications, verified computation of zeroes (Interval Newton Method) with the possibility to find all zeroes ... function on a specified interval, and range enclosure for real-valued functions...
  • Newton

  • Referenced in 6 articles [sw21236]
  • numerical analysis, such as the interval Newton method. Its key conceptual idea is to introduce ... computation cost and generalizes some traditional interval operators. Newton has been applied to numerous applications ... with continuation methods on their equation-solving benchmarks and outperforms the interval-based methods...
  • Intsolver

  • Referenced in 3 articles [sw08787]
  • problems using an implementation of the interval Newton method with a bissection scheme. The capabilities...
  • veDYNA

  • Referenced in 10 articles [sw04237]
  • constraints bounded for arbitrary time intervals. These methods need a fixed low number of operations ... each time step. One simplified Newton step for the projection onto the constraint manifold ... arbitrary time intervals if the stepsize is sufficiently small. Selected methods were successfully implemented...
  • ANewDsc

  • Referenced in 11 articles [sw19984]
  • method combines Descartes? Rule of Signs to test intervals for the existence of roots, Newton ... problem, matching the complexity of Pan’s method for computing all complex roots and improving...
  • SPECY

  • Referenced in 8 articles [sw02852]
  • Newton-Raphson method to linearise the equilibrium chemistry and respect of the chemically allowed interval...
  • ODE-IVP-PACK

  • Referenced in 6 articles [sw09345]
  • PACK via Sinc indefinite integration and Newton’s method. The paper describes a package ... based on Sinc indefinite integration. The numerical method is efficient for a general class ... proved to be stable and convergent. The interval on which a numerical solution is computed...
  • ELF

  • Referenced in 10 articles [sw10280]
  • presented. The codes are based on a Newton-Raphson iteration over the monotonic function ... inside a given interval [x min ,x max ]; for simplicity, we restrict the code GNOME ... real. The method is especially efficient for moderate values of and for small zeros, where...
  • GNOME

  • Referenced in 10 articles [sw10281]
  • presented. The codes are based on a Newton-Raphson iteration over the monotonic function ... inside a given interval [x min ,x max ]; for simplicity, we restrict the code GNOME ... real. The method is especially efficient for moderate values of and for small zeros, where...
  • SONIC

  • Referenced in 4 articles [sw10883]
  • coupled with several different basic interval libraries, it can achieve optimized performance while maintaining ... This work focuses on presenting new efficient methods for the verified solution of nonlinear systems ... known techniques: optimal linear programming preconditioners, extended Newton method, hybrid Newton method with probation approach...
  • CGPOPS

  • Referenced in 1 article [sw35933]
  • mesh refinement methods are implemented that determine the number of mesh intervals and the degree ... approximating polynomial within each mesh interval to achieve a specified accuracy tolerance. The software ... interfaced with the open source Newton NLP solver IPOPT. All derivatives required...
  • qgam

  • Referenced in 1 article [sw40863]
  • additive quantile regression models, fitted using the methods of Fasiolo ... Newton algorithm. The learning rate is determined so that the Bayesian credible intervals...
  • ADOL-C

  • Referenced in 249 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • ATLAS

  • Referenced in 199 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • BARON

  • Referenced in 354 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • CGAL

  • Referenced in 394 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CoCoA

  • Referenced in 654 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...