
nauty
 Referenced in 609 articles
[sw00611]
 graphtheoretic 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 highlevel language, primarily...

PolyBoRi
 Referenced in 48 articles
[sw00723]
 Polybori: A framework for Gröbnerbasis 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 RelViewSystem is an interactive tool for...

SageMath
 Referenced in 1970 articles
[sw00825]
 Sage (SageMath) is free, opensource 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 symbolicnumericalgraphical...

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

NPSPEC
 Referenced in 20 articles
[sw02243]
 NPSPEC: An executable specification language for solving...

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