• LSQR

• Referenced in 394 articles [sw00530]
• Algorithm 583: LSQR: Sparse Linear Equations and Least...

• Maple

• Referenced in 5373 articles [sw00545]
• The result of over 30 years of cutting...

• Mathematica

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

• Matlab

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

• MiniSat

• Referenced in 566 articles [sw00577]
• An extensible SAT-solver. MiniSat is a minimalistic...

• PARAMESH

• Referenced in 113 articles [sw00677]
• PARAMESH: A parallel adaptive mesh refinement community toolkit...

• PARDISO

• Referenced in 287 articles [sw00679]
• The package PARDISO is a thread-safe, high...

• SETHEO

• Referenced in 122 articles [sw00707]
• SETHEO: A high-performance theorem prover. The paper...

• PLTMG

• Referenced in 215 articles [sw00717]
• PLTMG 11.0 is a package for solving elliptic...

• R

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

• RATH

• Referenced in 89 articles [sw00779]
• RATH: a Maple package for finding travelling solitary...

• REDUCE

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

• RKC

• Referenced in 120 articles [sw00808]
• RKC: An explicit solver for parabolic PDEs. An...

• SageMath

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

• SINGULAR

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

• SLEPc

• Referenced in 196 articles [sw00875]
• SLEPc the Scalable Library for Eigenvalue Problem Computations...

• Sostools

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

• TimeNET

• Referenced in 30 articles [sw00965]
• This paper describes TimeNET (Timed Net Evaluation Tool...

• TISEAN

• Referenced in 170 articles [sw00967]
• Practical implementation of nonlinear time series methods: The...

• TPS

• Referenced in 73 articles [sw00973]
• TPS and ETPS are, respectively, the Theorem Proving...