scientific article; zbMATH DE number 108068
From MaRDI portal
Publication:4023642
automatic geometry theorem provingBuchberger algorithmelimination theoryGröbner baseideal membership probleminvariant theoryNullstellensatzrobotics
Research exposition (monographs, survey articles) pertaining to commutative algebra (13-02) Polynomial rings and ideals; rings of integer-valued polynomials (13F20) 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) Computational aspects in algebraic geometry (14Q99)
Recommendations
Cited in
(only showing first 100 items - show all)- Feature controlled adaptive difference operators
- Solving polynomial systems via symbolic-numeric reduction to geometric involutive form
- Subdivision methods for solving polynomial equations
- Computing representations for radicals of finitely generated differential ideals
- Bowker's test for symmetry and modifications within the algebraic framework
- From line-systems to sphere-systems -- Schläfli's double six, Lie's line-sphere transformation, and Grace's theorem
- Triple-loop networks with arbitrarily many minimum distance diagrams
- Isolating the real roots of the piecewise algebraic variety
- Generators of the ideal of an algebraic space curve
- Some remarks on real and complex output feedback
- From numbers to rings: The early history of ring theory
- The moving line ideal basis of planar rational curves
- A note on observability tests for general polynomial and simple Wiener-Hammerstein systems
- Controllability for a class of simple Wiener-Hammerstein systems
- Basis for power series solutions to systems of linear, constant coefficient partial differential equations
- On the complexity of smooth projective toric varieties
- Computer assistance for ``discovering formulas in system engineering and operator theory
- Intersections of sequences of ideals generated by polynomials
- Toric intersection theory for affine root counting
- Complexity of computing the local dimension of a semialgebraic set
- Toric ideals generalized by quadratic binomials
- On the depth of the invariants of the symmetric power representations of \(SL_2(\mathbb{F}_p)\)
- Application of Gröbner bases to problems of movement of a particle
- Non-holomorphic harmonic morphisms from Kähler manifolds
- A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking
- The algebra and geometry of Steiner and other quadratically parametrizable surfaces
- An algorithm of computing \(b\)-functions
- Solving a system of algebraic equations with symmetries
- An algorithm for the Quillen-Suslin theorem for monoid rings
- Algorithms for the \(b\)-function and \(D\)-modules associated with a polynomial
- Recurrent number theoretic functions of several variables
- Gröbner bases for D-modules on a non-singular affine algebraic variety
- Algorithms for \(b\)-functions, restrictions, and algebraic local cohomology groups of \(D\)-modules
- Test sets for integer programs
- Involution analysis for nonlinear exterior differential systems
- Schubert varieties, toric varieties and ladder determinantal varieties
- On the structure of Hermitian codes
- On Hilbert-Kunz functions of some hypersurfaces
- On ordinary differential equations admitting a finite linear group of symmetries
- Hilbert functions of graded algebras over Artinian rings
- Classification of hereditary matrices
- The uniqueness of Bézier control points
- The problem of defining the singular points of quasi-linear differential-algebraic systems
- Indexed types
- Covers and fans of polynomial ideals
- On the walk
- Real congruence of complex matrix pencils and complex projections of real Veronese varieties.
- An addition algorithm in Jacobian of \(C_{ab}\) curves.
- Confounding revisited with commutative computational algebra
- On implicit systems of differential equations.
- Gröbner bases of certain zero-dimensional ideals arising in coding theory
- A statistical analysis of the numerical condition of multiple roots of polynomials.
- Implementation of a new algorithm of computation of the Poincaré-Lyapunov constants.
- On computer-assisted research in homological algebra.
- Finite lattices and lexicographic Gröbner bases
- Multiplicative bases, Gröbner bases, and right Gröbner bases
- Espace des représentations du groupe d'un noeud classique dans un groupe de Lie. (Representation space of classical knot groups in a Lie group)
- Random heuristic search: applications to GAs and functions of unitation.
- Connectedness of Hilbert function strata and other connectedness results
- Singular loci of ladder determinantal varieties and Schubert varieties
- Chromatic polynomials and order ideals of monomials
- Computer algebra and algebraic geometry -- achievements and perspectives
- Symmetry, invariants, topology. Basic tools
- Symmetry, invariants, and topology in molecular models
- A new algorithm for discussing Gröbner bases with parameters.
- On perturbed oscillators in 1-1-1 resonance: The case of axially symmetric cubic potentials
- Traveling wave solutions for nonlinear equations using symbolic computation
- Unimodular triangulations and coverings of configurations arising from root systems
- Gröbner basis solutions of constrained interpolation problems
- Polynomial-exponential decomposition from moments
- Efficient decoding of interleaved subspace and Gabidulin codes beyond their unique decoding radius using Gröbner bases
- Resolving decompositions for polynomial modules
- Minimal free resolutions of lattice ideals of digraphs
- A stabilized normal form algorithm for generic systems of polynomial equations
- A note on linear Sperner families
- Some enumeration problems on central configurations at the bifurcation points
- On integrability conditions and limit cycle bifurcations for polynomial systems
- The division algorithm in sextic truncated moment problems
- Observer synthesis for linear hybrid systems with constrained discrete dynamics
- Polynomial inequalities on certain algebraic hypersurfaces
- Resultant elimination via implicit equation interpolation
- Complete intersection vanishing ideals on sets of clutter type over finite fields
- A survey on algorithms for computing comprehensive Gröbner systems and comprehensive Gröbner bases
- Block Stanley decompositions. II: Greedy algorithms, applications, and open problems
- Vanishing ideals of projective spaces over finite fields and a projective footprint bound
- Maximum likelihood estimation of symmetric group-based models via numerical algebraic geometry
- Geometric constraints on the space of \( \mathcal{N}=2\) SCFTs. II: Construction of special Kähler geometries and RG flows
- On the convergence of certain sequences of rational approximants to meromorphic functions in several variables
- Determinantal varieties over truncated polynomial rings
- Singularity analysis of quasi-linear DAEs
- On eigen-structure of a nonlinear map in \(R^n\)
- A generic effective Nullstellensatz
- A divide-and-conquer algorithm for generating Markov bases of multi-way tables
- Peripheral polynomials of hyperbolic knots
- Locally recoverable codes from rational maps
- Matrices in elimination theory
- Simultaneous elimination by using several tools from real algebraic geometry
- Gröbner bases, invariant theory and equivariant dynamics
- How symmetric can a function be?
- Metabolic isotopomer labeling systems. II: Structural flux identifiability analysis.
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4023642)
