• PHCpack

  • Referenced in 236 articles [sw00705]
  • Algorithm 795: PHCpack: A general-purpose solver for polynomial systems by homotopy continuation. Polynomial systems...
  • MINION

  • Referenced in 53 articles [sw10176]
  • MINION is a new constraint solver, which is very fast and scales well as problem ... constraint solving. MINION is a general-purpose constraint solver, with an expressive input language based...
  • DSDP5

  • Referenced in 30 articles [sw04411]
  • available under an open source license. The solver can be used as a subroutine library ... developed into an efficient and robust general-purpose solver for semidefinite programming. Its features include...
  • SCIP-Jack

  • Referenced in 16 articles [sw18748]
  • SCIP-Jack — a solver for STP and variants with parallelization extensions. The Steiner tree problem ... contrast, this paper introduces a general-purpose solver that can be used to solve both...
  • PFNRN

  • Referenced in 11 articles [sw05174]
  • test problems with that of the general-purpose solvers MINOS, SNOPT, LANCELOT and LOQO. Numerical...
  • SAMCEF

  • Referenced in 15 articles [sw10385]
  • SAMCEF is LMS Samtech’s general-purpose analysis solver suite. It is based...
  • PETSc/TS

  • Referenced in 20 articles [sw41126]
  • PETSc linear and nonlinear solver package, a new general-purpose, extensive, extensible library for solving ... modest-sized problems. The library includes explicit solvers, implicit solvers, and a collection of implicit...
  • KYPD

  • Referenced in 7 articles [sw05126]
  • KYPD: a solver for semidefinite programs derived from the Kalman-Yakubovich-Popov lemma Semidefinite programs ... hard or impossible to solve with general-purpose solvers. KYPD is a customized solver...
  • IDSOLVER

  • Referenced in 4 articles [sw16824]
  • IDSOLVER: a general purpose solver for nth-order integro-differential equations. Many mathematical models ... there is a paucity of general-purpose numerical solvers that free the user from additional ... tasks. Here we present a general-purpose MATLAB ® solver that has the above features...
  • Palabos

  • Referenced in 30 articles [sw06451]
  • Palabos library is a framework for general-purpose computational fluid dynamics (CFD), with a kernel ... models. Palabos stands for Parallel Lattice Boltzmann Solver...
  • Bellerophon

  • Referenced in 4 articles [sw23943]
  • maximize the benefit of automated solvers and general-purpose heuristic proof search. Our presentation begins...
  • BRTSim

  • Referenced in 2 articles [sw37291]
  • BRTSim, a general-purpose computational solver for hydrological, biogeochemical, and ecosystem dynamics. This paper introduces ... general-purpose multiphase and multi-species liquid, gas and heat flow solver for reaction-advection ... arbitrary equilibrium reactions; and (4) combine solvers for phases and heat flows as well ... process-feedback solvers not currently available in other general-purpose codes. Along with the flexibility...
  • LFTB

  • Referenced in 3 articles [sw02546]
  • memory requirements of existing general-purpose SDP solvers by a factor of O(n). Thus...
  • HSL_MI28

  • Referenced in 15 articles [sw13376]
  • limited memory, high-quality yet sparse general-purpose preconditioners are obtained. Comparisons are made with ... with a state-of-the-art direct solver...
  • PHCpack

  • Referenced in 3 articles [sw12154]
  • interface to PHCpack, a general-purpose polynomial system solver that uses homotopy continuation. The main...
  • Alloy*

  • Referenced in 5 articles [sw20736]
  • Alloy*: a general-purpose higher-order relational constraint solver. The last decade has seen...
  • SensPVODE

  • Referenced in 4 articles [sw12854]
  • SensPVODE and PVODE are general-purpose ordinary differential equation (ODE) solvers for stiff and nonstiff...
  • cc(FD)

  • Referenced in 18 articles [sw21237]
  • Logic Programming (CLP) scheme [21]. Its constraint solver includes (nonlinear) arithmetic constraints over natural numbers ... inclusion of a number of general-purpose combinators, in particular cardinality, constructive disjunction, and blocking...
  • MatrixPro-GSS

  • Referenced in 1 article [sw18732]
  • first true general-purpose GPU-accelerated sparse matrix linear solver and can handle symmetric ... sparse matrices with ease. The MatrixPro-GSS solver has been successfully used by Crosslight Software ... accelerate their custom non-linear Newton solver. Crosslight has since been granted an exclusive license ... other industries as a general-purpose GPU-accelerated direct sparse solver...
  • sparseLM

  • Referenced in 5 articles [sw04810]
  • sparse linear solvers, this paper provides an overview of sparseLM, a general-purpose software package...