• hlib

  • Referenced in 68 articles [sw04080]
  • contains functions for H- and H2-matrix arithmetics, the treatment of partial differential equations ... numerical quadrature. This is a work in progress, so there may be undiscovered errors...
  • ENDRE

  • Referenced in 1 article [sw11429]
  • analogs of Szemeredi’s theorem about arithmetic progressions. It accompanies Paul Raff and Doron Zeilberger ... theorem about the inevitability of arithmetical progressions. Here we try to nibble...
  • NINJA

  • Referenced in 37 articles [sw02398]
  • such as Fortran and C. Although much progress has been made, and Java ... Java also has difficulties in implementing complex arithmetic efficiently. These performance deficiencies can be attacked...
  • SMT-RAT

  • Referenced in 18 articles [sw13091]
  • quantifier-free (non)linear real and integer arithmetic ... UFLIA, QF_UFNRA, QF_UFNIA) are in progress...
  • PolyPaver

  • Referenced in 3 articles [sw08771]
  • specification can feature inclusions between interval arithmetic expressions. Second, the integral operator from classical analysis ... PolyPaver in proving tight functional specifications of progressively larger randomly generated programs...
  • GAP

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

  • Referenced in 19 articles [sw00359]
  • GLOPT is a Fortran 77 program for global...
  • KNITRO

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

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

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

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

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

  • Referenced in 12 articles [sw00548]
  • March_eq: Implementing additional reasoning into an efficient...
  • Mathematica

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

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

  • Referenced in 536 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • NAG

  • Referenced in 417 articles [sw00610]
  • Produced by experts for use in a variety...
  • NTL

  • Referenced in 202 articles [sw00638]
  • NTL is a high-performance, portable C++ library...
  • PARI/GP

  • Referenced in 595 articles [sw00680]
  • PARI/GP is a widely used Computer Algebra System...
  • PHCpack

  • Referenced in 216 articles [sw00705]
  • Algorithm 795: PHCpack: A general-purpose solver for...