
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 162 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

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

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

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

GAP
 Referenced in 2385 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 1490 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

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

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

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

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

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

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

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

Normaliz
 Referenced in 127 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 705 articles
[sw00789]
 REDUCE is an interactive system for general algebraic...