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

  • Referenced in 7 articles [sw19265]
  • The Holonomic Ansatz II. Automatic Discovery(!) And Proof...
  • 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...