• Shapiro

• Referenced in 6 articles [sw21289]
• Involving Rudin-Shapiro Polynomials and Sketch of a Proof of Saffari’s Conjecture...

• CoCoA

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

• GAP

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

• Macaulay2

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

• Maple

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

• PHCpack

• Referenced in 236 articles [sw00705]
• Algorithm 795: PHCpack: A general-purpose solver for...

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

• Bertini

• Referenced in 253 articles [sw06683]
• Bertini™: Software for Numerical Algebraic Geometry. Software for...

• alphaCertified

• Referenced in 50 articles [sw07351]
• Algorithm 921: alphaCertified: Certifying solutions to polynomial systems...

• NAG4M2

• Referenced in 14 articles [sw08785]
• NumericalAlgebraicGeometry -- Numerical Algebraic Geometry. The package NumericalAlgebraicGeometry, also...

• rootsur.lib

• Referenced in 3 articles [sw10984]
• rootsur.lib. A Singular 3-1-6 library for...

• MultiZeilberger

• Referenced in 36 articles [sw11335]
• Five Maple packages accompany Multi-Variate Zeilberger and...

• GL(n)pack

• Referenced in 101 articles [sw13116]
• Automorphic forms and L-functions for the group...

• DET

• Referenced in 7 articles [sw19265]
• The Holonomic Ansatz II. Automatic Discovery(!) And Proof...

• MathOverflow

• Referenced in 571 articles [sw23728]
• MathOverflow is a question and answer site for...

• qTSPP

• Referenced in 6 articles [sw27117]
• qTSPP, and TSPP, Maple packages that contain semi...

• Walnut

• Referenced in 30 articles [sw30122]
• Automatic Theorem Proving in Walnut. Walnut is a...