
StratiGraph
 Referenced in 20 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 169 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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