• GAP

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

• Isabelle

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

• Magma

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

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

• SageMath

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

• MACSYMA

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

• spatial

• Referenced in 360 articles [sw04502]
• spatial: Functions for Kriging and Point Pattern Analysis...

• DLMF

• Referenced in 2809 articles [sw04968]
• NIST digital library of mathematical functions. The National...

• System Identification Toolbox

• Referenced in 178 articles [sw05686]
• SIT (System Identification Toolbox) is a software package...

• OEIS

• Referenced in 4221 articles [sw07248]
• The On-Line Encyclopedia of Integer Sequence. The...

• LAF-SPEM

• Referenced in 7 articles [sw09702]
• A marching-on in time meshless kernel based...

• ma2dfc

• Referenced in 210 articles [sw20918]
• Matrix approach to discretization of ODEs and PDEs...

• pyuvdata

• Referenced in 254 articles [sw32698]
• pyuvdata defines a pythonic interface to interferometric data...