
RTNI
 Referenced in 4 articles
[sw28081]
 networks containing multiple Haardistributed random unitary matrices and deterministic symbolic tensors. Such tensor networks ... random unitaries and edges corresponding to tensor contractions. Input and output spaces of random unitaries ... graphical Weingarten calculus and produces a weighted sum of tensor networks representing the average over...

SparseJSR
 Referenced in 3 articles
[sw40093]
 bounds of the JSR by means of sumofsquares (SOS) programming. Our resulting iterative ... SparseJSR exploits the sparsity of the input matrices to significantly reduce the com putational burden ... compute upper bounds for JSR on randomly generated benchmarks as well as on problems arising...

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

CGAL
 Referenced in 402 articles
[sw00118]
 The goal of the CGAL Open Source Project...

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

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

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

FOXBOX
 Referenced in 17 articles
[sw00307]
 FOXBOX: A system for manipulating symbolic objects in...

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

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

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

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

ISOGAT
 Referenced in 318 articles
[sw00457]
 A tutorial 2D MATLAB code for solving elliptic...

KNITRO
 Referenced in 200 articles
[sw00490]
 KNITRO is a solver for nonlinear optimization. It...

L2CXFT
 Referenced in 9 articles
[sw00498]
 A Fortran subroutine applies the method of {\itI...

LANCELOT
 Referenced in 310 articles
[sw00500]
 LANCELOT. A Fortran package for largescale nonlinear...

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

LEDA
 Referenced in 264 articles
[sw00509]
 In the core computer science areas  data structures...

Macaulay2
 Referenced in 1958 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

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