• INTLAB

  • Referenced in 419 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 50 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 170 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • BARON

  • Referenced in 311 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 110 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • CGAL

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

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

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

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

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

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

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

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

  • Referenced in 2850 articles [sw00320]
  • GAP is a system for computational discrete algebra...