
PARI/GP
 Referenced in 568 articles
[sw00680]
 PARI/GP is a widely used Computer Algebra System...

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

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

SageMath
 Referenced in 1511 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

SINGULAR
 Referenced in 1317 articles
[sw00866]
 SINGULAR is a Computer Algebra system (CAS) for...

Cayley
 Referenced in 122 articles
[sw01053]
 An introduction to the Group Theory Language, Cayley...

PERL
 Referenced in 259 articles
[sw01225]
 Programming Perl. Perl is a language for easily...

BERGMAN
 Referenced in 34 articles
[sw02980]
 Problems in interaction with the computer algebra system...

deal.ii
 Referenced in 515 articles
[sw03516]
 deal.II is a C++ program library targeted at...

Haskell
 Referenced in 834 articles
[sw03521]
 Haskell is a standardized, generalpurpose purely functional...

GetDP
 Referenced in 36 articles
[sw04085]
 GetDP: a General Environment for the Treatment of...

CHEVIE
 Referenced in 213 articles
[sw04235]
 CHEVIE is a computer algebra project for symbolic...

FEniCS
 Referenced in 493 articles
[sw04314]
 The FEniCS Project is a collaborative project for...

fda (R)
 Referenced in 1215 articles
[sw04511]
 fda: Functional Data Analysis , These functions were developed...

Gfan
 Referenced in 107 articles
[sw04698]
 Gfan is a software package for computing Gröbner...

Kan
 Referenced in 45 articles
[sw04929]
 Kan/sm1 (19912003) is a system for computing...

Prover9
 Referenced in 172 articles
[sw04969]
 Prover9 and Mace4: Prover9 is an automated theorem...

COBYLA2
 Referenced in 38 articles
[sw05136]
 The functions depend on few variables (some hundred...

Getfem++
 Referenced in 51 articles
[sw05721]
 The Getfem project focuses on the development of...