scientific article; zbMATH DE number 967945

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

Publication date: 20 January 1997

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

elimination theory robotics Buchberger's algorithm ideal membership problem solving polynomial equations Gröbner base computations in algebraic geometry automatic geometry theorem proving computations in commutative algebra

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) Research exposition (monographs, survey articles) pertaining to algebraic geometry (14-02) Computational aspects in algebraic geometry (14Q99) Research exposition (monographs, survey articles) pertaining to commutative algebra (13-02)

Related Items

Partial standard bases as a tool for studying families of singularities, Quasi-equivalence of heights in algebraic function fields of one variable, Lower Bounds for Depth-4 Formulas Computing Iterated Matrix Multiplication, The Geometry of Rank-One Tensor Completion, Identifiability of an X-Rank Decomposition of Polynomial Maps, On zero-dimensional linear sections of surfaces of maximal sectional regularity, An effective description of the roots of bivariates mod pk and the related Igusa’s local zeta function, Effective algebraic independence of values of \(E\)-functions, An algebraic formulation of hypergraph colorings, Tetrahedra with congruent facet pairs, Wallace-Simson theorem on four lines parallel to a plane, Natural differential invariants and equivalence of third order nonlinear differential operators, New algorithms and analyses for sum-preserving encryption, Characterizations and Criteria for Synchronization of Heterogeneous Networks to Linear Subspaces, On the computation of the Galois group of linear difference equations, Invariant algebraic surfaces of polynomial vector fields in dimension three, \texttt{Horst} meets \textit{Fluid}-SPN: Griffin for zero-knowledge applications, Some polynomial conditions for cyclic quadrilaterals, tilted kites and other quadrilaterals, On Field Size and Success Probability in Network Coding, 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, The Algebraic Method in Quadrature for Uncertainty Quantification, Curves of genus 2 with \((N,N)\) decomposable Jacobians, On the minors of the implicitization Bézout matrix for a rational plane curve, Computing the radical of an ideal in positive characteristic, A Reduction Attack on Algebraic Surface Public-Key Cryptosystems, Degree reduction under specialization, On the relative power of polynomials with real, rational, and integer coefficients in proofs of termination of rewriting, Differential algebra methods for the study of the structural identifiability of rational function state-space models in the biosciences, 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, A Framework for Space Complexity in Algebraic Proof Systems, Detecting All Dependences in Systems of Geometric Constraints Using the Witness Method, ON CORRECT KNOT LATTICES ADMITTING UNIQUE BIVARIATE GRADED LAGRANGE INTERPOLATION FOR CARTESIAN FOLIUM, ON UNISOLVENT SETS OF FUNCTIONALS FOR BIVARIATE BIRKHOFF INTERPOLATION, Rational univariate reduction via toric resultants, Culler-Shalen seminorms of fillings of the Whitehead link exterior, On the Height of the Sylvester Resultant, Centers and Limit Cycles of a Generalized Cubic Riccati System, Quadric Arrangement in Classifying Rigid Motions of a 3D Digital Image, Resonance Set of a Polynomial and Problem of Formal Stability, Equivariant differential embeddings, Numerical Computation of the Hilbert Function and Regularity of a Zero Dimensional Scheme, Structural cryptanalysis of McEliece schemes with compact keys, A survey of the representations of rational ruled surfaces, Linear spectral sets and their extremal varieties, On the connection between Ritt characteristic sets and Buchberger-Gröbner bases, Polly cracker, revisited, Equations for GL invariant families of polynomials, Application of Gröbner bases and quantifier elimination for insightful engineering design, Infinite orders and non-\(D\)-finite property of 3-dimensional lattice walks, Near weights on higher dimensional varieties, On one class of Hermite projectors, Aggregate error locator and error value computation in AG codes, Efficient Groebner walk conversion for implicitization of geometric objects, Certified numerical real root isolation for bivariate nonlinear systems, Diamond representations of \({\mathfrak {sl}}(n)\), Comments on ``Multi-dimensional filter banks and wavelets -- a system theoretic perspective, Prony's method in several variables: symbolic solutions by universal interpolation, Number of common roots and resultant of two tropical univariate polynomials, Representing and solving finite-domain constraint problems using systems of polynomials, Rigidity of actions with extreme deviation from multiple mixing, Product logic and probabilistic Ulam games, A Gröbner basis criterion for birational equivalence of affine varieties, Applying Gröbner basis techniques to group theory., DRL\(^*\): A hierarchy of strong block-decomposable linear relaxations for 0-1 mips, A formal theory of matrix primeness, Generating differential invariants, Foliations on \(\mathbb {CP}^2\) of degree \(d\) with a singular point with Milnor number \(d^2+d+1\), A note on determine the greatest common subfamily of two NFSRs by Gröbner basis, Continuity properties for flat families of polynomials. I: Continuous parametrizations, On some properties of calibrated trifocal tensors, Simultaneous triangularization of commuting matrices for the solution of polynomial equations, Algorithmic Thomas decomposition of algebraic and differential systems, Probabilistic analysis on Macaulay matrices over finite fields and complexity of constructing Gröbner bases, Markov bases for typical block effect models of two-way contingency tables, The term orderings which are compatible with composition. II., The correspondence between multivariate spline ideals and piecewise algebraic varieties, Vector multivariate subdivision schemes: comparison of spectral methods for their regularity analysis, The applications of computational algebraic geometry to the analysis of designed experiments: a case study, Discriminants and nonnegative polynomials, Charting the landscape of \( \mathcal{N} = 4 \) flux compactifications, Multi-break rearrangements and chromosomal evolution, Moh's example of algebroid space curves, Optimization of the determinant of the Vandermonde matrix and related matrices, Standard monomial theory for flag algebras of GL\((n)\)and Sp\((2n)\), Quadratic ideals and Rogers-Ramanujan recursions, Multivariate refinable functions, differences and ideals -- a simple tutorial, Two new reformulation convexification based hierarchies for 0-1 MIPs, Groebner basis methods for multichannel sampling with unknown offsets, An algebraic framework for Diffie-Hellman assumptions, Computational aspects of the higher Nash blowup of hypersurfaces, Numerical computation of H-bases, An improved semidefinite programming hierarchy for testing entanglement, Prony's method in several variables, Geometric characterization of data sets with unique reduced Gröbner bases, Unisolvency for multivariate polynomial interpolation in Coatmèlec configurations of nodes, Full rank interpolatory subdivision: a first encounter with the multivariate realm, Multistationarity in the space of total concentrations for systems that admit a monomial parametrization, Polynomial growth of sumsets in abelian semigroups, 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, Homeomorphic approximation of the intersection curve of two rational surfaces, Cryptanalysis of an authentication scheme using truncated polynomials, Algebraic approaches for solving isogeny problems of prime power degrees, An efficient algorithm for decomposing multivariate polynomials and its applications to cryptography, Light-cone Yang-Mills mechanics: \(SU(2)\) vs. \(SU(3)\), Differential invariant algebras of Lie pseudo-groups, Incomplete Gröbner basis as a preconditioner for polynomial systems, On the second weight of generalized Reed-Muller codes, Endomorphisms of bounded height and resultant, Detecting binomiality, ``Painlevé 34 equation: equivalence test, Stability of one-dimensional inelastic collision sequences of four balls, An algebraic attack on rank metric code-based cryptosystems, Bases of minimum-weight vectors for codes from designs, Iterated discriminants, Computing fundamental domains for Fuchsian groups, 2-colorability of \(r\)-uniform hypergraphs, Locus computation in dynamic geometry environment, Envelopes of \(k\)-arcs in projective planes over finite fields and Gröbner bases, Two polynomial representations of experimental design, An algebraic formula for the intersection number of a polynomial immersion, High-dimensional switches and the modelling of cellular differentiation, Optimization of total harmonic current distortion and torque pulsation reduction in high-power induction motors using genetic algorithms, Challenges of symbolic computation: My favorite open problems. With an additional open problem by Robert M. Corless and David J. Jeffrey, Standard pairs and group relaxations in integer programming, Determining the number and structure of phylogenetic invariants., Algebraic invariants of certain projective monomial curves, On the parametrization of hyperelliptic fields with \(S\)-units of degrees 7 and 9, 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, Finite alphabet source recovery in polynomial systems., Hrushovski's algorithm for computing the Galois group of a linear differential equation, Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition, A general method of finding new symplectic schemes for Hamiltonian mechanics, Implicitization of rational surfaces by means of polynomial interpolation, Heuristic decoding of linear codes using commutative algebra, Identifiability and estimation of multiple transmission pathways in cholera and waterborne disease, Gröbner bases and polyhedral geometry of reducible and cyclic models., Overdetermined strata for degree 5 hyperbolic polynomials, Gröbner basis of the ideal of focus quantities of the Kukles cubic system

Uses Software