• Magma

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

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

  • Referenced in 897 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 705 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 262 articles [sw04203]
  • levels of education that joins geometry, algebra, tables, graphing, statistics and calculus in one easy...
  • OTTER

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

  • Referenced in 101 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 41 articles [sw00410]
  • Software for algebraic geometry. Papers of a workshop, Minneapolis, MN, USA, October...
  • Cabri-geometry

  • Referenced in 107 articles [sw04928]
  • geometry project is supported by CNRS and Université Joseph Fourier de Grenoble. 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...
  • polymake

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

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

  • Referenced in 7 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...
  • SparseMatrix

  • Referenced in 313 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...
  • NAG4M2

  • Referenced in 7 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...
  • 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...
  • Vessiot

  • Referenced in 6 articles [sw12351]
  • Java applets for classification problems in geometry and algebra. I briefly describe an on-going ... classification problems in geometry and algebra. The first problem we are currently working on deals ... classification of low dimensional Lie algebras. The software which supports our work on these ... Maple programs for computations in differential geometry, Lie algebras and the variational calculus...