• INTLAB

  • Referenced in 446 articles [sw04004]
  • unconstrained optimization) roots of univariate and multivariate nonlinear equations (simple and clusters) eigenvalue problems (simple ... 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...
  • RealPaver

  • Referenced in 51 articles [sw04401]
  • solving nonlinear and nonconvex constraint satisfaction and optimization problems over the real numbers. The decision ... defined by analytical expressions involving usual arithmetic operations and transcendental elementary functions. Rigourousness: Realpaver covers...
  • 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...
  • IBEX

  • Referenced in 12 articles [sw11947]
  • library for constraint processing over real numbers. It provides reliable algorithms for handling non-linear ... 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...
  • EFSMT

  • Referenced in 2 articles [sw19487]
  • distributed and embedded real-time systems for controlling, often in a nonlinear way, the environment ... propositional combinations over constraints (including nonlinear arithmetic), as the logical framework and foundation for analyzing...
  • ATCase

  • Referenced in 0 articles [sw25243]
  • provided. Concretely, for the difficulty of solving nonlinear constrains aspect, low-rank moment matrix recover ... interval arithmetic at the computation procedure to provide an interval containing the real root ... ATCase are the algorithm of computing real solutions of polynomial constraints, the interval analysis ... tool KLEE-FP. Experiments on 22 complicated real programs in open source projects show that...
  • ATLAS

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

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

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

  • Referenced in 13 articles [sw00089]
  • Algorithm 812: BPOLY: An object-oriented library of...
  • cdd

  • Referenced in 112 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • CGAL

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

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

  • Referenced in 59 articles [sw00144]
  • CoCoALib: A C++ library for computations in commutative...
  • Coq

  • Referenced in 1845 articles [sw00161]
  • Coq is a formal proof management system. It...
  • CSDP

  • Referenced in 200 articles [sw00169]
  • CSDP, A C Library for Semidefinite Programming. This...
  • C-XSC

  • Referenced in 110 articles [sw00181]
  • C-XSC. A programming environment for verified scientific...
  • C-XSC 2.0

  • Referenced in 126 articles [sw00182]
  • A C++ class library for extended scientific computing...
  • Dafny

  • Referenced in 70 articles [sw00183]
  • Dafny is an imperative object-based language with...
  • FGb

  • Referenced in 245 articles [sw00286]
  • FGb/Gb libraryGb is a program (191 420 lines...