• CLPS-B

  • Referenced in 7 articles [sw00132]
  • This paper proposes an approach to the evaluation...
  • Coq

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

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

  • Referenced in 1675 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • CHIP

  • Referenced in 79 articles [sw03450]
  • Solving a cutting-stock problem with the constraint...
  • Haskell

  • Referenced in 851 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • AMPL

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

  • Referenced in 17 articles [sw06949]
  • B-Prolog is a high-performance implementation of...
  • OEIS

  • Referenced in 3479 articles [sw07248]
  • The On-Line Encyclopedia of Integer Sequence. The...
  • SICStus

  • Referenced in 106 articles [sw12440]
  • SICStus Prolog has evolved for nearly 25 years...
  • Numerica

  • Referenced in 46 articles [sw21227]
  • Numerica: A modeling language for global optimization. Many...
  • ESRA

  • Referenced in 12 articles [sw22238]
  • Introducing ESRA, a relational language for modelling combinatorial...
  • JSetL

  • Referenced in 5 articles [sw29267]
  • JSetL is a Java library that has been...