• RTNI

  • Referenced in 4 articles [sw28081]
  • networks containing multiple Haar-distributed 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 sum-of-squares (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 large-scale 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...