• Coq

  • Referenced in 1807 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Isabelle

  • Referenced in 611 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • LAPACK

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

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

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

  • Referenced in 70 articles [sw00678]
  • Paramils: an automatic algorithm configuration framework. The identification...
  • RKC

  • Referenced in 113 articles [sw00808]
  • RKC: An explicit solver for parabolic PDEs. An...
  • SINGULAR

  • Referenced in 1408 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for...
  • PRISM

  • Referenced in 416 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • AMBER

  • Referenced in 54 articles [sw01333]
  • AmberTools is a set of programs for biomolecular...
  • Smalltalk

  • Referenced in 190 articles [sw01561]
  • Smalltalk is an object-oriented, dynamically typed, reflective...
  • COMET

  • Referenced in 72 articles [sw03051]
  • Constraint-Based Local Search. The ubiquity of combinatorial...
  • STAN

  • Referenced in 38 articles [sw03348]
  • STAN is a domain-independent planner developed within...
  • SPIN

  • Referenced in 712 articles [sw03455]
  • Spin is a popular open-source software tool...
  • Pajek

  • Referenced in 138 articles [sw03707]
  • Pajek -- analysis and visualization of large networks. Pajek...
  • AMPL

  • Referenced in 590 articles [sw04001]
  • AMPL is a comprehensive and powerful algebraic modeling...
  • CPLEX

  • Referenced in 2583 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...