• CUTEr

  • Referenced in 465 articles [sw04010]
  • developers design, compare and improve new and existing solvers. The test problems provided are written ... optimization packages. Ready-to-use interfaces to existing packages, such as MINOS, SNOPT, filterSQP, Knitro...
  • Chaff

  • Referenced in 518 articles [sw06916]
  • both research and industry. Most existing complete solvers are variants of the Davis-Putnam...
  • SemiPar

  • Referenced in 511 articles [sw07116]
  • relations into their regression analyses. Almost all existing regression texts treat either parametric or nonparametric...
  • HLLE

  • Referenced in 412 articles [sw06605]
  • simple but also more advanced exists like using the Roe average velocity for the middle...
  • TPTP

  • Referenced in 291 articles [sw04143]
  • utility to convert the problems to existing ATP systems’ formats. General guidelines outlining the requirements...
  • PVM

  • Referenced in 290 articles [sw04273]
  • CRAYs. PVM enables users to exploit their existing computer hardware to solve much larger problems...
  • INTOPT_90

  • Referenced in 284 articles [sw04705]
  • conditions and computationally executed proofs of the existence of feasible points generalizing Hansen and Walster...
  • LS-DYNA

  • Referenced in 255 articles [sw03068]
  • developer of LS-DYNA, LSTC, continuously recodes existing algorithms and develops more efficient methodologies...
  • MATCONT

  • Referenced in 215 articles [sw00551]
  • package are important. However, most of the existing software all have their...
  • Mfree2D

  • Referenced in 209 articles [sw15725]
  • requirements for users than many of the existing numerical packages. The first version of MFree2D...
  • CUTE

  • Referenced in 166 articles [sw14681]
  • between the SIF and a number of existing packages, including MINOS and OSL. Additionally...
  • ASSAT

  • Referenced in 156 articles [sw02524]
  • terminates with failure if no such M exists). If M is an answer...
  • Isar

  • Referenced in 112 articles [sw04599]
  • range of people. Paradoxically, none of the existing semi-automated reasoning systems have an adequate ... virtue of the Isar/VM interpreter. Compared to existing declarative theorem proving systems (like Mizar), Isar...
  • SUNDIALS

  • Referenced in 146 articles [sw00927]
  • solvers that can easily be incorporated into existing simulation codes. The primary design goals were...
  • E Theorem Prover

  • Referenced in 141 articles [sw10187]
  • form “there exists an X with property P”), the latest versions can also provide possible...
  • MPFR

  • Referenced in 136 articles [sw03312]
  • function for MPFR or improved an existing one, please share your work...
  • OpenFOAM

  • Referenced in 136 articles [sw04317]
  • complete freedom to customise and extend its existing functionality, either by themselves or through support...
  • COBOL

  • Referenced in 133 articles [sw01228]
  • COBOL is now purely to maintain existing applications.[7] .. (wikipedia...
  • Boost

  • Referenced in 131 articles [sw09223]
  • commercial use. We aim to establish ”existing practice” and provide reference implementations so that Boost...
  • Bandera

  • Referenced in 128 articles [sw07663]
  • input language of one of several existing model-checking tools (including Spin, dSpin...