
sumit
 Referenced in 1 article
[sw11292]
 implementations of the algorithms of differential Galois theory over nonalgebraically closed constant fields, allowing ... efficient future generalisations to linear partial differential equations. Its use of abstract generic parsers...

AGD
 Referenced in 12 articles
[sw00022]
 AGDLibrary: A Library of Algorithms for Graph...

ATLAS
 Referenced in 197 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

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

COMPAS
 Referenced in 14 articles
[sw00147]
 In this paper we describe COMPAS  the open...

FGb
 Referenced in 240 articles
[sw00286]
 FGb/Gb libraryGb is a program (191 420 lines...

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

gfun
 Referenced in 132 articles
[sw00344]
 The gfun package provides tools for determining and...

gmp
 Referenced in 265 articles
[sw00363]
 GMP is a free library for arbitrary precision...

HOM4PS
 Referenced in 72 articles
[sw00410]
 HOM4PS2.0: a software package for solving polynomial...

homalg
 Referenced in 26 articles
[sw00411]
 homalg: a metapackage for homological algebra. The...

Isabelle
 Referenced in 606 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

Isolde
 Referenced in 28 articles
[sw00458]
 ISOLDE, a Maple package for systems of linear...

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

LEDA
 Referenced in 261 articles
[sw00509]
 In the core computer science areas  data structures...

LinBox
 Referenced in 40 articles
[sw00522]
 LinBox: A Generic Library for Exact Linear Algebra...

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

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

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

Mathemagix
 Referenced in 39 articles
[sw00553]
 Mathemagix: Towards large scale programming for symbolic and...