• Beaver

  • Referenced in 10 articles [sw00071]
  • including signed and unsigned non-linear arithmetic operators. Beaver is specially adapted for solving...
  • CalCS

  • Referenced in 8 articles [sw13098]
  • require reasoning about Boolean combinations of non-linear arithmetic constraints over the real numbers ... satisfiability solving of Boolean combinations of non-linear constraints that are convex. Our approach applies...
  • Flow*

  • Referenced in 27 articles [sw20162]
  • non-linear (polynomial) hybrid systems. Flow* combines well-known Taylor model arithmetic techniques for guaranteed ... performance on a series of non-linear continuous and hybrid system benchmarks. Our comparisons show...
  • ABsolver

  • Referenced in 11 articles [sw21360]
  • tackle linear arithmetic, the extensible architecture proved useful as we added non-linear solvers...
  • Benchmarks

  • Referenced in 25 articles [sw04612]
  • non-linear hybrid systems. We start from a classical method that uses interval arithmetic...
  • SONOLAR

  • Referenced in 2 articles [sw26291]
  • SONOLAR, the Solver for non-linear Arithmetic, is an SMT-Solver that solves quantifier-free...
  • IBEX

  • Referenced in 12 articles [sw11947]
  • provides reliable algorithms for handling non-linear constraints. In particular, roundoff errors are also taken ... based on interval arithmetic and affine arithmetic. The main feature of Ibex is its ability ... global minimizer of some function under non-linear constraints is calculated with guaranteed bounds...
  • iSAT3

  • Referenced in 1 article [sw31001]
  • Those constraints may contain linear and non-linear arithmetic as well as transcendental functions. iSAT3...
  • Picoso

  • Referenced in 1 article [sw11455]
  • boolean combinations of linear and non-linear arithmetic constraints; Based on master/client model; Communication...
  • FaCiLe

  • Referenced in 4 articles [sw31028]
  • manipulate finite domain variables, arithmetic expressions and constraints (possibly non-linear), built-in global constraints...
  • PRECISE

  • Referenced in 7 articles [sw12581]
  • evaluation involve computation and manipulation of non-linear algebraic primitives like curves and surfaces ... with the underlying number representation, precision-driven arithmetic and all the algorithms are implemented...
  • XSat

  • Referenced in 2 articles [sw26290]
  • Modulo Theory (SMT) problem over floating-point arithmetic is a major hurdle in applying ... into difficulties when solving complex, non-linear floating-point constraints. This paper proposes ... solvers that support floating-point arithmetic. Evaluated on 34 representative benchmarks from the SMT-Competition...
  • PolyPaver

  • Referenced in 3 articles [sw08771]
  • specification can feature inclusions between interval arithmetic expressions. Second, the integral operator from classical analysis ... based on automatic polynomial approximation of non-linear real and real-interval functions defined...
  • ADOL-C

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

  • Referenced in 283 articles [sw00060]
  • ACL2 is both a programming language in which...
  • AXIOM

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

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