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

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, 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, 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, Polynomial-exponential decomposition from moments, Efficient decoding of interleaved subspace and Gabidulin codes beyond their unique decoding radius using Gröbner bases, Non-holomorphic harmonic morphisms from Kähler manifolds, Resolving decompositions for polynomial modules, Minimal free resolutions of lattice ideals of digraphs, A stabilized normal form algorithm for generic systems of polynomial equations, A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking, The algebra and geometry of Steiner and other quadratically parametrizable surfaces, An algorithm of computing $b$-functions, A note on linear Sperner families, Solving a system of algebraic equations with symmetries, An algorithm for the Quillen-Suslin theorem for monoid rings, Algorithms for the $b$-function and $D$-modules associated with a polynomial, Recurrent number theoretic functions of several variables, Gröbner bases for $D$-modules on a non-singular affine algebraic variety, Some enumeration problems on central configurations at the bifurcation points, Algorithms for $b$-functions, restrictions, and algebraic local cohomology groups of $D$-modules, Test sets for integer programs, Involution analysis for nonlinear exterior differential systems, Schubert varieties, toric varieties and ladder determinantal varieties, On integrability conditions and limit cycle bifurcations for polynomial systems, On the structure of Hermitian codes, On Hilbert-Kunz functions of some hypersurfaces, On ordinary differential equations admitting a finite linear group of symmetries, Hilbert functions of graded algebras over Artinian rings, The division algorithm in sextic truncated moment problems, Classification of hereditary matrices, Observer synthesis for linear hybrid systems with constrained discrete dynamics, The uniqueness of Bézier control points, The problem of defining the singular points of quasi-linear differential-algebraic systems, Indexed types, Covers and fans of polynomial ideals, On the walk, Polynomial inequalities on certain algebraic hypersurfaces, Resultant elimination via implicit equation interpolation, Complete intersection vanishing ideals on sets of clutter type over finite fields, Real congruence of complex matrix pencils and complex projections of real Veronese varieties., An addition algorithm in Jacobian of $C_{ab}$ curves., Confounding revisited with commutative computational algebra, On implicit systems of differential equations., Gröbner bases of certain zero-dimensional ideals arising in coding theory, A statistical analysis of the numerical condition of multiple roots of polynomials., Implementation of a new algorithm of computation of the Poincaré-Lyapunov constants., A survey on algorithms for computing comprehensive Gröbner systems and comprehensive Gröbner bases, Block Stanley decompositions. II: Greedy algorithms, applications, and open problems, Vanishing ideals of projective spaces over finite fields and a projective footprint bound, Maximum likelihood estimation of symmetric group-based models via numerical algebraic geometry, Geometric constraints on the space of $ \mathcal{N}=2$ SCFTs. II: Construction of special Kähler geometries and RG flows, On the convergence of certain sequences of rational approximants to meromorphic functions in several variables, Determinantal varieties over truncated polynomial rings, Singularity analysis of quasi-linear DAEs, On eigen-structure of a nonlinear map in $R^n$, A generic effective Nullstellensatz, A divide-and-conquer algorithm for generating Markov bases of multi-way tables, Peripheral polynomials of hyperbolic knots, Locally recoverable codes from rational maps, Matrices in elimination theory, Simultaneous elimination by using several tools from real algebraic geometry, Gröbner bases, invariant theory and equivariant dynamics, How symmetric can a function be?, Metabolic isotopomer labeling systems. II: Structural flux identifiability analysis., From numbers to rings: The early history of ring theory, The moving line ideal basis of planar rational curves, A note on observability tests for general polynomial and simple Wiener-Hammerstein systems, Controllability for a class of simple Wiener-Hammerstein systems, On computer-assisted research in homological algebra., Basis for power series solutions to systems of linear, constant coefficient partial differential equations, On the complexity of smooth projective toric varieties, Finite lattices and lexicographic Gröbner bases, Computer assistance for ``discovering formulas in system engineering and operator theory, Multiplicative bases, Gröbner bases, and right Gröbner bases, A variety of commuting triples, The common invariant subspace problem: an approach via Gröbner bases, $\mathbb N$-solutions to linear systems over $\mathbb Z$, Espace des représentations du groupe d'un noeud classique dans un groupe de Lie. (Representation space of classical knot groups in a Lie group), Random heuristic search: applications to GAs and functions of unitation., Connectedness of Hilbert function strata and other connectedness results, Singular loci of ladder determinantal varieties and Schubert varieties, Intersections of sequences of ideals generated by polynomials, Toric intersection theory for affine root counting, Elimination of variables in linear solvable polynomial algebras and $\delta$-holonomicity, Chromatic polynomials and order ideals of monomials, Complexity of computing the local dimension of a semialgebraic set, Computer algebra and algebraic geometry -- achievements and perspectives, Multivariate interpolation and standard bases for Macaulay modules, Symmetry, invariants, topology. Basic tools, Symmetry, invariants, and topology in molecular models, Toric ideals generalized by quadratic binomials, On the depth of the invariants of the symmetric power representations of $SL_2(\mathbb{F}_p)$, Hilbert function and complexity lower bounds for symmetric Boolean functions, Computing a context-free grammar-generating series, A new algorithm for discussing Gröbner bases with parameters., On perturbed oscillators in 1-1-1 resonance: The case of axially symmetric cubic potentials, Computing modular invariants of $p$-groups., Real solving for positive dimensional systems., Taylor and Lyubeznik resolutions via Gröbner bases., Traveling wave solutions for nonlinear equations using symbolic computation, Unimodular triangulations and coverings of configurations arising from root systems, Application of Gröbner bases to problems of movement of a particle, Gröbner basis solutions of constrained interpolation problems, 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, On the determination of cusp points of 3-RPR parallel manipulators, On minimal disjoint degenerations of modules over tame path algebras., Surveying points in the complex projective plane, Rees algebras of truncations of complete intersections, Stochastic approximation Monte Carlo importance sampling for approximating exact conditional probabilities, Algebraic methods for parameterized codes and invariants of vanishing ideals over finite fields, On the computation of the Apéry set of numerical monoids and affine semigroups, On the relation between the MXL family of algorithms and Gröbner basis algorithms, Chemical reaction systems with toric steady states, A logic approach to decision taking in a railway interlocking system using Maple, Decomposing tensors into frames, Minimum number of ideal generators for a linear center perturbed by homogeneous polynomials, Constructing semisimple subalgebras of semisimple Lie algebras, Limit cycle bifurcations from a non-degenerate center, Mechanism mobility and a local dimension test, The isomorphism problem for some universal operator algebras, Symbolic computation and the cyclicity problem for singularities, Isochronicity and normal forms of polynomial systems of ODEs, Gröbner bases of contraction ideals, Higher order limit cycle bifurcations from non-degenerate centers, Implicit discrete-time systems and accessibility, An approach to solving systems of polynomials via modular arithmetics with applications, Computing infeasibility certificates for combinatorial problems through Hilbert's Nullstellensatz, Gap sequences of 1-Weierstrass points on non-hyperelliptic curves of genus 10, Gröbner-Shirshov bases for Lie algebras over a commutative algebra, Cohen-Macaulayness of almost complete intersection tangent cones, New approaches to plactic monoid via Gröbner-Shirshov bases., Computing modular correspondences for abelian varieties, On the classification of simple quadratic derivations over the affine plane, Regularity and algebraic properties of certain lattice ideals, Linearizability conditions of time-reversible quartic systems having homogeneous nonlinearities, Observability at an initial state for polynomial systems, A new method to compute the singularities of offsets to rational plane curves, Local algebraic analysis of differential systems, A note on dead-beat controllability of generalised Hammerstein systems, An implicitization algorithm with fewer variables, Constructive algebra methods for the $L_ 2$-problem for stable linear systems, Algorithms for $b$-functions, induced systems, and algebraic local cohomology of $D$-modules, FPTAS for optimizing polynomials over the mixed-integer points of polytopes in fixed dimension, On the Calabi-Yau phase of $(0,2)$ models, Asymmetric approach to computation of Gröbner bases, Multiplicative orders on terms, Many-sorted equivalence of shiny and strongly polite theories, The ideal membership problem and polynomial identity testing, Relations between roots and coefficients, interpolation and application to system solving, Non-standard approaches to integer programming, On the structure of order domains, Estimating the number of limit cycles in polynomial systems, Linearizability conditions for Lotka-Volterra planar complex quartic systems having homogeneous nonlinearities, Existence and uniqueness of fuzzy ideals, An algorithm for the complete symmetry classification of differential equations based on Wu's method, Linear precision for parametric patches, Properness defects of projection and minimal discriminant variety, Vector invariants for the two-dimensional modular representation of a cyclic group of prime order, Computing resolutions of quotient singularities, Thue equations and torsion groups of elliptic curves, Superposition interpolation process in $\mathbb C^n$, Rational hypersurfaces with rational convolutions, On the decoding of binary cyclic codes with the Newton identities, Divisors on rational normal scrolls, PN surfaces and their convolutions with rational surfaces, Feature controlled adaptive difference operators, Solving polynomial systems via symbolic-numeric reduction to geometric involutive form, Subdivision methods for solving polynomial equations, An approach from answer set programming to decision making in a railway interlocking system, Computing representations for radicals of finitely generated differential ideals, Bowker's test for symmetry and modifications within the algebraic framework, From line-systems to sphere-systems -- Schläfli's double six, Lie's line-sphere transformation, and Grace's theorem, Triple-loop networks with arbitrarily many minimum distance diagrams, Isolating the real roots of the piecewise algebraic variety, Generators of the ideal of an algebraic space curve, Symmetric attractors in three-dimensional space., Elements of large order on varieties over prime finite fields, Catalan paths and quasi-symmetric functions, Alexander invariants of complex hyperplane arrangements, $D$-resultant for rational functions, Bases for some reciprocity algebras I, Pseudozeros of multivariate polynomials, Computation with Polynomial Equations and Inequalities Arising in Combinatorial Optimization, Algebraic Theory of Linear Systems: A Survey, Algebraic properties of multilinear constraints, Polynomial interpolation, ideals and approximation order of multivariate refinable functions, Stable normal forms for polynomial system solving, The cyclicity of a cubic system with nonradical Bautin ideal, A Groebner bases-based approach to backward reasoning in rule based expert systems, Strongly Noetherian rings and constructive ideal theory, Short rational functions for toric algebra and applications, Linear differential equations in exponential extensions, Regularity of multivariate Birkhoff interpolation schemes, Standard basis of a polynomial ideal over commutative Artinian chain ring, Maxwell's conjecture on three point charges with equal magnitudes, Superspecial curves of genus 4 in small characteristic, Gröbner bases of associative algebras and the Hochschild cohomology, Error formulas for ideal interpolation, Tail positive words and generalized coinvariant algebras, Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems, On a minimal solution for the indefinite multidimensional truncated moment problem, Automated discovery of geometric theorems based on vector equations, Exact solutions in low-rank approximation with zeros, Gröbner–Shirshov bases for Lie Ω-algebras and free Rota–Baxter Lie algebras, On noncommutative finite factorization domains, Cryptanalysis of the TRMS Signature Scheme of PKC’05, The center conditions for a Liénard system, A Multigrid Approach to SDP Relaxations of Sparse Polynomial Optimization Problems, Free Lie differential Rota–Baxter algebras and Gröbner–Shirshov bases, A polynomial model for logics with a prime power number of truth values, Nash’s work in algebraic geometry, Maximal degeneracy points of GKZ systems, Information sets in abelian codes: defining sets and Groebner basis, Bounds on collaborative decoding of interleaved Hermitian codes and virtual extension, Ideal-specific elimination orders form a star-shaped region, Automated Study of Envelopes of One-Parameter Families of Surfaces, Cubic theta functions, Gröbner-Shirshov bases for semirings., Some new results on Gröbner–Shirshov bases for Lie algebras and around, Unnamed Item, Integrability of 3-dim polynomial systems with three invariant planes, Gröbner bases, H–bases and interpolation, Computing the degree of a lattice ideal of dimension one, Cubic column relations in truncated moment problems, Nonintersecting Brownian excursions, The Rigidity Theorem of Fano–Segre–Iskovskikh–Manin–Pukhlikov–Corti–Cheltsov–de Fernex–Ein–Mustaţă–Zhuang, Algebraic solutions of holomorphic foliations: an algorithmic approach, Rational invariants of a group action. Construction and rewriting, Polynomial invariants of finite groups. A survey of recent developments, Minimum distance functions of complete intersections, COMPUTING THE DISTANCE DISTRIBUTION OF SYSTEMATIC NONLINEAR CODES, Irreducibility criterion for algebroid curves, Algebraic statistics of level codings for fractional factorial designs, A note on Gröbner bases and Berlekamp's algorithm, Gröbner–Shirshov bases of the Lie algebra $D^{+}_{n}$, Cut numbers of 3-manifolds, On the set of Hilbert polynomials, On systems of binomials in the ideal of a toric variety, Galois averages, The membrane inclusions curvature equations, Generalizing circles over algebraic extensions, Hadamard ideals and Hadamard matrices with two circulant cores, Structure of Gröbner bases with respect to block orders, Computing Gröbner fans, Polynomial Equivalence Problems: Algorithmic and Theoretical Aspects, On the central configurations of the planar restricted four-body problem, Footprint and minimum distance functions, Quadratic initial ideals of root systems, Finite Rings with Applications, Towards invariants of surfaces in $4$-space via classical link invariants, Solving Polynomial Systems via Truncated Normal Forms, Gröbner–Shirshov bases for brace algebras, Invariants of the diagonal $C_{p}$-action on $V_{3}$, Lagrange interpolation on subgrids of tensor product grids, Convex Hulls of Algebraic Sets, Some geometric properties of the solutions of complex multi-affine polynomials of degree three, SAGBI bases for rings of invariant Laurent polynomials, Finiteness of stationary configurations of the four-vortex problem, Orbit Closures of Linear Algebraic Groups, Two way subtable sum problems and quadratic Gröbner bases, Existence, Stability, and Symmetry of Relative Equilibria with a Dominant Vortex, Unnamed Item, Homogeneous Einstein metrics on 𝐺₂/𝑇, Character varieties, Lower degree bounds for modular vector invariants, Fast computation of a rational point of a variety over a finite field, The non-solvability by radicals of generic 3-connected planar Laman graphs, Motivations for an arbitrary precision interval arithmetic and the MPFI library, A robust algorithm for finding the real intersections of three quadric surfaces, Extrema of a real polynomial, A Gröbner basis for the $2\times 2$ determinantal ideal mod $t^2$, Polynomial recurrences and cyclic resultants, Ratio vectors of fourth degree polynomials, An ideal separating extension of affine space, Unnamed Item, Double Bruhat cells and total positivity, A flexibility-based finite element for linear analysis of arbitrarily curved arches, Computing PUR of zero-dimensional ideals of breadth at most one, Numbers of relative equilibria in the planar four-vortex problem: some special cases, Gröbner-Shirshov bases for some Lie algebras, Method of averaging in Clifford algebras, Analysis of an algorithm to compute the cohomology groups of coherent sheaves and its applications, Integral closure of monomial ideals on regular sequences, On Reidemeister torsion of flag manifolds of compact semisimple Lie groups, On the number of algebraically independent Poincaré-Liapunov constants, Miura conjecture on affine curves, Injectivity of real rational mappings: the case of a mixture of two Gaussian laws, The Keplerian regime of charged particles in planetary magnetospheres, Applications of Gröbner bases to signal and image processing: a survey, From algebraic sets to monomial linear bases by means of combinatorial algorithms, Computing global minima to polynomial optimization problems using Gröbner bases, Exploring circulations yielding no vortex equilibria, An algebraic geometry algorithm for scheduling in presence of setups and correlated demands, Computer-based manipulation of systems of equations in elasticity problems with Gröbner bases, Flat directions in the scalar potential of the supersymmetric standard model, Semi-invariants, equivariants and algorithms, A uniform version of a theorem by Dvir and Moran, Numerical root finding via Cox rings, Locally recoverable codes from algebraic curves with separated variables, Binomial ideals, On Göbel's bound for invariants of permutation groups, Exploring the isoptics of Fermat curves in the affine plane using DGS and CAS, A Gröbner bases-based rule based expert system for fibromyalgia diagnosis, Classification of Novikov algebras, Automated exploration of inner isoptics of an ellipse, Complete enumeration of small realizable oriented matroids, Ideals in the enveloping algebra of the positive Witt algebra, The quantum spaces of certain graded algebras related to $\mathfrak{sl}(2, \Bbbk)$, Algorithms for computing greatest common divisors of parametric multivariate polynomials, Truncated normal forms for solving polynomial systems: generalized and efficient algorithms, Computing real radicals and $S$-radicals of polynomial systems, An effective method to compute closure ordering for nilpotent orbits of $\theta $-representations, Shattering-extremal set systems of small VC-dimension, Some relational structures with polynomial growth and their associated algebras. I: Quasi-polynomiality of the profile, Multipliers and invariants of endomorphisms of projective space in dimension greater than 1, On the efficiency of solving Boolean polynomial systems with the characteristic set method, Symmetry-based approach to the problem of a perfect cuboid, Presentations for subsemigroups of finitely generated commutative semigroups, Hereditarily finitely generated commutative monoids, The anelastic Ericksen problem: universal deformations and universal eigenstrains in incompressible nonlinear anelasticity, Hilbert functions for two ideals, Evaluation codes and their basic parameters, Qualitative studies of some biochemical models, An algebraic model for implementing expert systems based on the knowledge of different experts, A natural language for implementing algebraically expert systems, Liouvillian solutions of linear differential equations of order three and higher, Differential equations of order two with one singular point, New ways to multiply $3 \times 3$-matrices, Revisiting four-valued logics from \textit{Maple} using the \textit{Logics Explorer} package, Decoding up to 4 errors in hyperbolic-like abelian codes by the Sakata algorithm, Multivariate polynomials, duality, and structured matrices, Polynomial criterion for abelian difference sets, Isochronous solutions of a 3-dim symmetric quadratic system, Algorithms for solving reachability problems in 2-link planar arms using Gröbner bases, Estimates on the number of $\mathbb{F}_q$-rational solutions of variants of diagonal equations over finite fields, Kötter interpolation in skew polynomial rings, Characterization of rational ruled surfaces, A fast algorithm for the construction of integrity bases associated to symmetry-adapted polynomial representations: application to tetrahedral XY$_{\mathrm{4}}$ molecules, Generalized minimum distance functions, nD methods for 1D parameter-dependent systems, Mechanical proof of planimetric theorems of rational type, Generalized minimum distance functions and algebraic invariants of Geramita ideals, Certified numerical algorithm for isolating the singularities of the plane projection of generic smooth space curves, Hopf bifurcations in a predator-prey model with an omnivore, Modeling three-dimensional surface-to-surface rigid contact and impact, The dual of an evaluation code, Privacy-preserving data splitting: a combinatorial approach, Efficiently and effectively recognizing toricity of steady state varieties, A new proof of a generalization of Gerzon's bound, Locally conservative finite difference schemes for the modified KdV equation, An upper bound for the size of $s$-distance sets in real algebraic sets, On singularities of real algebraic sets and applications to kinematics, Factorization patterns on nonlinear families of univariate polynomials over a finite field, An algebraic geometric approach to Nivat's conjecture, Computing images of polynomial maps, Intuitionism: an inspiration?, Vanishing ideals over finite fields, Envelopes and offsets of two algebraic plane curves: exploration of their similarities and differences, Automated study of a regular trifolium, On free abelian categories for theorem proving, Generalized phase retrieval: measurement number, matrix recovery and beyond, No iterated identities satisfied by all finite groups, Implicitizing rational surfaces without base points by moving planes and moving quadrics, Stationary points at infinity for analytic combinatorics, An automated study of isoptic curves of an astroid, Dynamical analysis of a two prey-one predator system with quadratic self interaction, Maximal transcendental weight contribution of scattering amplitudes, Groebner bases based verification solution for SystemVerilog concurrent assertions, Fixed points of the EM algorithm and nonnegative rank boundaries, On the relative equilibria of the (rhombus+1)-body problem, On time-optimal trajectories in non-uniform mediums, Identifying weak foci and centers in the Maxwell-Bloch system, An improvement of the Feng-Rao bound for primary codes, Half-flat structures inducing Einstein metrics on homogeneous spaces, Reed-Muller-type codes over the Segre variety, $L$-balancing families, On the number of solutions of systems of certain diagonal equations over finite fields

Uses Software