• REDUCE

  • Referenced in 706 articles [sw00789]
  • interest to mathematicians, scientists and engineers. Computer algebra system (CAS). It has been produced ... substitutions and pattern matching in a wide variety of forms; automatic and user controlled simplification ... facilities for the solution of a variety of algebraic equations; facilities for the output...
  • SINGULAR

  • Referenced in 1195 articles [sw00866]
  • polynomial computations in commutative algebra, algebraic geometry, and singularity theory. SINGULAR’s main computational objects ... ideals and modules over a large variety of baserings. The baserings are polynomial rings over ... field (e.g., finite fields, the rationals, floats, algebraic extensions, transcendental extensions), or localizations thereof...
  • Macaulay2

  • Referenced in 1341 articles [sw00537]
  • supporting research in algebraic geometry and commutative algebra, whose creation has been funded ... projective varieties, primary decomposition of ideals, integral closure of rings, and more. Computer algebra system...
  • LMFDB

  • Referenced in 52 articles [sw07249]
  • more generally from automorphic forms, algebraic varieties, and Artin representations. In addition, the database contains...
  • Epsilon

  • Referenced in 37 articles [sw00244]
  • irreducible, or with projection property), decompose algebraic varieties into irreducible or unmixed subvarieties, decompose polynomial ... ideals into primary components, factorize polynomials over algebraic extension fields, solve systems of polynomial equations...
  • LISP-STAT

  • Referenced in 113 articles [sw01111]
  • vectors, and adds a variety of basic statistical and linear algebra functions. A portable window...
  • NumericalAlgebraicGeometry

  • Referenced in 16 articles [sw12155]
  • geometry uses numerical data to describe algebraic varieties. It is based on numerical polynomial homotopy ... classical symbolic approaches of computational algebraic geometry. We present a package, whose primary purpose...
  • NAG4M2

  • Referenced in 13 articles [sw08785]
  • equations and describe positive-dimensional complex algebraic varieties. A version of the package is distributed...
  • Maude-NPA

  • Referenced in 21 articles [sw12159]
  • Maude-NPA supports a wide variety of algebraic properties that includes many crypto-systems...
  • NSPCG

  • Referenced in 30 articles [sw00636]
  • large sparse systems of linear algebraic equations by a variety of different iterative methods...
  • MatrixMarket

  • Referenced in 122 articles [sw04020]
  • comparative studies of algorithms for numerical linear algebra. Matrices as well as matrix generation software ... squares, and eigenvalue computations in a wide variety of scientific and engineering disciplines are provided ... Software which has focus areas in linear algebra, special functions and statistics...
  • MDSpackage

  • Referenced in 8 articles [sw14423]
  • form a large example class of algebraic varieties, comprising the well-known toric varieties...
  • Cinderella

  • Referenced in 132 articles [sw00127]
  • scope of the program to a wide variety of interaction scenarios. Compared ... designed to interact very smoothly. Computer algebra system (CAS). Education...
  • libAlgebra

  • Referenced in 9 articles [sw22262]
  • second stand-alone library is the algebra library called libAlgebra. This library provides sparse matrices ... scalar and block type and a variety of algebraic solvers. Details are found in Sect...
  • Mx

  • Referenced in 13 articles [sw19939]
  • enables exploration of matrix algebra through a variety of operations and functions. There are many...
  • Smoothtst

  • Referenced in 3 articles [sw23173]
  • library for determining smoothness of algebraic varieties: A smoothness test for higher codimensions. Based ... algorithm for determining smoothness of algebraic varieties. The algorithm is inherently parallel and does ... minors of the Jacobian matrix of the variety. We also describe a hybrid method which ... have implemented all algorithms in the computer algebra system Singular. We compare the different approaches...
  • TI-Nspire

  • Referenced in 62 articles [sw06151]
  • software and hardware products plus a variety of accessories and extensions. It’s coming ... regulations. The CAS variant integrates a computer algebra system, function plotter, dynamic geometry, spreadsheet, dynamic...
  • CharSets

  • Referenced in 3 articles [sw13623]
  • quasi-irreducible ascending sets, decomposing algebraic varieties into irreducible components, decomposing polynomial ideals into primary ... polynomial equations, and factorizing multivariate polynomials over algebraic extension fields. A new module has been...
  • MFEM

  • Referenced in 16 articles [sw09043]
  • MATLAB for linear algebra methods. In particular, MFEM supports a wide variety of finite element ... used as a ”finite element to linear algebra translator”, since it can take a problem...
  • Resultants

  • Referenced in 3 articles [sw01251]
  • tool for Chow varieties The Chow/Van der Waerden approach to algebraic cycles via resultants ... arbitrary fields. The algebraicity of the join pairing on Chow varieties then follows over ... complex numbers. The approach implies a more algebraic proof of Lawson´s complex suspension theorem ... independence of the algebraic-continuous homeomorphism type of Chow varieties on embeddings is rectified...