
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 BDDbased 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 firstorder logics with linear arithmetic, namely...

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

LISPSTAT
 Referenced in 117 articles
[sw01111]
 Common Lisp. LispStat extends standard Lisp arithmetic operations to perform elementwise 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]
 regularexpression 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, qdifference equations, and mixed linear equations that a given function satisfies. Summation ... arithmetic with mixed differencedifferential operators), noncommutative Gröbner bases, and solving of coupled linear systems...

CalCS
 Referenced in 8 articles
[sw13098]
 reasoning about Boolean combinations of nonlinear arithmetic constraints over the real numbers. In this ... satisfiability solving of Boolean combinations of nonlinear 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...

CSProlog
 Referenced in 7 articles
[sw00171]
 shown by example of solving linear arithmetic equations. CSPROLOG uses four rules: variable elimination...

SMTRAT
 Referenced in 19 articles
[sw13091]
 solving quantifierfree (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 wellknown Taylor model arithmetic techniques for guaranteed approximations ... performance on a series of nonlinear continuous and hybrid system benchmarks. Our comparisons show...