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

SpaceEx
 Referenced in 52 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 11 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...

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 32 articles
[sw00046]
 ARfit is a collection of Matlab modules for...

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

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

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

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

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

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

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

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

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

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

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

ML
 Referenced in 478 articles
[sw01218]
 ML (’Meta Language’) is a generalpurpose functional...

FreeFem++
 Referenced in 739 articles
[sw01436]
 FreeFem++ is an implementation of a language dedicated...