A Singular Introduction to Commutative Algebra

DOI10.1007/978-3-540-73542-7zbMath1133.13001OpenAlexW2066181227MaRDI QIDQ3591380

Publication date: 11 September 2007

Full work available at URL: https://doi.org/10.1007/978-3-540-73542-7

Gröbner bases normalization commutative algebra primary decomposition computational commutative algebra finite free resolution computer algebra system, algorithmic algebraic geometry

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Software, source code, etc. for problems pertaining to commutative algebra (13-04) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to algebraic geometry (14-01) Software, source code, etc. for problems pertaining to algebraic geometry (14-04) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to commutative algebra (13-01) Research exposition (monographs, survey articles) pertaining to commutative algebra (13-02) Computational aspects in algebraic geometry (14Qxx) Computational aspects and applications of commutative rings (13Pxx)

Related Items

A construction of algebraic surfaces with many real nodes ⋮ Computing integral bases via localization and Hensel lifting ⋮ Computing representation matrices for the action of Frobenius on cohomology groups ⋮ Simple singularities of reducible curves in characteristicp > 0 ⋮ The special closure of polynomial maps and global non-degeneracy ⋮ Tri-linear birational maps in dimension three ⋮ Conditions for polynomial Liénard centers ⋮ Buchberger-Weispfenning theory for effective associative rings ⋮ Computing Cox rings ⋮ Uniqueness of limit cycles for quadratic vector fields ⋮ Castelnuovo-Mumford regularity of projected Roth varieties ⋮ Minimal free resolutions of lattice ideals of digraphs ⋮ Solving via Modular Methods ⋮ Unnamed Item ⋮ A procedure to compute prime filtration ⋮ Recognition of unimodal map germs from the plane to the plane by invariants ⋮ A computer-aided proof of a conjecture in Euclidean geometry ⋮ Factorization of ℤ$$ \mathbb {Z}$$-Homogeneous Polynomials in the First q-Weyl Algebra ⋮ Mora’s holy graal: Algorithms for computing in localizations at prime ideals ⋮ Encoding algebraic power series ⋮ On irreducible representations of compact $p$-adic analytic groups ⋮ Lower bounds for the circuit size of partially homogeneous polynomials ⋮ Simple singularities of parametrized plane curves in positive characteristic ⋮ Finding binomials in polynomial ideals ⋮ Gröbner bases of symmetric ideals ⋮ A topological view on algebraic computation models ⋮ The canonical ring of a stacky curve ⋮ On the classification of simple maps from the plane to the plane ⋮ Finite determinacy of matrices and ideals ⋮ On noncommutative finite factorization domains ⋮ Effective algebraic independence of values of $E$-functions ⋮ A signature-based algorithm for computing the nondegenerate locus of a polynomial system ⋮ Mather-Yau theorem in positive characteristic ⋮ Refined algorithms to compute syzygies ⋮ Variant quantifier elimination ⋮ A model for analyzing phenomena in multicellular organisms with multivariable polynomials: Polynomial life ⋮ An Algebraic Approach for Proving Data Correctness in Arithmetic Data Paths ⋮ Log canonical threshold and diagonal ideals ⋮ Parallelization of modular algorithms ⋮ Standard bases over Euclidean domains ⋮ Characterization of uni-modal parametric plane curve singularities ⋮ THE CENTER-FOCUS PROBLEM AND BIFURCATION OF LIMIT CYCLES IN A CLASS OF 7TH-DEGREE POLYNOMIAL SYSTEMS ⋮ Sur le problème d’équivalence de Cartan ⋮ The Root Lattice $$A_{2}$$ in the Construction of Substitution Tilings and Singular Hypersurfaces ⋮ Affine Cartesian codes ⋮ On the primary decomposition of some determinantal hyperedge ideal ⋮ A survey on signature-based algorithms for computing Gröbner bases ⋮ Contact unimodal map germs from the plane to the plane ⋮ The biLipschitz geometry of complex curves: an algebraic approach ⋮ Matroid connectivity and singularities of configuration hypersurfaces ⋮ Normal Form Analysis of ℤ2-Equivariant Singularities ⋮ On the Computation of Minimal Free Resolutions with Integer Coefficients ⋮ Global optimization of polynomials over real algebraic sets ⋮ A geometric model of an arbitrary differentially closed field of characteristic zero ⋮ Straight equisingular deformations and punctual Hilbert schemes ⋮ Decoupled molecules with binding polynomials of bidegree $(n,2)$ ⋮ Regularity and algebraic properties of certain lattice ideals ⋮ Random arithmetic formulas can be reconstructed efficiently ⋮ Toward a theory of monomial preorders ⋮ Eliminating dual spaces ⋮ Teichmüller curves in genus three and just likely intersections in $\mathbf{G}_{m}^{n}\times\mathbf{G}_{a}^{n}$ ⋮ Algebraic varieties with simple singularities related to some reflection groups ⋮ An algorithm for computing the Hilbert-Samuel multiplicities and reductions of zero-dimensional ideals of Cohen-Macaulay local rings ⋮ Generic, Type-Safe and Object Oriented Computer Algebra Software ⋮ Gröbner bases over fields with valuations ⋮ Dimension and depth dependent upper bounds in polynomial ideal theory ⋮ Complete integration-by-parts reductions of the non-planar hexagon-box via module intersections ⋮ Detecting binomiality ⋮ On singularities of real algebraic sets and applications to kinematics ⋮ SINGULAR ⋮ Multiple zeros of nonlinear systems ⋮ SAGBI bases in $G$-algebras ⋮ Modular Algorithms for Computing a Generating Set of the Syzygy Module ⋮ A Note on Dynamic Gröbner Bases Computation ⋮ Computation of Macaulay constants and degree bounds for Gröbner bases ⋮ The representation theorem of persistence revisited and generalized ⋮ Embedded desingularization for arithmetic surfaces – toward a parallel implementation ⋮ Nœther bases and their applications ⋮ A fast flatness testing criterion in characteristic zero ⋮ Specialization to the tangent cone and Whitney equisingularity ⋮ Efficient localization at a prime ideal without producing unnecessary primary components ⋮ Tensor Manifold with Tucker Rank Constraints ⋮ Linear Resolutions of Powers and Products ⋮ CSSg method for several genericities of parametric systems

Uses Software