• INTLAB

  • Referenced in 407 articles [sw04004]
  • unconstrained optimization) roots of univariate and multivariate nonlinear equations (simple and clusters) eigenvalue problems (simple ... univariate polynomial zeros (simple and clusters) interval arithmetic for real and complex data including vectors ... matrices (very fast) interval arithmetic for real and complex sparse matrices (very fast) automatic differentiation ... computations, fast) Gradients (to solve systems of nonlinear equations) Hessians (for global optimization) Taylor series...
  • cc(FD)

  • Referenced in 17 articles [sw21237]
  • scheme [21]. Its constraint solver includes (nonlinear) arithmetic constraints over natural numbers which are approximated...
  • Beaver

  • Referenced in 9 articles [sw00071]
  • including signed and unsigned non-linear arithmetic operators. Beaver is specially adapted for solving ... path feasibility queries), security (rich in nonlinear arithmetic) and equivalence checking (rich Boolean structure...
  • INTOPT_90

  • Referenced in 304 articles [sw04705]
  • first chapter (69 pages) introduces interval arithmetic, solving linear interval equations, automatic differentiation and code ... tighter solution intervals. The chapter about solving nonlinear systems of equations (23 pages) features...
  • RealPaver

  • Referenced in 50 articles [sw04401]
  • optimization. Problems: Realpaver allows modeling and solving nonlinear and nonconvex constraint satisfaction and optimization problems ... defined by analytical expressions involving usual arithmetic operations and transcendental elementary functions. Rigourousness: Realpaver covers...
  • EFSMT

  • Referenced in 2 articles [sw19487]
  • propositional combinations over constraints (including nonlinear arithmetic), as the logical framework and foundation for analyzing ... BIBO stability, Lyapunov coefficient finding for nonlinear control systems, distributed priority synthesis for orchestrating system ... solver uses Bernstein polynomials for solving nonlinear arithmetic constraints...
  • LISP-STAT

  • Referenced in 115 articles [sw01111]
  • Common Lisp. Lisp-Stat extends standard Lisp arithmetic operations to perform element-wise operations ... statistical model representations, such as linear and nonlinear regression models and generalized linear models. Many...
  • JBernstein

  • Referenced in 2 articles [sw19486]
  • constraints. Efficient and scalable verification of nonlinear real arithmetic constraints is essential in many automated ... issues with classical decision procedures for nonlinear real arithmetic are still a major obstacle...
  • Bellerophon

  • Referenced in 1 article [sw23943]
  • discovering and establishing invariants of nonlinear continuous systems, arithmetic simplifications to maximize the benefit...
  • IBEX

  • Referenced in 12 articles [sw11947]
  • based on interval arithmetic and affine arithmetic. The main feature of Ibex is its ability ... each solution of a system of (nonlinear) equations is calculated. Global optimization. A global minimizer...
  • Intsolver

  • Referenced in 3 articles [sw08787]
  • functions based on interval arithmetic to solve small size global optimization problems with guaranteed bounds ... used to bound ALL solutions of nonlinear optimization problem, equality constrained or not as well...
  • VS2DT

  • Referenced in 2 articles [sw08695]
  • Freundlich or Langmuir) isotherms, and ion exchange. Nonlinear storage terms are linearized by an implicit ... cell boundaries using full upstream weighting, arithmetic mean or geometric mean. Saturated hydraulic conductivities...
  • DYNROT

  • Referenced in 2 articles [sw02656]
  • study of non-stationary motions of nonlinear rotating systems and for the torsional analysis ... symmetric systems. Makes extensive use of complex arithmetics in all parts of the analysis. Applies...
  • ORT1

  • Referenced in 1 article [sw16624]
  • noise is presented. The problem of calibrating nonlinear measuring devices may be considered ... high-degree fits in single-precision arithmetics; (b) fast and accurate telescoping of orthonormal polynomial...
  • DEQuadrature

  • Referenced in 1 article [sw12625]
  • semi-infinite and infinite domains in arithmetic up to and including BigFloat; and, to provide ... Julia package Ipopt for solving the nonlinear program...
  • ATCase

  • Referenced in 0 articles [sw25243]
  • provided. Concretely, for the difficulty of solving nonlinear constrains aspect, low-rank moment matrix recover ... computation, we make good use of interval arithmetic at the computation procedure to provide ... KLEE-FP, especially in case of complex nonlinear constraints...
  • ADOL-C

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

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

  • Referenced in 169 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...