• CSDP

• Referenced in 202 articles [sw00169]
• CSDP, A C Library for Semidefinite Programming. This...

• C-XSC

• Referenced in 110 articles [sw00181]
• C-XSC. A programming environment for verified scientific...

• C-XSC 2.0

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

• gfun

• Referenced in 144 articles [sw00344]
• The gfun package provides tools for determining and...

• gmp

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

• HURRY

• Referenced in 27 articles [sw00420]
• HURRY: An acceleration algorithm for scalar sequences and...

• INTLIB

• Referenced in 29 articles [sw00444]
• Algorithm 737: INTLIB - a portable Fortran 77 interval...

• LAPACK

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

• LEDA

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

• Magma

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

• Maple

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

• Mathematica

• Referenced in 6355 articles [sw00554]
• Almost any workflow involves computing results, and that...

• Matlab

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

• Maxima

• Referenced in 170 articles [sw00560]
• Maxima is a system for the manipulation of...

• MetiTarski

• Referenced in 52 articles [sw00573]
• Many inequalities involving the functions ln, exp, sin...

• MPFI

• Referenced in 43 articles [sw00597]
• Motivations for an arbitrary precision interval arithmetic and...

• MultRoot

• Referenced in 100 articles [sw00604]
• Algorithm 835: MultRoot - a Matlab package for computing...

• Octave

• Referenced in 304 articles [sw00646]
• GNU Octave is a high-level language, primarily...

• PROFIL/BIAS

• Referenced in 134 articles [sw00733]
• PROFIL (Programmer’s Runtime Optimized Fast Interval Library...

• QEPCAD

• Referenced in 283 articles [sw00752]
• QEPCAD B: A program for computing with semi...