• Moviola

  • Referenced in 3 articles [sw27497]
  • dynamic logic program (DLP), which is a sequence of logic programs each one updating ... translations of DLPs under these update semantics to logic programs of answer set programming ... program without restarting from scratch at every step. To this end, we developed a system...
  • Coq

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

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

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

  • Referenced in 5363 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6337 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13460 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MultRoot

  • Referenced in 100 articles [sw00604]
  • Algorithm 835: MultRoot - a Matlab package for computing...
  • Octave

  • Referenced in 304 articles [sw00646]
  • GNU Octave is a high-level language, primarily...
  • R

  • Referenced in 9810 articles [sw00771]
  • R is a language and environment for statistical...
  • rbminer

  • Referenced in 14 articles [sw00783]
  • rbminer: a tool for discovering Petri nets from...
  • REDUCE

  • Referenced in 746 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...
  • SageMath

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

  • Referenced in 697 articles [sw00983]
  • TSPLIB is a library of sample instances for...
  • Workcraft

  • Referenced in 6 articles [sw01021]
  • Reliable high-level modeling constructs are crucial to...
  • MACSYMA

  • Referenced in 720 articles [sw01209]
  • Macsyma is a general purpose symbolic-numerical-graphical...
  • ALGOL 68

  • Referenced in 291 articles [sw01226]
  • ALGOL 68 (short for ALGOrithmic Language 1968) is...
  • COBOL

  • Referenced in 237 articles [sw01228]
  • COBOL (/ˈkoʊbɒl/, an acronym for common business-oriented...