scientific article; zbMATH DE number 967945
From MaRDI portal
Publication:5690494
automatic geometry theorem provingBuchberger's algorithmcomputations in algebraic geometrycomputations in commutative algebraelimination theoryGröbner baseideal membership problemroboticssolving polynomial equations
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) Research exposition (monographs, survey articles) pertaining to algebraic geometry (14-02) Computational aspects in algebraic geometry (14Q99)
Recommendations
Cited in
(only showing first 100 items - show all)- Light-cone Yang-Mills mechanics: SU(2) vs. SU(3)
- Incomplete Gröbner basis as a preconditioner for polynomial systems
- On the second weight of generalized Reed-Muller codes
- Iterated discriminants
- Computing fundamental domains for Fuchsian groups
- An algebraic formula for the intersection number of a polynomial immersion
- Optimization of total harmonic current distortion and torque pulsation reduction in high-power induction motors using genetic algorithms
- Bases of minimum-weight vectors for codes from designs
- Envelopes of k-arcs in projective planes over finite fields and Gröbner bases
- Standard pairs and group relaxations in integer programming
- A Gröbner basis criterion for birational equivalence of affine varieties
- A formal theory of matrix primeness
- Continuity properties for flat families of polynomials. I: Continuous parametrizations
- The term orderings which are compatible with composition. II.
- Challenges of symbolic computation: My favorite open problems. With an additional open problem by Robert M. Corless and David J. Jeffrey
- Determining the number and structure of phylogenetic invariants.
- Finding a basis of a linear system with pairwise distinct discrete valuations on an algebraic curve
- A fast algorithm for Gröbner basis conversion and its applications
- Implicitization of rational surfaces by means of polynomial interpolation
- Number of common roots and resultant of two tropical univariate polynomials
- Rigidity of actions with extreme deviation from multiple mixing
- Foliations on \(\mathbb {CP}^2\) of degree \(d\) with a singular point with Milnor number \(d^2+d+1\)
- On some properties of calibrated trifocal tensors
- Optimization of the determinant of the Vandermonde matrix and related matrices
- Two new reformulation convexification based hierarchies for 0-1 MIPs
- Stability of one-dimensional inelastic collision sequences of four balls
- Finite alphabet source recovery in polynomial systems.
- Gröbner bases and polyhedral geometry of reducible and cyclic models.
- Application of Gröbner bases and quantifier elimination for insightful engineering design
- The applications of computational algebraic geometry to the analysis of designed experiments: a case study
- Quadratic ideals and Rogers-Ramanujan recursions
- Numerical computation of H-bases
- Geometric characterization of data sets with unique reduced Gröbner bases
- Multistationarity in the space of total concentrations for systems that admit a monomial parametrization
- Algebraic approaches for solving isogeny problems of prime power degrees
- An algebraic attack on rank metric code-based cryptosystems
- On the parametrization of hyperelliptic fields with S-units of degrees 7 and 9
- Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition
- A general method of finding new symplectic schemes for Hamiltonian mechanics
- Gröbner basis of the ideal of focus quantities of the Kukles cubic system
- A survey of the representations of rational ruled surfaces
- Equations for GL invariant families of polynomials
- Certified numerical real root isolation for bivariate nonlinear systems
- Probabilistic analysis on Macaulay matrices over finite fields and complexity of constructing Gröbner bases
- Moh's example of algebroid space curves
- Three term recurrence for the evaluation of multivariate orthogonal polynomials
- Mind change complexity of inferring unbounded unions of restricted pattern languages from positive data
- Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions
- ``Painlevé 34 equation: equivalence test
- 2-colorability of \(r\)-uniform hypergraphs
- Locus computation in dynamic geometry environment
- Two polynomial representations of experimental design
- Algebraic invariants of certain projective monomial curves
- Hrushovski's algorithm for computing the Galois group of a linear differential equation
- Heuristic decoding of linear codes using commutative algebra
- Identifiability and estimation of multiple transmission pathways in cholera and waterborne disease
- Overdetermined strata for degree 5 hyperbolic polynomials
- Linear spectral sets and their extremal varieties
- On the connection between Ritt characteristic sets and Buchberger-Gröbner bases
- Efficient Groebner walk conversion for implicitization of geometric objects
- Prony's method in several variables: symbolic solutions by universal interpolation
- On the generalized Ritt problem as a computational problem
- Solving parametric polynomial systems
- Further results on homogeneous Gröbner bases under composition
- Subresultants and generic monomial bases
- Semi-implicit representations of surfaces in \(\mathbb P^3\), resultants and applications
- Toric ideals and graph theory to analyze Hopf bifurcations in mass action systems
- The space of compatible full conditionals is a unimodular toric variety
- Gröbner bases and logarithmic \(\mathcal D\)-modules.
- Validated numerical computation of the \(\mathcal L_{\infty}\)-norm for linear dynamical systems
- Gröbner fan and universal characteristic sets of prime differential ideals
- Generating all polynomial invariants in simple loops
- The \(\mathcal{D}\)-module associated with the complex of neighbouring cycles and its \(p\)-adic variants
- Combinatorial integers \(\binom{m,n}{j}\) and Schubert calculus in the integral cohomology ring of infinite smooth flag manifolds
- A Gröbner-based treatment of elimination theory for affine varieties
- Algebraic solutions to the connectivity problem for \(m\)-way layouts: Interaction-contrast ali\-asing
- On the relative power of polynomials with real, rational, and integer coefficients in proofs of termination of rewriting
- Totally blind channel identification by exploiting guard intervals
- On the algebraic identifiability of finite impulse response channels driven by linearly precoded signals
- A numerical-symbolic algorithm for computing the multiplicity of a component of an algebraic set
- Homogeneous Gröbner bases under composition
- Rational univariate reduction via toric resultants
- Structural cryptanalysis of McEliece schemes with compact keys
- Partial standard bases as a tool for studying families of singularities
- Quasi-equivalence of heights in algebraic function fields of one variable
- scientific article; zbMATH DE number 1693046 (Why is no real title available?)
- A framework for space complexity in algebraic proof systems
- Quadric arrangement in classifying rigid motions of a 3D digital image
- Polly cracker, revisited
- Lower bounds for depth-4 formulas computing iterated matrix multiplication
- Infinite orders and non-D-finite property of 3-dimensional lattice walks
- Near weights on higher dimensional varieties
- On one class of Hermite projectors
- Ideals, varieties, and algorithms. An introduction to computational algebraic geometry and commutative algebra
- On Field Size and Success Probability in Network Coding
- A Reduction Attack on Algebraic Surface Public-Key Cryptosystems
- Representing and solving finite-domain constraint problems using systems of polynomials
- scientific article; zbMATH DE number 108068 (Why is no real title available?)
- Simultaneous triangularization of commuting matrices for the solution of polynomial equations
- Algorithmic Thomas decomposition of algebraic and differential systems
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 Q5690494)
