Using Algebraic Geometry

DOI10.1007/b138611zbMath1079.13017OpenAlexW1483218536MaRDI QIDQ4672512

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

Publication date: 3 May 2005

Published in: Graduate Texts in Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b138611

zbMATH Keywords

integer programming Gröbner basis polytopes resultants free resolution coding theory Gröbner fan Maple code Gröbner walk

Mathematics Subject Classification ID

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) Effectivity, complexity and computational aspects of algebraic geometry (14Q20) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to commutative algebra (13-01) Research exposition (monographs, survey articles) pertaining to commutative algebra (13-02) Computational aspects and applications of commutative rings (13Pxx)

Related Items

Solving composite sum of powers via Padé approximation and orthogonal polynomials with application to optimal PWM problem, A simplified rational representation for positive-dimensional polynomial systems and SHEPWM equations solving, Computing the determinant of a matrix with polynomial entries by approximation, Faster geometric algorithms via dynamic determinant computation, Numerical methods for nonlinear two-parameter eigenvalue problems, Automatic differentiation with higher infinitesimals, or computational smooth infinitesimal analysis in Weil algebra, Finite sets of $d$-planes in affine space, $\mathbb{Z}_2$-graded Poisson algebras, their deformations and cohomology in low dimensions, Dimension and bases for geometrically continuous splines on surfaces of arbitrary topology, Hermite interpolation by piecewise polynomial surfaces with polynomial area element, A very brief introduction to nonnegative tensors from the geometric viewpoint, Irrational mixed decomposition and sharp fewnomial bounds for tropical polynomial systems, Adaptive integrand decomposition in parallel and orthogonal space, Solving bivariate systems using rational univariate representations, Computational algebraic geometry and global analysis of regional manipulators, A certified numerical algorithm for the topology of resultant and discriminant curves, On the nature of the generating series of walks in the quarter plane, Tensor eigenvalue complementarity problems, Isosingular sets and deflation, Saari's conjecture for the restricted three-body problem, Symmetric tensor decomposition, A novel solution to the P4P problem for an uncalibrated camera, A differential operator for integrating one-loop scattering equations, Properties and applications of Fisher distribution on the rotation group, A fast recursive orthogonalization scheme for the Macaulay matrix, A proof of Schwartz's conjecture about the eigenvalues of Lannes' $T$-functor, On the null spaces of the Macaulay matrix, Shellability and freeness of continuous splines, Sparse resultants and straight-line programs, Classical quasi-steady state reduction -- a mathematical characterization, About Gordan's algorithm for binary forms, On linearizations of the quadratic two-parameter eigenvalue problem, Computing the state difference equations for discrete overdetermined linear $m \operatorname{D}$ systems, On the topology of real algebraic plane curves, Minimal generators of the defining ideal of the Rees algebra associated to monoid parameterizations, Topology of 2D and 3D rational curves, Hadamard products of linear spaces, Bernstein Bézoutians and application to intersection problems, The F$_{4}$-algorithm for Euclidean rings, Bounding invariants of fat points using a coding theory construction, Some algebraic methods for solving multiobjective polynomial integer programs, Incidences between points and lines on two- and three-dimensional varieties, Two-view orthographic epipolar geometry: minimal and optimal solvers, Algorithms for the orthographic-$n$-point problem, On triple intersections of three families of unit circles, Growth at infinity and index of polynomial maps, A polynomial-time algorithm to compute generalized Hermite normal forms of matrices over $\mathbb{Z} [x$], List decoding of Reed-Solomon codes from a Gröbner basis perspective, The class of Eisenbud-Khimshiashvili-Levine is the local $\mathbb{A}^1$-Brouwer degree, Polynomial maps with maximal multiplicity and the special closure, Observability at an initial state for polynomial systems, Counting multijoints, Proving inequalities and solving global optimization problems via simplified CAD projection, Free nilpotent and $H$-type Lie algebras. Combinatorial and orthogonal designs, Homotopy techniques for solving sparse column support determinantal polynomial systems, A modular algorithm to compute the generalized Hermite normal form for $\mathbb{Z}[x$-lattices], Bivariate semialgebraic splines, Algorithmic calculus for Lie determining systems, Generalized Hamming weights of affine Cartesian codes, Parametric FGLM algorithm, Bivariate triangular decompositions in the presence of asymptotes, Completion of overdetermined parabolic PDEs, A package for computations with classical resultants, Incidences between points and lines in ${\mathbb {R}}^4$, Invariant algebraic sets and symmetrization of polynomial systems, Bounding the degrees of a minimal $\mu$-basis for a rational surface parametrization, Symbolic computation on the partition lattice of an $n$-set, Type-II matrices and combinatorial structures, An algebraic approach to integer portfolio problems, Deterministic normal position transformation and its applications, Single-lifting Macaulay-type formulae of generalized unmixed sparse resultants, Implicit representations of high-codimension varieties, On convolutions of algebraic curves, Forward kinematic problem of 5-R$\underline {\text P}$UR parallel mechanisms (3T2R) with identical limb structures, A simplification for Exp-function method when the balanced nonlinear term is a certain product, On the multihomogeneous Bézout bound on the number of embeddings of minimally rigid graphs, A comparison of unrestricted dynamic Gröbner basis algorithms, A bivariate preprocessing paradigm for the Buchberger-Möller algorithm, Certified numerical algorithm for isolating the singularities of the plane projection of generic smooth space curves, The product of the eigenvalues of a symmetric tensor, A generalization of Castelnuovo-Mumford regularity for representations of noncommutative algebras., Solving non-linear Boolean equation systems by variable elimination, Finding multiplies solutions for non-linear integer programming, On the decoding of binary cyclic codes with the Newton identities, Classification of triples of lattice polytopes with a given mixed volume, The discretization for bivariate ideal interpolation, On factor left prime factorization problems for multivariate polynomial matrices, Minimizing rational functions by exact Jacobian SDP relaxation applicable to finite singularities, Compact packings of the plane with three sizes of discs, Criteria to bound the number of critical periods, Tensor theta norms and low rank recovery, On the Orlik-Terao ideal and the relation space of a hyperplane arrangement, Computing topological zeta functions of groups, algebras, and modules. II., Relative Gröbner and involutive bases for ideals in quotient rings, Solving systems of nonlinear equations with continuous GRASP, The Voronoi diagram of three lines, Enumerating Polytropes, Mixed volume techniques for embeddings of Laman graphs, Equivariance and algebraic relations for curves, Splines, lattice points, and arithmetic matroids, Observability Conditions by Polynomial Ideals, Complex Links and Hilbert–Samuel Multiplicities, A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Gröbner Bases, Strong $\mu$-Bases for Rational Tensor Product Surfaces and Extraneous Factors Associated to Bad Base Points and Anomalies at Infinity, An improvement of a key exchange protocol relying on polynomial maps, Stickelberger and the Eigenvalue Theorem, Rational Points and Trace Forms on a Finite Algebra over a Real Closed Field, A Comprehensive Approach for Camera/LIDAR Frame Alignment, The algebro-geometric method: Solving algebraic differential equations by parametrizations, Unnamed Item, The canonical ring of a stacky curve, Toric eigenvalue methods for solving sparse polynomial systems, Algorithms for fundamental invariants and equivariants of finite groups, The Maximum Likelihood Degree of Sparse Polynomial Systems, Subresultants and the Shape Lemma, Dynamically improper hypersurfaces for endomorphisms of projective space, A solution to the global identification problem in DSGE models, Using Symbolic Computation to Analyze Zero-Hopf Bifurcations of Polynomial Differential Systems, Universal Analytic Gröbner Bases and Tropical Geometry, Boolean cumulants and subordination in free probability, Kac-Rice formulas and the number of solutions of parametrized systems of polynomial equations, Integral feedback in synthetic biology: negative-equilibrium catastrophe, The characteristic polynomials of uniform double hyperstars and uniform hypertriangles, Global multiplicity, special closure and non-degeneracy of gradient maps, The Canny-Emiris conjecture for the sparse resultant, $l^{p/2,q/2}$-singular values of a real partially symmetric rectangular tensor, Images of locally finite $\mathcal{E} $-derivations of bivariate polynomial algebras, Nonparametric identification and estimation with discrete instruments and regressors, Sharp estimates of the solutions to Bézout's polynomial equation and a corona theorem, On the Density of Eigenvalues on Periodic Graphs, Employing the cloud for finding solutions to large systems of nonlinear equations, INEQUALITIES BETWEEN MIXED VOLUMES OF CONVEX BODIES: VOLUME BOUNDS FOR THE MINKOWSKI SUM, Algebraic curves and foliations, Zero distribution of random Bernoulli polynomial mappings, $l^{p, q/2}$-singular values of a real partially symmetric rectangular tensor, Twisted indices, Bethe ideals and 3d $\mathcal{N} = 2$ infrared dualities, An algebraic property of Reidemeister torsion, Counting solutions of a polynomial system locally and exactly, EXPANDING POLYNOMIALS ON SETS WITH FEW PRODUCTS, A direct method for calculating M-eigenvalues of an elasticity tensor, Squarefree normal representation of zeros of zero-dimensional polynomial systems, Algebraic and geometric multiplicities for some hypergraphs, Invariant smooth quartic surfaces by all finite primitive subgroups of $\mathrm{PGL}_4 (\mathbb{C})$, On a relationship between the characteristic and matching polynomials of a uniform hypertree, Effective Algebraic Analysis Approach to Linear Systems over Ore Algebras, Unnamed Item, Uniform bounds for the number of rational points on symmetric squares of curves with low Mordell–Weil rank, On the construction of staggered linear bases, On the cone eigenvalue complementarity problem for higher-order tensors, Resultant of an equivariant polynomial system with respect to the symmetric group, The syzygy theorem for Bézout rings, Higher Nash blowups of the A₃-singularity, Compact Packings of the Plane with Three Sizes of Discs, Regularity bounds for Koszul cycles, MULTIPLICITY AND ŁOJASIEWICZ EXPONENT OF GENERIC LINEAR SECTIONS OF MONOMIAL IDEALS, A rank question for homogeneous polynomials, Some new theoretical and computational results around the Jacobian conjecture, What Type of Apollonian Circle Packing Will Appear?, Maximal directional operators along algebraic varieties, An improvement of the rational representation for high-dimensional systems, Solving multivariate polynomial matrix Diophantine equations with Gröbner basis method, A package for computations with sparse resultants, The special closure of polynomial maps and global non-degeneracy, QUADRATIC RECIPROCITY VIA RESULTANTS, Milnor numbers of projective hypersurfaces and the chromatic polynomial of graphs, Computation with Polynomial Equations and Inequalities Arising in Combinatorial Optimization, Gröbner fans of $x$-homogeneous ideals in $R [\![ t \!][x]$], Gaussian quadrature rules for $C^1$ quintic splines with uniform knot vectors, Linear Equations for the Number of Intervals Which are Isomorphic with Boolean Lattices and the Dehn–Sommerville Equations, Complexity of constructing Dixon resultant matrix, Betti numbers of Stanley-Reisner rings determine hierarchical Markov degrees, Analysis of normal-form algorithms for solving systems of polynomial equations, The primary components of positive critical binomial ideals, Unit Distances in Three Dimensions, On a probabilistic local-global principle for torsion on elliptic curves, Integrability and regularity of rational functions:, On the annihilator ideal of an inverse form, Improving root separation bounds, Inverse multivariate polynomial root-finding: numerical implementations of the affine and projective Buchberger-Möller algorithm, Semialgebraic splines, Relative generalized Hamming weights of affine Cartesian codes, Reflexive Symmetry Detection in Single Image, Unnamed Item, Computing coupled border bases, New remarks on the factorization and equivalence problems for a class of multivariate polynomial matrices, Multistationarity in structured reaction networks, A combinatorial method for computing characteristic polynomials of starlike hypergraphs, Separation bounds for polynomial systems, In-depth comparison of the Berlekamp-Massey-Sakata and the Scalar-FGLM algorithms: the adaptive variants, Gröbner bases of reaction networks with intermediate species, On Chern classes of the tensor product of vector bundles, A concise proof of the Kronecker polynomial system solver from scratch, A new algorithm for computing staggered linear bases, Green-Lazarsfeld condition for toric edge ideals of bipartite graphs, On the equivalence of two post-quantum cryptographic families, Log canonical threshold and diagonal ideals, Using small-scale quantum devices to solve algebraic equations, Algorithms for computing greatest common divisors of parametric multivariate polynomials, Locating and Counting Equilibria of the Kuramoto Model with Rank-One Coupling, Ansätze for scattering amplitudes from $p$-adic numbers and algebraic geometry, Involutive bases algorithm incorporating F$_5$ criterion, Multidimensional realisation theory and polynomial system solving, Equivalence and reduction of bivariate polynomial matrices to their Smith forms, Effective coefficient asymptotics of multivariate rational functions via semi-numerical algorithms for polynomial systems, Numerical approximation of multiple isolated roots of analytical systems, Some manifolds of Khinchin type for convergence, Spaces of polygonal triangulations and Monsky polynomials, Exact Voronoi diagram of smooth convex pseudo-circles: general predicates, and implementation for ellipses, Homogeneous Einstein metrics on non-Kähler C-spaces, Darboux theory of integrability in the sparse case, Parallel computation of real solving bivariate polynomial systems by zero-matching method, A reduction formula for the characteristic polynomial of hypergraph with pendant edges, The generic Gröbner walk, Combinatorial integers $\binom{m,n}{j}$ and Schubert calculus in the integral cohomology ring of infinite smooth flag manifolds, The hyperdeterminant and triangulations of the 4-cube, Duality of matrix pencils, Wong chains and linearizations, The marked length spectrum of a projective manifold or orbifold, Gröbner bases over fields with valuations, Commutative algebraic methods for controllability of discrete-time polynomial systems, An exact algebraic $\epsilon $-constraint method for bi-objective linear integer programming based on test sets, Numerical Instability of Resultant Methods for Multidimensional Rootfinding, Modeling three-dimensional surface-to-surface rigid contact and impact, Computing Tensor Eigenvalues via Homotopy Methods, Kinematical analysis of overconstrained and underconstrained mechanisms by means of computational algebraic geometry, A FIRST APPROACH TOWARDS NORMAL PARAMETRIZATIONS OF ALGEBRAIC SURFACES, An algebraic characterization of injectivity in phase retrieval, Supersymmetric Landau-Ginzburg tensor models, Computing H-bases via minimal bases for syzygy modules, Tensors, Polynomials and Models for Directional Data, On the stability of computing polynomial roots via confederate linearizations, Counting certain quadratic partitions of zero modulo a prime number, The geometry of the flex locus of a hypersurface, Extending holomorphic maps from Stein manifolds into affine toric varieties, Multiple zeros of nonlinear systems, Analysis of multivariate encryption schemes: application to Dob, Eigenvectors of tensors -- a primer, Two polynomial representations of experimental design, Rayleigh quotient methods for estimating common roots of noisy univariate polynomials, Symbolic computation for the qualitative theory of differential equations, Algebraic methods to study the dimension of supersmooth spline spaces, Weil’s Galois descent theorem from a computational point of view, Nœther bases and their applications, Direct methods to compute all $Z$-eigenpairs of a tensor with dimension 2 or 3, Kinematic singularities of Feynman integrals and principal $A$-determinants, Hypersurfaces with vanishing Hessian via Dual Cayley Trick, Applying Gröbner basis method to multiparametric polynomial nonlinear programming, Weakly Polymatroidal Ideals, Newton-type methods for simultaneous matrix diagonalization, Criteria for strict monotonicity of the mixed volume of convex polytopes, A polynomial-time algorithm for solving the hidden subset sum problem, Sparse interpolation in terms of multivariate Chebyshev polynomials, Subalgebras in $K[x$ of small codimension], On the complexity of the $F_5$ Gröbner basis algorithm, Determining ``small parameters for quasi-steady state, Bounds for generalized Hamming weights of general AG codes, Applications of an improved Dixon elimination method for the inverse kinematics of 6R manipulators, Some results on the vanishing conjecture of differential operators with constant coefficients, Structural identifiability of series-parallel LCR systems, Heuristics to sift extraneous factors in Dixon resultants

Uses Software