• Magma

  • Referenced in 2718 articles [sw00540]
  • software package designed for computations in algebra, number theory, algebraic geometry and algebraic combinatorics ... structures such as groups, rings, fields, modules, algebras, schemes, curves, graphs, designs, codes and many ... number of databases designed to aid computational research in those areas of mathematics which...
  • SINGULAR

  • Referenced in 1314 articles [sw00866]
  • system (CAS) for polynomial computations in commutative algebra, algebraic geometry, and singularity theory. SINGULAR ... field (e.g., finite fields, the rationals, floats, algebraic extensions, transcendental extensions), or localizations thereof...
  • SageMath

  • Referenced in 1507 articles [sw00825]
  • research and teaching in algebra, geometry, number theory, cryptography, numerical computation, and related areas. Both ... Maple, Mathematica, Magma, and MATLAB. Computer algebra system...
  • Macaulay2

  • Referenced in 1576 articles [sw00537]
  • supporting research in algebraic geometry and commutative algebra, whose creation has been funded ... since 1992. Macaulay2 includes core algorithms for computing Gröbner bases and graded or multi-graded...
  • CASA

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

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

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

  • Referenced in 324 articles [sw04203]
  • levels of education that joins geometry, algebra, tables, graphing, statistics and calculus in one easy ... Europe and the USA. Quick Facts: Graphics, algebra and tables are connected and fully dynamic ... world. Free and open source software. Computer algebra system...
  • SparseMatrix

  • Referenced in 587 articles [sw04629]
  • widely used by the numerical linear algebra community for the development and performance evaluation ... with underlying 2D or 3D geometry (as structural engineering, computational fluid dynamics, model reduction, electromagnetics...
  • TI-Nspire

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

  • Referenced in 18 articles [sw12155]
  • algebraic geometry. Numerical algebraic geometry uses numerical data to describe algebraic varieties. It is based ... classical symbolic approaches of computational algebraic geometry. We present a package, whose primary purpose ... powerful engine of numerical approximate computations. The core procedures of the package exhibit performance competitive...
  • Bertini

  • Referenced in 204 articles [sw06683]
  • Bertini™: Software for Numerical Algebraic Geometry. Software for solving polynomial systems. Finds isolated solutions using ... irreducible decomposition. Treats positive-dimensional solutions by computing witness sets. Has automatic differentiation which preserves...
  • FINSLER

  • Referenced in 12 articles [sw00290]
  • FINSLER: a computer algebra package for Finsler geometries: Symbolic Finsler geometry. The paper presents ... Finsler package, a computer algebra program based on Maple, which proposes itself as a tool ... mathematical modelling based on differential geometry and/or ordinary differential equations in diverse fields of science...
  • GRAPE

  • Referenced in 83 articles [sw07516]
  • analysing graphs related to groups, finite geometries, and designs. The vast majority of GRAPE functions ... Brendan McKay’s nauty package. Computer algebra system...
  • GRTensorII

  • Referenced in 40 articles [sw00393]
  • computer algebra package for performing calculations in the general area of differential geometry. Its purpose...
  • Singularity

  • Referenced in 5 articles [sw20306]
  • maps. Many tools and techniques from computational algebraic geometry have been used to develop Singularity...
  • HOM4PS

  • Referenced in 70 articles [sw00410]
  • PHoM [T. Gunji et al., Computing ... Software for algebraic geometry. Papers of a workshop, Minneapolis, MN, USA, October...
  • py-junctions

  • Referenced in 30 articles [sw29153]
  • algebraic structure. It is authored by J. Halverson and was utilized for performing the computations ... paper ”Matter From Geometry Without Resolution” by A. Grassi, J. Halverson, and J. Shaneson...
  • Lugares

  • Referenced in 17 articles [sw09861]
  • dynamic geometry environment and uses the symbolic capabilities of CoCoA, a computer algebra system specialized ... Groebner basis computations, or Mathematica. The main novelty in Lugares consists of the link between ... dynamic geometry paradigm and a symbolic approach to automatic discovery in geometry. Through this link ... Lugares determines as a locus almost any algebraic curve specified by geometric conditions...
  • Chordal

  • Referenced in 4 articles [sw27125]
  • efficient algorithms for several problems in computational algebraic geometry. See installation and configuration for instructions ... following properties of a structured ideal: compute elimination ideals, count the number of zeros, determine...