• ALPO

  • Referenced in 10 articles [sw00035]
  • This paper describes an implementation of the one...
  • BARON

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

  • Referenced in 41 articles [sw00088]
  • BPMPD is a state-of-the-art implementation...
  • CASA

  • Referenced in 105 articles [sw00108]
  • CASA is a special-purpose system for computational...
  • CGAL

  • Referenced in 384 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CoCoA

  • Referenced in 654 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • COLAMD

  • Referenced in 32 articles [sw00145]
  • Two codes are discussed, COLAMD and SYMAMD, that...
  • Coq

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

  • Referenced in 57 articles [sw00274]
  • COMSOL Multiphysics, vormals FEMLAB, ist eine Software zur...
  • FLIPS

  • Referenced in 7 articles [sw00299]
  • FLIPS (Fortran Linear Inverse Problem Solver) is a...
  • GAP

  • Referenced in 3154 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Gerris

  • Referenced in 313 articles [sw00341]
  • Gerris is a Free Software program for the...
  • GLOB

  • Referenced in 37 articles [sw00357]
  • GLOB -- a new VNS-based software for global...
  • gmp

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

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

  • Referenced in 3 articles [sw00449]
  • The design principles of the IPMLO, a modularly...
  • Isabelle

  • Referenced in 698 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • LANCELOT

  • Referenced in 306 articles [sw00500]
  • LANCELOT. A Fortran package for large-scale nonlinear...
  • LAPACK

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