• SINGULAR

  • Referenced in 1504 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for polynomial computations in commutative algebra, algebraic geometry ... provides polynomial factorizations, resultant, characteristic set and gcd computations, syzygy and free-resolution computations...
  • MPSolve

  • Referenced in 14 articles [sw05298]
  • solution of (systems of) polynomial equations, polynomial arithmetic, gcd and lcm computations, Euclidean algorithm, polynomial...
  • CUMODP

  • Referenced in 8 articles [sw08402]
  • division, the Euclidean algorithm for univariate polynomial GCD, subproduct tree techniques for multi-point evaluation ... subresultant chain computation for multivariate polynomials, bivariate system solving. The main functionatilies of the CUMODP...
  • CALYPSO

  • Referenced in 4 articles [sw00100]
  • memory machines, such as massively parallel processing systems and networks of workstations, and shared memory ... GCD, which are machine independent. \parFinally we integrated our package in a computer algebra system...
  • parametric GCD

  • Referenced in 4 articles [sw35034]
  • well-known simple insight that the GCD of two multivariate polynomials (non-parametric as well ... proved that in a minimal comprehensive Gröbner system of a parametric quotient ideal, each branch ... single generator. Using this generator, the parametric GCD of that branch is obtained by division...
  • SARAG

  • Referenced in 3 articles [sw00826]
  • geometry written in the free computer algebra system Maxima (see http://maxima.sourceforge.net). SARAG stands ... theory of signed sub-resultants, linear algebra, gcd computation, real roots counting, real roots isolation...
  • AXIOM

  • Referenced in 173 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • CoCoA

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

  • Referenced in 61 articles [sw00144]
  • CoCoALib: A C++ library for computations in commutative...
  • Dagwood

  • Referenced in 6 articles [sw00185]
  • Dagwood: A system for manipulating polynomials given by...
  • GAP

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

  • Referenced in 144 articles [sw00344]
  • The gfun package provides tools for determining and...
  • gmp

  • Referenced in 282 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • Macaulay2

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

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

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

  • Referenced in 42 articles [sw00553]
  • Mathemagix: Towards large scale programming for symbolic and...
  • Mathematica

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