Results 1 to 20 of 1954
Sort by:

  • CUTEr
  • Referenced in 506 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...

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

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

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

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

  • INTOPT_90
  • Referenced in 294 articles [sw04705]
  • conditions and computationally executed proofs of the existence of feasible points generalizing Hansen and Walster...

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

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

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

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

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

  • CUTE

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

  • SUNDIALS
  • Referenced in 167 articles [sw00927]
  • solvers that can easily be incorporated into existing simulation codes. The primary design goals were...

  • Isar
  • Referenced in 120 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...

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

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

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

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

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

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