• BoomerAMG

• Referenced in 158 articles [sw00086]
• BoomerAMG: A parallel algebraic multigrid solver and preconditioner...

• CoCoA

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

• Coq

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

• GAP

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

• Gmsh

• Referenced in 576 articles [sw00366]
• Gmsh is a 3D finite element grid generator...

• LAPACK

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

• 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...

• MATCONT

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

• Mathematica

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

• Matlab

• Referenced in 12074 articles [sw00558]
• MATLAB® is a high-level language and interactive...

• nauty

• Referenced in 558 articles [sw00611]
• graph-theoretic program NAUTY: nauty is a program...

• R

• Referenced in 8359 articles [sw00771]
• R is a language and environment for statistical...

• SageMath

• Referenced in 1620 articles [sw00825]
• Sage (SageMath) is free, open-source math software...

• Sostools

• Referenced in 270 articles [sw00891]
• We are pleased to introduce SOSTOOLS, a free...

• SuperLU

• Referenced in 171 articles [sw00930]
• SuperLU is a general purpose library for the...

• TSPLIB

• Referenced in 661 articles [sw00983]
• TSPLIB is a library of sample instances for...

• UMFPACK

• Referenced in 354 articles [sw00989]
• An ANSI C code for sparse LU factorization...

• AUTO

• Referenced in 877 articles [sw01059]
• AUTO is a software for continuation and bifurcation...

• MACSYMA

• Referenced in 716 articles [sw01209]
• Macsyma is a general purpose symbolic-numerical-graphical...