• INTLAB

  • Referenced in 416 articles [sw04004]
  • nonlinear equations) Hessians (for global optimization) Taylor series for univariate functions automatic slopes (sequential approach ... inclusions) accurate summation, dot product and matrix-vector residuals (interpreted, reference implementation, slow) multiple precision...
  • Maxima

  • Referenced in 149 articles [sw00560]
  • numerical expressions, including differentiation, integration, Taylor series, Laplace transforms, ordinary differential equations, systems of linear ... equations, polynomials, and sets, lists, vectors, matrices, and tensors. Maxima yields high precision numeric results...
  • ADOL-C

  • Referenced in 226 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • ANSYS

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

  • Referenced in 308 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • Bi-CG

  • Referenced in 34 articles [sw00076]
  • Bi-CG: An effective solver for three fields...
  • CoCoA

  • Referenced in 617 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

  • Referenced in 1764 articles [sw00161]
  • Coq is a formal proof management system. It...
  • C-XSC 2.0

  • Referenced in 123 articles [sw00182]
  • A C++ class library for extended scientific computing...
  • Expokit

  • Referenced in 173 articles [sw00258]
  • Expokit provides a set of routines aimed at...
  • GAP

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

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

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

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

  • Referenced in 31 articles [sw00442]
  • Algorithm 681: INTBIS, a portable interval Newton/bisection package...
  • ITPACK

  • Referenced in 47 articles [sw00459]
  • The ITPACK project: Past, present, and future The...
  • ITSM

  • Referenced in 16 articles [sw00461]
  • ITSM (Interactive Time Series Modelling) 6.0 is an...
  • LAPACK

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

  • Referenced in 1623 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Magma

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