Results 21 to 40 of 119
Sort by:

  • 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...