- Referenced in 2 articles
- sorted first-order theories. The tool uses linear algebra techniques to associate finite or infinite ... means of piecewise interpretations with matrix-based expressions and inequalities. Relations interpreting binary predicates...
- Referenced in 4 articles
- 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...
- Referenced in 49 articles
- ACRITH-XSC is a Fortran-like programming language...
- Referenced in 225 articles
- ADOL-C: Automatic Differentiation of C/C++. We present...
- Referenced in 650 articles
- ANSYS offers a comprehensive software suite that spans...
- Referenced in 275 articles
- ACL2 is both a programming language in which...
- Referenced in 170 articles
- Axiom is a general purpose Computer Algebra system...
- Referenced in 307 articles
- BARON is a computational system for solving nonconvex...
- Referenced in 612 articles
- CoCoA is a system for Computations in Commutative...
- Referenced in 30 articles
- COMPlib: COnstraint matrix-optimization problem library–a collection...
- Referenced in 1760 articles
- Coq is a formal proof management system. It...
- Referenced in 195 articles
- CSDP, A C Library for Semidefinite Programming. This...
- Referenced in 106 articles
- C-XSC. A programming environment for verified scientific...
- Referenced in 123 articles
- A C++ class library for extended scientific computing...
- Referenced in 111 articles
- As modern programming methodologies migrate from computer science...
- Referenced in 39 articles
- eigifp is a MATLAB program for computing a...
- Referenced in 239 articles
- FGb/Gb libraryGb is a program (191 420 lines...
- Referenced in 2738 articles
- GAP is a system for computational discrete algebra...
- Referenced in 114 articles
- The GAUSS Mathematical and Statistical System is a...
- Referenced in 130 articles
- The gfun package provides tools for determining and...