SINGULAR

DOI10.1145/1504347.1504377zbMath1344.13002OpenAlexW1975573855MaRDI QIDQ5176452

Hans Schönemann, Gerhard Pfister, Gert-Martin Greuel

Publication date: 26 February 2015

Published in: ACM Communications in Computer Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1504347.1504377

Mathematics Subject Classification ID

Singularities in algebraic geometry (14B05) 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) Global theory and resolution of singularities (algebro-geometric aspects) (14E15) Software, source code, etc. for problems pertaining to algebraic geometry (14-04) Invariants of analytic local rings (32S10) Computational aspects in algebraic geometry (14Qxx)

Related Items

A computational approach to Milnor fiber cohomology, Differential Operators on Grassmann Varieties, Gluing of analytic space germs, invariants and Watanabe's conjecture, A computer algebra solution to a problem in finite groups., Applications of Gröbner bases to signal and image processing: a survey, The primary components of positive critical binomial ideals, On tangent cones at infinity of algebraic varieties, Cohomological characterizations of smoothness and the case of rational surface singularities, An embedding technique for the solution of reaction-diffusion equations on algebraic surfaces with isolated singularities, A procedure to compute prime filtration, Multivariate Gaussians, semidefinite matrix completion, and convex algebraic geometry, Minimal average degree aberration and the state polytope for experimental designs, Markov bases and subbases for bounded contingency tables, Comparison of probabilistic algorithms for analyzing the components of an affine algebraic variety, The center problem for \(\mathbb{Z}_2\)-symmetric nilpotent vector fields, Computational algebraic geometry and global analysis of regional manipulators, On integrability and linearizability of persistent \(p:- q\) resonant systems, Computing comprehensive Gröbner systems: a comparison of two methods, Inductive freeness of Ziegler's canonical multiderivations for reflection arrangements, Encoding algebraic power series, The Gelfand-Kirillov conjecture and Gelfand-Tsetlin modules for finite \(W\)-algebras, Products of Borel fixed ideals of maximal minors, Algorithms for group actions in arbitrary characteristic and a problem in singularity theory, Betti numbers of polynomial hierarchical models for experimental designs, A smoothness test for higher codimensions, Intertwiner spaces of quantum group subrepresentations, New results on multivariate polynomial matrix factorizations, The \(b\)-function with respect to weights of hypergeometric ideals of codimension one, Noncommutative algebras, context-free grammars and algebraic Hilbert series, On discriminants, Tjurina modifications and the geometry of determinantal singularities, The stable set of associated prime ideals of a polymatroidal ideal, Finite multidimensional behaviors, A behavioral interpretation of Livšic systems, Nondegenerate and nilpotent centers for a cubic system of differential equations, Aluffi torsion-free ideals, On the Hilbert function of Artinian local complete intersections of codimension three, Constructive arithmetics in Ore localizations enjoying enough commutativity, Integrability conditions for Lotka-Volterra planar complex quartic systems having homogeneous nonlinearities, Birational maps between Calabi-Yau manifolds associated to webs of quadrics, Integrability of planar nilpotent differential systems through the existence of an inverse integrating factor, Center conditions for polynomial Liénard systems, Converting subalgebra bases with the Sagbi walk, Algebraic approximation of Cohen-Macaulay algebras, A presentation matrix associated to the discriminant of a co-rank one map-germ from ℂⁿ to ℂⁿ, Birational geometry of O'Grady's six dimensional example over the Donaldson-Uhlenbeck compactification, Integrability of 3-dim polynomial systems with three invariant planes, Slimgb: Gröbner bases with slim polynomials, A non-commutative \(F_5\) algorithm with an application to the computation of Loewy layers., Local integrability of a family of three-dimensional quadratic systems, Yukawa textures from heterotic stability walls, Thom isotopy theorem for nonproper maps and computation of sets of stratified generalized critical values, Intersection of ideals in a polynomial ring over a dual valuation domain, Cyclicity of some analytic maps, Localization at hyperplane arrangements: combinatorics and \({\mathcal D}\)-modules, Algebraic Attacks on the Courtois Toy Cipher, Computing tropical points and tropical links, Annihilators of local cohomology modules and simplicity of rings of differential operators, Effective computation of base points of ideals in two-dimensional local rings, Hypersurfaces with many \(A_j\)-singularities: explicit constructions, Analysing singularities of a benchmark problem, Critical points of maximal \(D = 8\) gauged supergravities, Deformations with section: cotangent cohomology, flatness conditions, and modular subgerms, nD methods for 1D parameter-dependent systems, Combinatorics of binomial primary decomposition, A degree inequality for Lie algebras with a regular Poisson semi-center, Blow-up method to compute necessary conditions of integrability for planar differential systems, Kinematical analysis of overconstrained and underconstrained mechanisms by means of computational algebraic geometry, Constructive arithmetics in Ore localizations of domains, The classification of real singularities using \textsc{Singular}. III: Unimodal singularities of corank 2, Canonical Hilbert-Burch matrices for power series, Center conditions of a particular polynomial differential system with a nilpotent singularity, Universal subspaces for local unitary groups of fermionic systems, Towards massively parallel computations in algebraic geometry, Mirror fibrations and root stacks of weighted projective spaces, Special components of Noether-Lefschetz loci, A new normal form for monodromic nilpotent singularities of planar vector fields, Special cubic birational transformations of projective spaces, Corrigendum to: ``Calabi-Yau threefolds with small Hodge numbers associated with a one-parameter family of polynomials, Tangent Cone of Numerical Semigroup Rings of Embedding Dimension Three, Multiplicities of Schubert varieties in the symplectic flag variety, Multiple zeros of nonlinear systems, SAGBI bases in \(G\)-algebras, On the regularity of join-meet ideals of modular lattices, An algebraic attack to the Bluetooth stream cipher \textsc{E0}, The trace of the canonical module, Applying Gröbner basis method to multiparametric polynomial nonlinear programming, On algorithms to obtain linear determinantal representations of smooth plane curves of higher degree, Orientifold Calabi-Yau threefolds with divisor involutions and string landscape, C-space analysis using tropical geometry, Answers to some equisingularity questions, Toric \(K3\)-fibred Calabi-Yau manifolds with del Pezzo divisors for string compactifications, On delta for parameterized curve singularities, Using semicontinuity for standard bases computations, On the ideal of the shortest vectors in the Leech lattice and other lattices, Stillman's question for twisted commutative algebras, Invariants and separating morphisms for algebraic group actions, A Singular web service for geometric computations, The geometry of generations, Veronese geometry and the electroweak vacuum moduli space, Nondegenerate centers for Abel polynomial differential equations of second kind, Stream/block ciphers, difference equations and algebraic attacks, Łojasiewicz exponent of families of ideals, Rees mixed multiplicities and Newton filtrations, Gauge theories, tessellations \& Riemann surfaces, The statistics of vacuum geometry, The center problem and composition condition for Abel differential equations, Divisors on graphs, binomial and monomial ideals, and cellular resolutions, On intersections of complete intersection ideals, On the coadjoint orbits of maximal unipotent subgroups of reductive groups., Computing the canonical representation of constructible sets, Multidimensional perfect reconstruction filter banks: An approach of algebraic geometry, Hartogs phenomena and antisyzygies for systems of differential equations, Involutive method for computing Gröbner bases over \(\mathbb F_2\), The SU(3)-invariant sector of new maximal supergravity, Kinematic analysis of Bricard's mechanism, Exploring the potential energy landscape over a large parameter-space, Noether normalization guided by monomial cone decompositions, Bistability and oscillations in chemical reaction networks, Testing R-parity with geometry, Finding all Nash equilibria of a finite game using polynomial algebra, Competitive equilibria in semi-algebraic economies, The 24-cell and Calabi-Yau threefolds with Hodge numbers \((1,1)\), Computing differential equations for integrals associated to smooth Fano polytope, Inferring biologically relevant models: nested canalyzing functions, Three generations on the quintic quotient, Exploring positive monad bundles and a new heterotic standard model, Non-locally-free locus of O'Grady's ten dimensional example, Some remarks on the planar Kouchnirenko's theorem, On indices of 1-forms on determinantal singularities, STRINGVACUA. A Mathematica package for studying vacuum configurations in string phenomenology, The vanishing Euler characteristic of an isolated determinantal singularity, Discrete chain graph models, F5C: A variant of Faugère's F5 algorithm with reduced Gröbner bases, Algebraic factor analysis: tetrads, pentads and beyond, Monomial curve families supporting Rossi's conjecture, On the Hilbert function of one-dimensional local complete intersections, Integrability of complex planar systems with homogeneous nonlinearities, The center problem for a \({1:-4}\) resonant quadratic system, A fast algorithm for constructing Arf closure and a conjecture, On inductively free restrictions of reflection arrangements., Stabilizing the complex structure in heterotic Calabi-Yau vacua, Modular-type functions attached to mirror quintic Calabi-Yau varieties, The classification of real singularities using Singular. II: The structure of the equivalence classes of the unimodal singularities., An algorithm for computing compatibly Frobenius split subvarieties, Optimising Gröbner bases on Bivium, Obtaining and solving systems of equations in key variables only for the small variants of AES, The computation of the cohomology rings of all groups of order 128., Exact linear modeling with polynomial coefficients, Algebraic decoder of multidimensional convolutional code: Constructive algorithms for determining syndrome decoder and decoder matrix based on Gröbner basis, The F\(_{4}\)-algorithm for Euclidean rings, The binomial ideal of the intersection axiom for conditional probabilities, Approximation of analytic sets with proper projection by algebraic sets, About the computation of the signature of surface singularities \(z ^{N } + g(x, y) = 0\), A mathematical framework for agent based models of complex biological networks, A new method for solving Bezout equations over 2-D polynomial matrices from delay systems, Kohnen's limit process for real-analytic Siegel modular forms, Koszul homology and syzygies of Veronese subalgebras, Different approaches to the complex of three Dirac operators, Notes on factor prime factorizations for \(n\)-D polynomial matrices, Further remarks on multivariate polynomial matrix factorizations, An algorithm for primary decomposition in polynomial rings over the integers, Toric construction of global F-theory GUTs, Charting the landscape of \( \mathcal{N} = 4 \) flux compactifications, Noetherian quotients of the algebra of partial difference polynomials and Gröbner bases of symmetric ideals, The classification of real singularities using \textsc{Singular}. I: Splitting lemma and simple singularities, Groebner basis methods for stationary solutions of a low-dimensional model for a shear flow, Double point curves for corank \(2\) map germs from \(\mathbb{C}^2\) to \(\mathbb{C}^3\), Flags in zero dimensional complete intersection algebras and indices of real vector fields, The Atiyah class and complex structure stabilization in heterotic Calabi-Yau compactifications, An algebraic formula for the index of a vector field on an isolated complete intersection singularity, On the small-weight codewords of some Hermitian codes, Computation of feedback control for time optimal state transfer using Gröbner basis, The relation type of affine algebras and algebraic varieties, Kinematic analysis of multibody systems, Unfoldings and deformations of rational and logarithmic foliations, A hybrid symbolic-numerical approach to the center-focus problem, The Jacobian module, the Milnor fiber, and the \(D\)-module generated by \(f^s\), On Ramanujan relations between Eisenstein series, Generic initial ideals and fibre products, On general factorizations for \(n\)-D polynomial matrices, Bernstein polynomials and spectral numbers for linear free divisors, Geometry of the locus of polynomials of degree 4 with iterative roots, Constructive \(D\)-module theory with \texttt{Singular}, On projective modules and computation of dimension of a module over Laurent polynomial ring, Algorithmic symmetry classification with invariance, Yukawa couplings in heterotic compactification, Principal part of multi-parameter displacement functions, On free quotients of complete intersection Calabi-Yau manifolds, Parametrization of algebraic curves defined by sparse equations, Normalization of rings, Vacuum varieties, holomorphic bundles and complex structure stabilization in heterotic theories, On classifying the divisor involutions in Calabi-Yau threefolds, Sequential importance sampling of binary sequences, Computing invariants and semi-invariants by means of Frobenius Lie algebras, SINGULAR, Likelihood ratio tests and singularities, Local Łojasiewicz exponents, Milnor numbers and mixed multiplicities of ideals, Calculation of first integrals of a two-dimensional ODE system near a degenerate stationary point by computer algebra tools, A combinatorial approach to involution and \(\delta \)-regularity. I: Involutive bases in polynomial algebras of solvable type, Singularity analysis of planar linkages, Polynomials for classification trees and applications, Simple Cohen–Macaulay Codimension 2 Singularities, Tropicalized Quartics and Canonical Embeddings for Tropical Curves of Genus 3, A polynomial ideal associated to any $t$-$(v,k,\lambda)$ design, Unnamed Item, Rigid centres on the center manifold of tridimensional differential systems, On the fifth Whitney cone of a complex analytic curve, Universal Analytic Gröbner Bases and Tropical Geometry, Attacking Bivium Using SAT Solvers, Global multiplicity, special closure and non-degeneracy of gradient maps, Classification of Hamiltonians in neighborhoods of band crossings in terms of the theory of singularities, The isomorphism problem of projective schemes and related algorithmic problems, Liénard Equation and Its Generalizations, Minimal primes over permanental ideals, Algebraic curves and foliations, On nearly free arrangements of lines with nodes and triple points, Towards a symplectic version of the Chevalley restriction theorem, On Tjurina ideals of hypersurface singularities, Saturation and vanishing ideals, An Algebraic Approach for Proving Data Correctness in Arithmetic Data Paths, Computing the binomial part of a polynomial ideal, On Multi-Index Filtrations Associated to Weierstraß Semigroups, Effective Algebraic Analysis Approach to Linear Systems over Ore Algebras, CONSECUTIVE CANCELLATIONS IN FILTERED FREE RESOLUTIONS, Introduction to Computational Algebraic Statistics, Minimum distance functions of complete intersections, BETTI NUMBERS FOR CERTAIN COHEN–MACAULAY TANGENT CONES, The equations of Rees algebras of equimultiple ideals of deviation one, On Hilbert ideals for a class of 𝑝-groups in characteristic 𝑝, Numerical Decomposition of the Rank-Deficiency Set of a Matrix of Multivariate Polynomials, On Sufficient Conditions for Integrability of a Planar System of ODEs Near a Degenerate Stationary Point, Generic, Type-Safe and Object Oriented Computer Algebra Software, Efficient Algorithms for Computing Nœther Normalization, Induction for secant varieties of Segre varieties, \(q,t\)-Fuß-Catalan numbers for finite reflection groups, The isomorphism problem for graded algebras and its application to \(\mathrm{mod-}p\) cohomology rings of small \(p\)-groups., Curvilinear base points, local complete intersection and Koszul syzygies in biprojective spaces, Extended degree functions and monomial modules, A construction of numerical Campedelli surfaces with torsion ℤ/6, Alternative algorithms for computing generic μ∗-sequences and local Euler obstructions of isolated hypersurface singularities, Ideals Modulo a Prime, Free but not recursively free arrangements, On a class of special linear systems of $\mathbb{P}^3$, Restricted classes of veronese type ideals and algebras, The Modality of a Borel Subgroup in a Simple Algebraic Group of Type E₈, Semicontinuity of Singularity Invariants in Families of Formal Power Series, Linear Resolutions of Powers and Products