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 (only showing first 100 items - show all)

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

Uses Software

This page was built for publication: