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

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

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

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

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

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

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

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

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

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

Matlab
 Referenced in 10365 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 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 706 articles
[sw00789]
 REDUCE is an interactive system for general algebraic...