-
Algorithm 923
- Referenced in 6 articles
[sw20231]
- computing the canonical form of a skew-symmetric matrix under unitary congruence, can be solved...
-
Coq
- Referenced in 1898 articles
[sw00161]
- Coq is a formal proof management system. It...
-
GAP
- Referenced in 3190 articles
[sw00320]
- GAP is a system for computational discrete algebra...
-
GELDA
- Referenced in 33 articles
[sw00331]
- GELDA is a Fortran77 sofware package for the...
-
Isabelle
- Referenced in 714 articles
[sw00454]
- Isabelle is a generic proof assistant. It allows...
-
LAPACK
- Referenced in 1702 articles
[sw00503]
- LAPACK is written in Fortran 90 and provides...
-
Macaulay2
- Referenced in 1924 articles
[sw00537]
- Macaulay2 is a software system devoted to supporting...
-
Magma
- Referenced in 3344 articles
[sw00540]
- Computer algebra system (CAS). Magma is a large...
-
Maple
- Referenced in 5375 articles
[sw00545]
- The result of over 30 years of cutting...
-
Mathematica
- Referenced in 6360 articles
[sw00554]
- Almost any workflow involves computing results, and that...
-
Matlab
- Referenced in 13559 articles
[sw00558]
- MATLAB® is a high-level language and interactive...
-
Normaliz
- Referenced in 174 articles
[sw00630]
- Normaliz is a tool for computations in affine...
-
PARI/GP
- Referenced in 653 articles
[sw00680]
- PARI/GP is a widely used Computer Algebra System...
-
polymake
- Referenced in 326 articles
[sw00724]
- polymake is open source software for research in...
-
SageMath
- Referenced in 2021 articles
[sw00825]
- Sage (SageMath) is free, open-source math software...
-
SINGULAR
- Referenced in 1509 articles
[sw00866]
- SINGULAR is a Computer Algebra system (CAS) for...
-
MACSYMA
- Referenced in 720 articles
[sw01209]
- Macsyma is a general purpose symbolic-numerical-graphical...
-
TAMPR
- Referenced in 6 articles
[sw03197]
- TAMPR (Transformation Assisted Multiple Program Realisation System) is...
-
Haskell
- Referenced in 884 articles
[sw03521]
- Haskell is a standardized, general-purpose purely functional...
