• REDUCE

  • Referenced in 720 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 1269 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 1487 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 79 articles [sw07249]
  • more generally from automorphic forms, algebraic varieties, and Artin representations. In addition, the database contains...
  • Epsilon

  • Referenced in 38 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 17 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...
  • Maude-NPA

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

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

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

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

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

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

  • Referenced in 3 articles [sw26096]
  • Learning algebraic varieties from samples. We seek to determine a real algebraic variety from ... focus lies on aspects of topology and algebraic geometry, such as dimension and defining polynomials...
  • 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...
  • cellularSheaves

  • Referenced in 3 articles [sw25131]
  • cellular sheaf cohomologies to cohomologies of algebraic varieties. We then give an overview...