scientific article

David A. Cox, Donal O'Shea, John B. Little

Publication date: 23 January 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

elimination theory invariant theory robotics Nullstellensatz Buchberger algorithm ideal membership problem Gröbner base automatic geometry theorem proving

Mathematics Subject Classification ID

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) Research exposition (monographs, survey articles) pertaining to commutative algebra (13-02)

Related Items (only showing first 100 items - show all)

On the constant 𝐷(𝑞) defined by Homma ⋮ Methods of constructive category theory ⋮ Formal Proof of the Group Law for Edwards Elliptic Curves ⋮ Real hypersurfaces with constant principal curvatures in the complex hyperbolic plane ⋮ On polynomial ideals, their complexity, and applications ⋮ الگوریتمی برای محاسبه ی ایده آل های مرتب نقاط و کاربردهای آن در مدل های زیست شناسی ⋮ Unnamed Item ⋮ Configuration spaces of hinged mechanisms, and their projections ⋮ Computing the topology of the image of a parametric planar curve under a birational transformation ⋮ GRIN: An implementation of Gröbner bases for integer programming ⋮ Likelihood landscape and maximum likelihood estimation for the discrete orbit recovery model ⋮ Revisiting the computation of the critical points of the Keplerian distance ⋮ From Farfalle to \textsc{Megafono} via Ciminion: the PRF \textsc{Hydra} for MPC applications ⋮ Fast Kötter-Nielsen-Høholdt interpolation over skew polynomial rings and its application in coding theory ⋮ Exploring implications of trace (inversion) formula and Artin algebras in extremal combinatorics ⋮ Automated exploration of envelopes and offsets with networking of technologies ⋮ Asymptotic degree of random monomial ideals ⋮ Relative generalized Hamming weights of evaluation codes ⋮ Interactions of computational complexity theory and mathematics ⋮ Effective Algebraic Analysis Approach to Linear Systems over Ore Algebras ⋮ On Syzygies for Rings of Invariants of Abelian Groups ⋮ Generating functions for exactp-values of odds ratios in logistic regression ⋮ Generalized anti-commutative Gröbner-Shirshov basis theory and free Sabinin algebras ⋮ Gröbner-Shirshov bases for free Gelfand-Dorfman-Novokov algebras and for right ideals of free right Leibniz algebras ⋮ Bifurcation of point vortex equilibria: four-vortex translating configurations and five-vortex stationary configurations ⋮ The Monomial Ideal Membership Problem and Polynomial Identity Testing ⋮ Gröbner bases and the Cohen-Macaulay property of Li’s double determinantal varieties ⋮ Why should the Littlewood–Richardson Rule be true? ⋮ On computer-assisted classification of coupled integrable equations ⋮ A Robust Numerical Path Tracking Algorithm for Polynomial Homotopy Continuation ⋮ Gröbner bases and generalized Padé approximation ⋮ Compression on the Twisted Jacobi Intersection ⋮ Critical cones of characteristic varieties ⋮ On the finiteness of accessibility test for nonlinear discrete-time systems ⋮ Solutions to disturbance decoupling problem with constant measurement feedback for linear systems ⋮ A systematic framework for solving geometric constraints analytically ⋮ Computation of a specified root of a polynomial system of equations using eigenvectors ⋮ The integrability conditions for two cubic vector fields ⋮ Counting and Gröbner bases ⋮ A new Composition-Diamond lemma for associative conformal algebras ⋮ On the existence of order functions ⋮ Approximating commuting operators ⋮ Analytical redundancy relations for fault detection and isolation in algebraic dynamic systems ⋮ Gröbner bases over Galois rings with an application to decoding alternant codes ⋮ A direct approach to computing the \(\mu\)-basis of planar rational curves ⋮ Bautin ideal of a cubic map ⋮ Algebraic structure of quasicyclic codes ⋮ The \(\mu\)-basis of a rational ruled surface ⋮ A new exponential upper bound for the Erd\H{o}s-Ginzburg-Ziv constant ⋮ On the links between triangular sets and dynamic constructible closure ⋮ A version of Simpson's rule for multiple integrals ⋮ An Enhanced Binary Characteristic Set Algorithm and Its Applications to Algebraic Cryptanalysis ⋮ Resultant over the residual of a complete intersection. ⋮ Constructing representations of split semisimple Lie algebras ⋮ Ordered set partitions and the 0-Hecke algebra ⋮ A new algorithm for computing regular representations for radicals of parametric differential ideals ⋮ Algebraic-geometry codes and decoding by error-correcting pairs ⋮ Using noncommutative Gröbner bases in solving partially prescribed matrix inverse completion problems ⋮ Algorithmic criteria for permutation orthogonal systems over finite fields. ⋮ Implicitization and parametrization of nonsingular cubic surfaces ⋮ Constructing Pairing-Friendly Elliptic Curves Using Gröbner Basis Reduction ⋮ Ordered set partitions and the 0-Hecke algebra ⋮ The Euclidean distance degree of an algebraic variety ⋮ Unnamed Item ⋮ A note on Nullstellensatz over finite fields ⋮ Optimal Difference Operator Selection ⋮ A Lie symmetry analysis and explicit solutions of the two‐dimensional ∞‐Polylaplacian ⋮ Aspects of the Finite Step Observability of Fractional Order Discrete-Time Polynomial Systems ⋮ The problem of detecting when two implicit plane algebraic curves are similar ⋮ Birkhoff Strata of Sato Grassmannian and Algebraic Curves ⋮ Algebraic hypersurfaces ⋮ Essential normality and the decomposability of homogeneous submodules ⋮ THE ANNIHILATING IDEAL OF THE FISHER INTEGRAL ⋮ Direct products in projective Segre codes ⋮ Additive normal forms and integration of differential fractions ⋮ Implicitizing rational surfaces using moving quadrics constructed from moving planes ⋮ Estimating the number of tetrahedra determined by volume, circumradius and four face areas using Groebner basis ⋮ Adaptive and optimal difference operators in image processing ⋮ Computing the canonical representation of constructible sets ⋮ Binomial vanishing ideals ⋮ Unobstructed Stanley-Reisner degenerations for dual quotient bundles on \(G(2,n)\) ⋮ The building game: from enumerative combinatorics to conformational diffusion ⋮ A note on Gröbner bases ⋮ Counting central configurations at the bifurcation points ⋮ Detecting rigid convexity of bivariate polynomials ⋮ On square positive extensions and cubature formulas ⋮ Minimum distance functions of graded ideals and Reed-Muller-type codes ⋮ Hilbert series and operator bases with derivatives in effective field theories ⋮ Noncommutative convexity arises from linear matrix inequalities ⋮ The Euclidean distance degree of Fermat hypersurfaces ⋮ Approximate Gröbner bases, overdetermined polynomial systems, and approximate GCDs ⋮ Gröbner bases and wavelet design ⋮ Electronic communication of mathematics and the interaction of computer algebra systems and proof assistants ⋮ A bridge between dynamic geometry and computer algebra ⋮ Polynomial equation solving by lifting procedures for ramified fibers ⋮ Classification of 6-dimensional nilpotent Lie algebras over fields of characteristic not 2 ⋮ Computing the Feng-Rao distances for codes from order domains ⋮ The invariant manifolds of systems with first integrals ⋮ Polytopes of minimum positive semidefinite rank ⋮ Some remarks on real and complex output feedback

Uses Software

This page was built for publication: