
RealPaver
 Referenced in 50 articles
[sw04401]
 feature is to combine several methods from various fields: interval fixedpoint operators, constraint propagation...

SpaceEx
 Referenced in 63 articles
[sw10939]
 with piecewise affine, nondeterministic dynamics. It combines polyhedra and support function representations of continuous ... spaceex.imag.fr. Experimental results of full fixedpoint computations with hybrid systems with more than...

CARS
 Referenced in 12 articles
[sw13525]
 geometric way by specifying their fixedpoints and their multiplier. CARS can show the axis ... written as words of other transformations. Using Combination Theorems, CARS can build Fuchsian groups corresponding...

PGR
 Referenced in 1 article
[sw32854]
 combining components from a library of parametrized arithmetic modules; these modules implement fixedpoint, floating...

PowerForms
 Referenced in 4 articles
[sw01540]
 HTML and JavaScript that works on all combinations of platforms and browsers. The definitions ... clean semantics defined through a fixedpoint process that resolves the interdependencies between all field...

UppSAT
 Referenced in 1 article
[sw26289]
 predefined approximation components which can be combined and extended to define new encodings, orderings ... floatingpoint arithmetic into reduced precision floatingpoint arithmetic, realarithmetic, and fixedpoint arithmetic ... disadvantages of approximating solvers obtained by combining various encodings and decision procedures...

ARfit
 Referenced in 34 articles
[sw00046]
 ARfit is a collection of Matlab modules for...

ACL2
 Referenced in 273 articles
[sw00060]
 ACL2 is both a programming language in which...

LAPACK
 Referenced in 1579 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

LSQR
 Referenced in 340 articles
[sw00530]
 Algorithm 583: LSQR: Sparse Linear Equations and Least...

Magma
 Referenced in 2672 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

MATCONT
 Referenced in 322 articles
[sw00551]
 MATCONT: Matlab software for bifurcation study of dynamical...

Mathematica
 Referenced in 5658 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 11343 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

NAG
 Referenced in 373 articles
[sw00610]
 Produced by experts for use in a variety...

R
 Referenced in 7468 articles
[sw00771]
 R is a language and environment for statistical...

UMFPACK
 Referenced in 323 articles
[sw00989]
 An ANSI C code for sparse LU factorization...

APL
 Referenced in 72 articles
[sw01165]
 APL (named after the book A Programming Language...

ADINA
 Referenced in 127 articles
[sw01175]
 ADINA R&D, Inc. was founded in 1986...