• Magma

  • Referenced in 1680 articles [sw00540]
  • computations in algebra, number theory, algebraic geometry and algebraic combinatorics. It provides a mathematically rigorous...
  • Macaulay2

  • Referenced in 997 articles [sw00537]
  • system devoted to supporting research in algebraic geometry and commutative algebra, whose creation has been...
  • SINGULAR

  • Referenced in 934 articles [sw00866]
  • polynomial computations in commutative algebra, algebraic geometry, and singularity theory. SINGULAR’s main computational objects ... field (e.g., finite fields, the rationals, floats, algebraic extensions, transcendental extensions), or localizations thereof...
  • SageMath

  • Referenced in 753 articles [sw00825]
  • that supports research and teaching in algebra, geometry, number theory, cryptography, numerical computation, and related ... Maple, Mathematica, Magma, and MATLAB. Computer algebra system...
  • GeoGebra

  • Referenced in 266 articles [sw04203]
  • levels of education that joins geometry, algebra, tables, graphing, statistics and calculus in one easy...
  • OTTER

  • Referenced in 200 articles [sw02904]
  • logic, group theory, lattice theory, and algebraic geometry. Note: Otter/Mace2 are no longer being actively...
  • Bertini

  • Referenced in 118 articles [sw06683]
  • Bertini™: Software for Numerical Algebraic Geometry Software for solving polynomial systems Finds isolated solutions using...
  • CASA

  • Referenced in 52 articles [sw00108]
  • system for computational algebra and constructive algebraic geometry. The system has been developed since ... ongoing product of the Computer Algebra Group at the Research Institute for Symbolic Computation (RISC...
  • HOM4PS

  • Referenced in 50 articles [sw00410]
  • Software for algebraic geometry. Papers of a workshop, Minneapolis, MN, USA, October...
  • Cabri-geometry

  • Referenced in 108 articles [sw04928]
  • geometry project is supported by CNRS and Université Joseph Fourier de Grenoble. Computer algebra system...
  • polymake

  • Referenced in 204 articles [sw00724]
  • tool to study the combinatorics and the geometry of convex polytopes and polyhedra ... graphs, tropical objects, and other objects. Computer algebra system...
  • Cinderella

  • Referenced in 120 articles [sw00127]
  • three parts of the program (geometry, physical simulation and scripting) can be used ... designed to interact very smoothly. Computer algebra system...
  • NumericalAlgebraicGeometry

  • Referenced in 12 articles [sw12155]
  • Numerical algebraic geometry. Numerical algebraic geometry uses numerical data to describe algebraic varieties ... classical symbolic approaches of computational algebraic geometry. We present a package, whose primary purpose...
  • TI-Nspire

  • Referenced in 62 articles [sw06151]
  • variant integrates a computer algebra system, function plotter, dynamic geometry, spreadsheet, dynamic statistics...
  • NAG4M2

  • Referenced in 10 articles [sw08785]
  • NumericalAlgebraicGeometry -- Numerical Algebraic Geometry. The package NumericalAlgebraicGeometry, also known as NAG4M2 (Numerical Algebraic Geometry ... polynomial equations and describe positive-dimensional complex algebraic varieties. A version of the package...
  • SparseMatrix

  • Referenced in 341 articles [sw04629]
  • widely used by the numerical linear algebra community for the development and performance evaluation ... from problems with underlying 2D or 3D geometry (as structural engineering, computational fluid dynamics, model...
  • GANITH

  • Referenced in 9 articles [sw10142]
  • GANITH algebraic geometry toolkit. We are building a general-purpose tool for computing and visualizing ... solutions to systems of algebraic equations. Diverse algorithms exist for this problem and related...
  • Surf

  • Referenced in 7 articles [sw04923]
  • tool to visualize some real algebraic geometry: plane algebraic curves, algebraic surfaces and hyperplane sections...
  • Paramotopy

  • Referenced in 8 articles [sw08781]
  • long been known in the numerical algebraic geometry community that parameter homotopies provide a powerful...