
AGES
 Referenced in 2 articles
[sw32284]
 sorted firstorder theories. The tool uses linear algebra techniques to associate finite or infinite ... means of piecewise interpretations with matrixbased expressions and inequalities. Relations interpreting binary predicates...

PermonQP
 Referenced in 4 articles
[sw16718]
 unconstrained QP problems (i.e. linear systems with a positive semidefinite matrix) or equality constrained ones ... matrix. PermonQP capabilities can be further extended by using PermonIneq (algorithms for solution of inequality...

ACRITHXSC
 Referenced in 49 articles
[sw00015]
 ACRITHXSC is a Fortranlike programming language...

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

ANSYS
 Referenced in 650 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

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

AXIOM
 Referenced in 170 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

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

CoCoA
 Referenced in 612 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

complib
 Referenced in 30 articles
[sw00149]
 COMPlib: COnstraint matrixoptimization problem library–a collection...

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

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

CXSC
 Referenced in 106 articles
[sw00181]
 CXSC. A programming environment for verified scientific...

CXSC 2.0
 Referenced in 123 articles
[sw00182]
 A C++ class library for extended scientific computing...

Diffpack
 Referenced in 111 articles
[sw00203]
 As modern programming methodologies migrate from computer science...

EIGIFP
 Referenced in 39 articles
[sw00235]
 eigifp is a MATLAB program for computing a...

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

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

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

gfun
 Referenced in 130 articles
[sw00344]
 The gfun package provides tools for determining and...