• iRRAM

  • Referenced in 43 articles [sw08769]
  • capabilities range from ordinary arithmetic over trigonometric functions to linear algebra even with sparse matrices...
  • Cassowary

  • Referenced in 11 articles [sw36189]
  • Cassowary linear arithmetic constraint solving algorithm. Linear equality and inequality constraints arise naturally in specifying...
  • Spacer

  • Referenced in 12 articles [sw19496]
  • best BDD-based algorithms. For Linear Arithmetic (integers and rationals), we give an efficient instantiation...
  • ABsolver

  • Referenced in 11 articles [sw21360]
  • single engine to possibly solve all mixed arithmetic and Boolean problems using standard tools, such ... primary intend was to tackle linear arithmetic, the extensible architecture proved useful as we added...
  • LIRA

  • Referenced in 8 articles [sw21270]
  • LIRA: Handling constraints of linear arithmetics over the integers and the reals. The mechanization ... techniques for first-order logics with linear arithmetic, namely...
  • Beaver

  • Referenced in 10 articles [sw00071]
  • including signed and unsigned non-linear arithmetic operators. Beaver is specially adapted for solving ... linear constraints such as path feasibility queries), security (rich in nonlinear arithmetic) and equivalence checking...
  • LISP-STAT

  • Referenced in 117 articles [sw01111]
  • Common Lisp. Lisp-Stat extends standard Lisp arithmetic operations to perform element-wise operations ... adds a variety of basic statistical and linear algebra functions. A portable window system interface...
  • Kira

  • Referenced in 20 articles [sw34816]
  • additional algorithm based on modular arithmetic to remove linearly dependent equations from the system...
  • Z3str3

  • Referenced in 9 articles [sw30519]
  • regular-expression membership predicates, and linear arithmetic over the length functions. Z3str3 is now part...
  • Tecton

  • Referenced in 9 articles [sw28905]
  • generalization inference mechanisms, along with a linear arithmetic decision procedure. Further development of the system...
  • INTLIB

  • Referenced in 29 articles [sw00444]
  • involving interval arithmetic. The model is the BLAS package, for basic linear algebra operations...
  • HolonomicFunctions

  • Referenced in 57 articles [sw06666]
  • linear recurrences, q-difference equations, and mixed linear equations that a given function satisfies. Summation ... arithmetic with mixed difference-differential operators), noncommutative Gröbner bases, and solving of coupled linear systems...
  • CalCS

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

  • Referenced in 13 articles [sw08528]
  • objective functions in the theory of linear real arithmetic (LRA). Given a formula...
  • CS-Prolog

  • Referenced in 7 articles [sw00171]
  • shown by example of solving linear arithmetic equations. CS-PROLOG uses four rules: variable elimination...
  • SMT-RAT

  • Referenced in 19 articles [sw13091]
  • solving quantifier-free (non)linear real and integer arithmetic...
  • Salsa

  • Referenced in 5 articles [sw25430]
  • constraint solver for integer linear arithmetic, for discharging the verification conditions. The user interface...
  • SPECTRA

  • Referenced in 8 articles [sw17619]
  • Maple library for solving linear matrix inequalities in exact arithmetic, This document briefly describes ... Real Algebra. It solves linear matrix inequalities in exact arithmetic and it is targeted...
  • SMTCoq

  • Referenced in 7 articles [sw32310]
  • vectors, functional arrays with extensionality, linear integer arithmetic, and uninterpreted function symbols...
  • Flow*

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