• CUTEr

  • Referenced in 424 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 485 articles [sw06916]
  • both research and industry. Most existing complete solvers are variants of the Davis-Putnam...
  • SemiPar

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

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

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

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

  • Referenced in 226 articles [sw04143]
  • utility to convert the problems to existing ATP systems’ formats. General guidelines outlining the requirements...
  • LS-DYNA

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

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

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

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

  • Referenced in 142 articles [sw04426]
  • into standard Java bytecode. Simple extensions to existing Java development environments make it possible...
  • ASSAT

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

  • Referenced in 92 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...
  • Java PathFinder

  • Referenced in 121 articles [sw07658]
  • craft, and of previous work in applying existing model checkers and theorem provers to real...
  • Linda

  • Referenced in 117 articles [sw09427]
  • form to the computation environment, where they exist as named, independent entities until some process...
  • SUNDIALS

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

  • Referenced in 114 articles [sw07201]
  • days, and a number of dialects have existed over its history. Today, the most widely...
  • E Theorem Prover

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

  • Referenced in 113 articles [sw02179]
  • application. This is in contrast to many existing rewriting-based languages where the term reduction...