• nauty

  • Referenced in 609 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • Normaliz

  • Referenced in 168 articles [sw00630]
  • Normaliz is a tool for computations in affine...
  • Octave

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

  • Referenced in 48 articles [sw00723]
  • Polybori: A framework for Gröbner-basis computations with...
  • polymake

  • Referenced in 314 articles [sw00724]
  • polymake is open source software for research in...
  • R

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

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

  • Referenced in 102 articles [sw00798]
  • The RelView-System is an interactive tool for...
  • 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...
  • CONTENT

  • Referenced in 37 articles [sw01058]
  • Bifurcations of maps in the software package CONTENT...
  • PRISM

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

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

  • Referenced in 197 articles [sw01224]
  • The Modula programming language is a descendant of...
  • GraphBase

  • Referenced in 135 articles [sw01555]
  • The Stanford GraphBase is a freely available collection...
  • JPEG2000

  • Referenced in 64 articles [sw02062]
  • The JPEG 2000 Suite provides a comprehensive overview...
  • AFRA

  • Referenced in 29 articles [sw02090]
  • AFRA: argumentation framework with recursive attacks. The issue...
  • NP-SPEC

  • Referenced in 20 articles [sw02243]
  • NP-SPEC: An executable specification language for solving...
  • LAILA

  • Referenced in 10 articles [sw02266]
  • The last decade has seen the advent of...