• Fast-DENSER

  • Referenced in 1 article [sw38583]
  • DENSER) and is capable of simultaneously optimising the topology, learning strategy and any other required...
  • NEST

  • Referenced in 2 articles [sw14950]
  • metric optimisation, resilience optimisation (backup LSPs, fast Reroute LSPs), dimensioning, topology design. QoS Design with...
  • NanoCap

  • Referenced in 0 articles [sw20065]
  • optimal dual graph topologies which are subsequently optimised using a carbon interatomic potential. Combining this...
  • SHGO

  • Referenced in 1 article [sw26954]
  • global optimisation algorithm based on applications of simplicial integral homology and combinatorial topology. SHGO approximates ... solving higher dimensional black and grey box optimisation problems. This complex is built up using...
  • ParMAC

  • Referenced in 0 articles [sw15226]
  • model into independent submodels. This decomposes the optimisation into steps that alternate between training single ... cluster of processing machines with a circular topology and alternates two steps until convergence...
  • ANSYS

  • Referenced in 685 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • BARON

  • Referenced in 339 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • Coq

  • Referenced in 1856 articles [sw00161]
  • Coq is a formal proof management system. It...
  • gmp

  • Referenced in 275 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • Gmsh

  • Referenced in 690 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...
  • HSL

  • Referenced in 275 articles [sw00418]
  • HSL (formerly the Harwell Subroutine Library) is a...
  • KNITRO

  • Referenced in 191 articles [sw00490]
  • KNITRO is a solver for nonlinear optimization. It...
  • LAPACK

  • Referenced in 1677 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • LEDA

  • Referenced in 262 articles [sw00509]
  • In the core computer science areas -- data structures...
  • LSQR

  • Referenced in 385 articles [sw00530]
  • Algorithm 583: LSQR: Sparse Linear Equations and Least...
  • MA57

  • Referenced in 89 articles [sw00536]
  • MA57 - a code for the solution of sparse...
  • Magma

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

  • Referenced in 5296 articles [sw00545]
  • The result of over 30 years of cutting...
  • Matlab

  • Referenced in 13100 articles [sw00558]
  • MATLAB® is a high-level language and interactive...