
Esterel
 Referenced in 165 articles
[sw20012]
 compiler which translates Esterel programs into finitestate machines. It is one of a family ... based verification tools that perform either bisimulation reduction or safety property checking. Esterel ... been chosen by the Polis group as one of their input languages for their hardware/software...

symmetry
 Referenced in 3 articles
[sw14839]
 finite groups; fundamental invariants and equivariants for continuous groups; invariants for torus group action; orbit ... space reduction; buildin knowledge of finite groups and compact Lie groups; algebraic groups; Derksen...

ADOLC
 Referenced in 249 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

ATLAS
 Referenced in 199 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

BARON
 Referenced in 354 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

cdd
 Referenced in 115 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

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...

Coq
 Referenced in 1880 articles
[sw00161]
 Coq is a formal proof management system. It...

CSDP
 Referenced in 202 articles
[sw00169]
 CSDP, A C Library for Semidefinite Programming. This...

Cuba
 Referenced in 76 articles
[sw00173]
 Cuba  a library for multidimensional numerical integration. The...

Expokit
 Referenced in 198 articles
[sw00258]
 Expokit provides a set of routines aimed at...

FeynHiggs
 Referenced in 44 articles
[sw00282]
 FeynHiggs: a program for the calculation of MSSM...

FFLASFFPACK
 Referenced in 26 articles
[sw00283]
 FFPACK: finite field linear algebra package. The FFLAS...

FGb
 Referenced in 247 articles
[sw00286]
 FGb/Gb libraryGb is a program (191 420 lines...

finvar.lib
 Referenced in 2 articles
[sw00291]
 finvar.lib. A Singular 2.0 library for computing invariant...

GAP
 Referenced in 3154 articles
[sw00320]
 GAP is a system for computational discrete algebra...

GAUSS
 Referenced in 119 articles
[sw00322]
 The GAUSS Mathematical and Statistical System is a...

GeM
 Referenced in 97 articles
[sw00332]
 We present a recently developed Maplebased “GeM...

gmp
 Referenced in 282 articles
[sw00363]
 GMP is a free library for arbitrary precision...