
StratiGraph
 Referenced in 15 articles
[sw08331]
 computing and visualizing closure hierarchy graphs associated with different orbit and bundle stratifications is presented...

STRATIFY
 Referenced in 1 article
[sw18775]
 this stratification of the representation and the orbit space. We provide algorithms for computing ... selected strata (and their closures) of the orbit space. In addition, we show that...

AXIOM
 Referenced in 165 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

CGAL
 Referenced in 307 articles
[sw00118]
 The goal of the CGAL Open Source Project...

CoCoA
 Referenced in 564 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Coq
 Referenced in 1526 articles
[sw00161]
 Coq is a formal proof management system. It...

GAP
 Referenced in 2396 articles
[sw00320]
 GAP is a system for computational discrete algebra...

Grail
 Referenced in 17 articles
[sw00374]
 Grail is a symbolic computation environment for finite...

LAPACK
 Referenced in 1504 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

Macaulay2
 Referenced in 1353 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Magma
 Referenced in 2355 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

Maple
 Referenced in 4692 articles
[sw00545]
 The result of over 30 years of cutting...

MATCONT
 Referenced in 252 articles
[sw00551]
 MATCONT: Matlab software for bifurcation study of dynamical...

Mathematica
 Referenced in 5200 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 10422 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

nauty
 Referenced in 487 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...

Normaliz
 Referenced in 129 articles
[sw00630]
 Normaliz is a tool for computations in affine...

polymake
 Referenced in 260 articles
[sw00724]
 polymake is open source software for research in...

REDUCE
 Referenced in 709 articles
[sw00789]
 REDUCE is an interactive system for general algebraic...