scientific article
From MaRDI portal
Publication:3413659
zbMath1118.13001MaRDI QIDQ3413659
Donal O'Shea, John B. Little, David A. Cox
Publication date: 14 December 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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
Invariance of polynomial inequalities under polynomial maps, Singularities of algebraic differential equations, Highest weight generating functions for Hilbert series, Random sampling in computational algebra: Helly numbers and violator spaces, Algorithms and basic asymptotics for generalized numerical semigroups in \(\mathbb N^d\), Algebraic geometry methods associated to the one-dimensional Hubbard model, Conditions for polynomial Liénard centers, On genera of curves from high-loop generalized unitarity cuts, Exploring the potential energy landscape over a large parameter-space, On semigroups, Gröbner basis and algebras admitting a complete set of near weights, On the ideal associated to a linear code, Algorithms for the theory of restrictions of scalar \(n\)-D systems to proper subspaces of \(\mathbb {R}^n\), Noise-tolerant algebraic method for reconstruction of nonlinear dynamical systems, Resolution of a system of fuzzy polynomial equations using eigenvalue method, Evidence for parking conjectures, Constructive proofs of some positivstellensätze for compact semialgebraic subsets of \(\mathbb R^{d }\), Alexander duality in experimental designs, Invariant \(\mathrm G^2\mathrm V\) algorithm for computing SAGBI-Gröbner bases, Alternating projections on nontangential manifolds, Proving isometry for homogeneous Einstein metrics on flag manifolds by symbolic computation, On the singularity of multivariate Hermite interpolation, A fast recursive orthogonalization scheme for the Macaulay matrix, Functional identities in one variable., Small secret exponent attack on RSA variant with modulus \(N=p^rq\), Relative equilibria in the four-vortex problem with two pairs of equal vorticities, On the null spaces of the Macaulay matrix, Higher Nash blowup on normal toric varieties, A Galois \(D\)-groupoid for \(q\)-difference equations, Approximate GCD of several univariate polynomials with small degree perturbations, An algorithm for computing compatibly Frobenius split subvarieties, Optimising Gröbner bases on Bivium, Gröbner bases of bihomogeneous ideals generated by polynomials of bidegree \((1,1)\): algorithms and complexity, Isochronicity conditions for some planar polynomial systems. II., Minimal generators of the defining ideal of the Rees algebra associated to monoid parameterizations, On the degree and half-degree principle for symmetric polynomials, Some algebraic methods for solving multiobjective polynomial integer programs, One class of planar rational involutions, Segments and Hilbert schemes of points, On equivalent parameter learning in simplified feature space based on Bayesian asymptotic analysis, Finding identifiable parameter combinations in nonlinear ODE models and the rational reparameterization of their input-output equations, On operator-valued semicircular random variables, Translated chemical reaction networks, On anisotropic polynomial relations for the elasticity tensor, On \(m\)-closed graphs, Reconstructing biochemical cluster networks, On generators of the Hilbert ideal for cyclic groups in modular invariant theory, Design of Marx generators as a structured eigenvalue assignment, Defining ideal of the Segre locus in arbitrary characteristic, Using elimination theory to construct rigid matrices, Newton polytopes and witness sets, Sparse bivariate polynomial factorization, A spectral theory for tensors, Rational components of Hilbert schemes, Noetherian quotients of the algebra of partial difference polynomials and Gröbner bases of symmetric ideals, Generic interpolation polynomial for list decoding, Critical loci for projective reconstruction from multiple views in higher dimension: a comprehensive theoretical approach, Hypersurfaces and their singularities in partial correlation testing, From a projective invariant to some new properties of algebraic hypersurfaces, Computation of feedback control for time optimal state transfer using Gröbner basis, Stability and global dynamic of a stage-structured predator-prey model with group defense mechanism of the prey, Curvature of Hessian manifolds, Semisimple multivariable \(\mathbb {F}_q\)-linear codes over \(\mathbb {F}_{q^l}\), A constructive approach to quasi-steady state reductions, Center cyclicity of a family of quartic polynomial differential system, Spin canonical rings of log stacky curves, Resultants over commutative idempotent semirings. I: Algebraic aspect, Computation of Jeffrey-Kirwan residues using Gröbner bases, Transforming differential equations of multi-loop Feynman integrals into canonical form, Parametric FGLM algorithm, A test for monomial containment, More results on the number of zeros of multiplicity at least \(r\), Probabilistic knowledge representation using the principle of maximum entropy and Gröbner basis theory, Norm bounds and underestimators for unconstrained polynomial integer minimization, Characterizing the codimension of zero singularities for time-delay systems. A link with Vandermonde and Birkhoff incidence matrices, Multiple point compression on elliptic curves, Application of algebraic geometry techniques in permanent-magnet DC motor fault detection and identification, Incidences between points and lines in \({\mathbb {R}}^4\), Elementary recursive quantifier elimination based on Thom encoding and sign determination, Complexity reduction of C-algorithm, Tropical quadrics through three points, Permutations, hyperplanes and polynomials over finite fields, Simple proofs of classical theorems in discrete geometry via the Guth-Katz polynomial partitioning technique, Determining a rotation of a tetrahedron from a projection, Holonomic gradient descent and its application to the Fisher-Bingham integral, On the existence of certain error formulas for a special class of ideal projectors, All hyperbolic Coxeter \(n\)-cubes, Global identifiability of linear structural equation models, On the next-to-minimal weight of affine Cartesian codes, Toric dynamical systems, Numerical elimination and moduli space of vacua, The discretization for bivariate ideal interpolation, A public key cryptosystem based on Diophantine equations of degree increasing type, Constructing the \(\mathrm{SU}(2)\times\mathrm{U}(1)\) orbit space for qutrit mixed states, Numerical polynomial homotopy continuation method and string vacua, Optimized Lie-Trotter-Suzuki decompositions for two and three non-commuting terms, Exploration of dual curves using a dynamic geometry and computer algebra system, Cylinder partition function of the 6-vertex model from algebraic geometry, Algebraic varieties are homeomorphic to varieties defined over number fields, Master integrals for the four-loop Sudakov form factor, Revisiting prime power RSA, Unnamed Item, On μ-symmetric polynomials, Unnamed Item, A generalized Sylvester–Gallai-type theorem for quadratic polynomials, An Algebraic Approach to Product-form Stationary Distributions for Some Reaction Networks, Smoothing the Gap Between NP and ER, Unnamed Item, AN ALGEBRAIC APPROACH FOR A MALARIA TRANSMISSION MODEL WITH ENVIRONMENTAL SANITATION, Magic squares of squares over a finite field, On Ray Shooting for Triangles in 3-Space and Related Problems, Unnamed Item, The canonical ring of a stacky curve, A regular interpolation problem and its applications, Analytical study of cubature formulas on a sphere in computer algebra systems, A commutative algebra approach to multiplicative Hom-Lie algebras, Subresultants and the Shape Lemma, A practical approach to SOS relaxations for detecting quantum entanglement, Minimality and identifiability of discrete‐time switched autoregressive exogenous systems, Small codimension components of the Hodge locus containing the Fermat variety, Several classes of permutation pentanomials with the form \(x^r h(x^{p^m -1})\) over \(\mathbb{F}_{p^{2m}}\), Generalized Perron Roots and Solvability of the Absolute Value Equation, Examples of center cyclicity bounds using the reduced Bautin depth, Coupler curves of moving graphs and counting realizations of rigid graphs, LPV modeling of nonlinear systems: A multi‐path feedback linearization approach, An estimator for the hardness of the MQ problem, A Bridge between Euclid and Buchberger: (An Attempt to Enhance Gröbner Basis Algorithm by PRSs and GCDs), Generalized Hamming weights of toric codes over hypersimplices and squarefree affine evaluation codes, An Elementary Recursive Bound for Effective Positivstellensatz and Hilbert’s 17th problem, Measuring the criticality of a Hopf bifurcation, Nonlinear algebra and applications, The scheme of characters in 𝑆𝐿₂, Topology identification under spatially correlated noise, On quadratically enriched excess and residual intersections, Unnamed Item, BMR Freeness for Icosahedral Family, Improved Bounds for Incidences Between Points and Circles, Symbolic Methods for Solving Algebraic Systems of Equations and Applications for Testing the Structural Stability, A Review on Multiple Purely Imaginary Spectral Values of Time-Delay Systems, Phylogenetic Networks, Distinct Distances on Algebraic Curves in the Plane, The Number of Gröbner Bases in Finite Fields (Research), On Stationary Points of Distance Depending Potentials, Sylvester-Gallai type theorems for quadratic polynomials, An algebraic method to calculate parameter regions for constrained steady-state distribution in stochastic reaction networks, Finding Fuzzy Inverse Matrix Using Wu’s Method, Cyclotomic difference sets in finite fields, Schwartz-Zippel bounds for two-dimensional products, On the construction of staggered linear bases, Center cyclicity for some nilpotent singularities including the ℤ2-equivariant class, Thurston’s spinning construction and solutions to the hyperbolic gluing equations for closed hyperbolic 3–manifolds, Algorithms for generalized numerical semigroups, Depth-4 Identity Testing and Noether’s Normalization Lemma, The punctual Hilbert schemes for the curve singularities of types $E_6$ and $E_8$, The Geometry of Discotopes, Unnamed Item, A Polyhedral Characterization of Border Bases, Some results on counting roots of polynomials and the Sylvester resultant, Algebraic Geometry and Kinematics, Gröbner bases over fields with valuations, Unnamed Item, Generalized homogeneous polynomials for efficient template-based nonlinear invariant synthesis, Noncommutative resolutions of discriminants, Iterative computational approach to the solution of the Hamilton-Jacobi-Bellman-Isaacs equation in nonlinear optimal control, Gram matrices of reproducing kernel Hilbert spaces over graphs IV. (Quadratic inequalities for graph Laplacians), Identification of proofs via syzygies, Decomposition of polynomial sets into characteristic pairs, Gröbner geometry of Schubert polynomials through ice, Stable division and essential normality: the non-homogeneous and quasi homogeneous cases, The Semantics of Fuzzy Logics: Two Approaches to Finite Tomonoids, Automatic pre- and postconditions for partial differential equations, Computing H-bases via minimal bases for syzygy modules, The power series Dedekind-Mertens number, Bounding the Number of Common Zeros of Multivariate Polynomials and Their Consecutive Derivatives, Average behavior of minimal free resolutions of monomial ideals, Identities involving (doubly) symmetric polynomials and integrals over Grassmannians, A quadratic lower bound for algebraic branching programs, Characteristics of Rota–Baxter algebras, A generalized sylvester-gallai type theorem for quadratic polynomials, On the Coalgebra of Partial Differential Equations, An explicit descent of real algebraic varieties, Some remarks on global analytic planar vector fields possessing an invariant analytic set, Polynomial semantics for modal logics, The graph of a Weyl algebra endomorphism, Tensor Methods for Nonlinear Matrix Completion, Totally Ordered Monoids Based on Triangular Norms, Approaching the Chasm at Depth Four, Frontiers of reality in Schubert calculus, A Global Approach for Solving Edge-Matching Puzzles, Ordered set partitions, Garsia-Procesi modules, and rank varieties, Koszul Modules, Unnamed Item, Contribution of Frantisek Matus to the research on conditional independence, Symbolic Proof of Bistability in Reaction Networks, Toroidalization of locally toroidal morphisms, Characterization of the symmetry class of an elasticity tensor using polynomial covariants, Projective toric codes, Singularity Structures and Impacts on Parameter Estimation in Finite Mixtures of Distributions, Covering rational ruled surfaces, Solving fuzzy complex system of linear equations using eigenvalue method, Commissioning rules for optimal velocity controller damping of servo axes using elimination methods, Blow-up algebras, determinantal ideals, and Dedekind-Mertens-like formulas, Gröbner systems conversion, A probabilistic algorithm for computing data-discriminants of likelihood equations, A semi-algebraic version of Zarankiewicz's problem, The images of multilinear polynomials evaluated on $3\times 3$ matrices, Investigation of a real algebraic surface, On positive commutative tomonoids, A characterization of reduced forms of linear differential systems, Rewriting input expressions in complex algebraic geometry provers, The Laguerre calculus on the nilpotent Lie groups of step two, On the evaluation codes given by simple \(\delta \)-sequences, Structural identifiability of polynomial and rational systems, Unit Distances in Three Dimensions, On the Fan Associated to a Linear Code, Additive semisimple multivariable codes over \(\mathbb{F}_4\), A real nullstellensatz with multiplicity, On the annihilator ideal of an inverse form, On parameters of subfield subcodes of extended norm-trace codes, Generating polynomials and symmetric tensor decompositions, Projective nested Cartesian codes, Inverse multivariate polynomial root-finding: numerical implementations of the affine and projective Buchberger-Möller algorithm, On the multiple zeros of a real analytic function with applications to the averaging theory of differential equations, Singular reduction of resonant Hamiltonians, Comprehensive Gröbner basis theory for a parametric polynomial ideal and the associated completion algorithm, Data analysis from empirical moments and the Christoffel function, Variations on inversion theorems for Newton-Puiseux series, Existence and Stability of Four-Vortex Collinear Relative Equilibria with Three Equal Vorticities, Dynamics of ERK regulation in the processive limit, Point-to-ellipse and point-to-ellipsoid distance equation analysis, Algebro-geometric approach for a centrally extended \(\operatorname{U}_q[\operatorname{sl}(2|2)\) R-matrix], On the ring of local unitary invariants for mixed \(X\)-states of two qubits, An Elementary Proof for the Krull Dimension of a Polynomial Ring, Solving rank-constrained semidefinite programs in exact arithmetic, Algebraic model selection and experimental design in biological data science, Algebraic and algorithmic aspects of radical parametrizations, On the statistical model of source localization based on range difference measurements, Invariant character varieties of hyperbolic knots with symmetries, Coarse-grained entanglement classification through orthogonal arrays, QRT maps and related Laurent systems, Affine monomial curves, Subquadratic algorithms for algebraic 3SUM, On polynomial semantics for propositional logics, On characteristic cones of discrete \(n\)D autonomous systems: theory and an algorithm, On initials and the fundamental theorem of tropical partial differential algebraic geometry, Machine learning the real discriminant locus, Deciding Polyhedrality of Spectrahedra, Multistationarity in structured reaction networks, A mathematical model for a transmissible disease with a variant, Exact period-four solutions of a family of n-dimensional quadratic maps via harmonic balance and Gröbner bases, Sampling Algebraic Varieties for Sum of Squares Programs, Normal forms of planar polynomial differential systems, On seeking efficient Pareto optimal points in multi-player minimum cost flow problems with application to transportation systems, On the Security of Supersingular Isogeny Cryptosystems, On the algebraic invariants of certain affine semigroup rings, Poisson and symplectic reductions of 4–DOF isotropic oscillators. The van der Waals system as benchmark, Low Rank Symmetric Tensor Approximations, A model for analyzing phenomena in multicellular organisms with multivariable polynomials: Polynomial life, Multivariate Polynomial Chaos Expansions with Dependent Variables, A law of large numbers for finite-range dependent random matrices, On the subfield subcodes of Hermitian codes, An Algebraic Method to Compute the Mobility of Closed-Loop Overconstrained Mechanisms, The Generalized Rabinowitsch Trick, Cohen-Macaulay property of Feynman integrals, Complete \(N\)-point superstring disk amplitude II. Amplitude and hypergeometric function structure, Multidimensional realisation theory and polynomial system solving, Equivalence and reduction of bivariate polynomial matrices to their Smith forms, On restrictions of \(n\)-d systems to 1-d subspaces, A superconvergent discontinuous Galerkin method for hyperbolic problems on tetrahedral meshes, On the second Hamming weight of some Reed-Muller type codes, Algebra, Coalgebra, and Minimization in Polynomial Differential Equations, Finding solutions of fuzzy polynomial equations systems by an Algebraic method, Introduction to Computational Algebraic Statistics, Dimensions of Monomial Varieties, Sinusoidal disturbance rejection in chaotic planar oscillators, A diagram algebra for Soergel modules corresponding to smooth Schubert varieties, The cyclicity of polynomial centers via the reduced Bautin depth, Computing Tensor Eigenvalues via Homotopy Methods, Kinematical analysis of overconstrained and underconstrained mechanisms by means of computational algebraic geometry, An algebraic characterization of injectivity in phase retrieval, Computing the common zeros of two bivariate functions via Bézout resultants, Algebraic Degree in Semidefinite and Polynomial Optimization, The one-dimensional line scheme of a certain family of quantum \(\mathbb{P}^3\mathrm{s}\), Lectures on Artin Groups and the $$K(\pi ,1)$$ Conjecture, Some Results on the Surjectivity of Surface Parametrizations, Connecting the latent multinomial, Tropical bases by regular projections, Exploiting Chordal Structure in Polynomial Ideals: A Gröbner Bases Approach, 3D Printing Dimensional Calibration Shape: Clebsch Cubic, Controllability and observability of Boolean networks arising from biology, Algebraic methods in difference sets and bent functions, A Selection of Lower Bounds for Arithmetic Circuits, How to compute the Stanley depth of a module, Analysis of the Collision Resistance of RadioGatúnUsing Algebraic Techniques, Improved Computation of Involutive Bases, A Note on Dynamic Gröbner Bases Computation, A computational algebraic geometry approach to enumerate Malcev magma algebras over finite fields, Exact Algorithms for Linear Matrix Inequalities, Unnamed Item, Algebraic Equations in State Condition, Effective approximation of the solutions of algebraic equations, Maximum likelihood estimation for incomplete multinomial data via the weaver algorithm, Three-term polynomial progressions in subsets of finite fields, Distinct distances with \(\ell_p\) metrics, Regular unimodular triangulations of reflexive IDP 2-supported weighted projective space simplices, Random monomial ideals, Algebraic independence over positive characteristic: new criterion and applications to locally low-algebraic-rank circuits, Compression of finite group actions and covariant dimension. II., Detection of critical points of multivariate piecewise polynomial systems, Gröbner bases and cocyclic Hadamard matrices, On evaluation codes coming from a tower of function fields, Bistability and oscillations in chemical reaction networks, On a conjecture about a class of permutation trinomials, Computational algebraic geometry and global analysis of regional manipulators, Operation mode analysis of 3-RPS parallel manipulators based on their design parameters, Solving a class of modular polynomial equations and its relation to modular inversion hidden number problem and inversive congruential generator, A Pommaret bases approach to the degree of a polynomial ideal, Symbolic computation of the orthogonal projection of rational curves onto rational parameterized surfaces, A deductive approach towards reasoning about algebraic transition systems, The inverse of a multivector: beyond the threshold \(p+q=5\), Dynamics of axially symmetric perturbed Hamiltonians in 1:1:1 resonance, The point decomposition problem over hyperelliptic curves, Toward efficient computation of discrete logarithms in even characteristic, Ritt's algorithm, Gröbner basis and discretization, Definitizability of normal operators on Krein spaces and their functional calculus, An inequality for values of Koksma's functions of two algebraically dependent \(p\)-adic numbers, Rational general solutions of systems of first-order algebraic partial differential equations, Extractors for varieties, Codes over affine algebras with a finite commutative chain coefficient ring, Algebraic matroids and Frobenius flocks, Implicit dose-response curves, The number of eigenvalues of a tensor, An algebra behind the Clebsch-Gordan coefficients of \(U_q(\mathfrak{sl}_2)\), Euler-Mahonian statistics and descent bases for semigroup algebras, The algebra of interpolatory cubature formulæ for generic nodes, A symbolic algebra for the computation of expected utilities in multiplicative influence diagrams, On the last fall degree of zero-dimensional Weil descent systems, Generalizing Tanisaki's ideal via ideals of truncated symmetric functions, Projective Reed-Muller type codes on rational normal scrolls, On the moduli space of polygons with area center, Real root finding for determinants of linear matrices, An iterative computational scheme for solving the coupled Hamilton-Jacobi-Isaacs equations in nonzero-sum differential games of affine nonlinear systems, Computing the state difference equations for discrete overdetermined linear \(m \operatorname{D}\) systems, Change-of-bases abstractions for non-linear hybrid systems, Automated reducible geometric theorem proving and discovery by Gröbner basis method, Elliptic curve discrete logarithm problem over small degree extension fields, Few distinct distances implies no heavy lines or circles, A geometrical approach to finding multivariate approximate LCMs and GCDs, Incidences between points and lines on two- and three-dimensional varieties, Low degree Nullstellensatz certificates for 3-colorability, Morse theory and relative equilibria in the planar \(n\)-vortex problem, Ideals of graph homomorphisms, A survey on signature-based algorithms for computing Gröbner bases, On the robust hardness of Gröbner basis computation, General theory for stochastic admixture graphs and \(F\)-statistics, On the automatizability of polynomial calculus, Intersection of ideals in a polynomial ring over a dual valuation domain, The de Rham isomorphism for Drinfeld modules over Tate algebras, Global optimization of polynomials over real algebraic sets, Gauge theories from principally extended disconnected gauge groups, Non-smooth quadratic centers defined in two arbitrary sectors, Cyclicity of some analytic maps, The center and cyclicity problems for some analytic maps, Conjugation of rational functions to power functions and applications to iteration, No smooth Julia sets for polynomial diffeomorphisms of \({\mathbb C}^2\) with positive entropy, Permutation polynomials, fractional polynomials, and algebraic curves, Margins of discrete Bayesian networks, A logic-algebraic tool for reasoning with knowledge-based systems, Symbolic analysis of multiple steady states in a MAPK chemical reaction network, A new index theorem for monomial ideals by resolutions, Model selection and local geometry, A new algorithm for computing the extended Hensel construction of multivariate polynomials, Symbolic computation on the partition lattice of an \(n\)-set, Cohen-Macaulay criteria for projective monomial curves via Gröbner bases, Resolution of single-variable fuzzy polynomial equations and an upper bound on the number of solutions, Certified non-conservative tests for the structural stability of discrete multidimensional systems, Singularities on the boundary of the stability domain near 1:1-resonance, Deterministic normal position transformation and its applications, Center cyclicity of Lorenz, Chen and Lü systems, Realization theory for rational systems: minimal rational realizations, Lax pairs for linear Hamiltonian systems, Polynomial splines of non-uniform degree on triangulations: combinatorial bounds on the dimension, On the relation between reactions and complexes of (bio)chemical reaction networks, A parametric representation of totally mixed Nash equilibria, Cyclicity of polynomial nondegenerate centers on center manifolds, Towards a computational proof of Vizing's conjecture using semidefinite programming and sums-of-squares, Application of computational invariant theory to Kobayashi hyperbolicity and to Green-Griffiths algebraic degeneracy, A generalization on derivations of Lie algebras, Solving non-linear Boolean equation systems by variable elimination, On the linear complexity for multidimensional sequences, Numerical algebraic geometry: a new perspective on gauge and string theories, Integrand-level reduction of loop amplitudes by computational algebraic geometry methods, Knutson ideals and determinantal ideals of Hankel matrices, Chiral homology of elliptic curves and the Zhu algebra, On factor left prime factorization problems for multivariate polynomial matrices, A linear-algebraic method to compute polynomial PDE conservation laws, Tensor theta norms and low rank recovery, Complete singularity analysis for the perspective-four-point problem, Necessary and sufficient polynomial constraints on compatible triplets of essential matrices, Newton basis for multivariate Birkhoff interpolation, Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem, Newton-Okounkov bodies of chemical reaction systems, The saturation number of monomial ideals, On the complexity of solving generic overdetermined bilinear systems, Dynamics of Chebyshev endomorphisms on some affine algebraic varieties, Estimation under group actions: recovering orbits from invariants, Squarefree normal representation of zeros of zero-dimensional polynomial systems, On vanishing sums of roots of unity in polynomial calculus and sum-of-squares, Algebraic and geometric multiplicities for some hypergraphs, NAPOLEON'S THEOREM FROM THE VIEW POINT OF GRÖBNER BASES, On generalized monomial codes defined over sets with a special vanishing ideal, Gröbner bases and critical values: the asymptotic combinatorics of determinantal systems, The criticality of reversible quadratic centers at the outer boundary of its period annulus, On integrability and linearizability of persistent \(p:- q\) resonant systems, Combinatorial differential algebra of \(x^p\), Quadratic lower bounds for algebraic branching programs and formulas, Computing equilibria for integer programming games, Book review of: M. Michałek and B. Sturmfels, Invitation to nonlinear algebra, Use of primary decomposition of polynomial ideals arising from indicator functions to enumerate orthogonal fractions, Critical parameters for singular perturbation reductions of chemical reaction networks, Conjugate phase retrieval on \(\mathbb{C}^M\) by real vectors, Prony's method on the sphere, Coordinate-independent criteria for Hopf bifurcations, Joining and decomposing reaction networks, Quaternion rational surfaces, Enumerating partial Latin rectangles, Factorizations for a class of multivariate polynomial matrices, Betti numbers of symmetric shifted ideals, On the existence of epipolar matrices, Breaking symmetries to rescue sum of squares in the case of makespan scheduling, Coherent combination of probabilistic outputs for group decision making: an algebraic approach, Irreducibility of the Fermi surface for planar periodic graph operators, A generalization of Wilf's conjecture for generalized numerical semigroups, Families of toric chemical reaction networks, Tensor decompositions and rank increment conjecture, Eliminating depth cycles among triangles in three dimensions, Generic finiteness for a class of symmetric planar central configurations of the six-body problem and the six-vortex problem, Computation of the resonance set of a polynomial under constraints on its coefficients, Efficient relative pose estimation for cameras and generalized cameras in case of known relative rotation angle, Evaluations of noncommutative polynomials on algebras: methods and problems, and the L'vov-Kaplansky conjecture, Isotopic meshing of a real algebraic space curve, On the dimension of systems of algebraic difference equations, Thom isotopy theorem for nonproper maps and computation of sets of stratified generalized critical values, Towards the complete determination of next-to-minimal weights of projective Reed-Muller codes, Center conditions and cyclicity for a family of cubic systems: computer algebra approach, An upper bound for the number of gravitationally lensed images in a multiplane point-mass ensemble, Counting and enumerating feasible rotating schedules by means of Gröbner bases, Distance to the stochastic part of phylogenetic varieties, Generalizing the Steiner-Lehmus theorem using the Gröbner cover, Cayley trees do not determine the maximal zero-free locus of the independence polynomial, Two-to-one mappings and involutions without fixed points over \(\mathbb{F}_{2^n}\), Algebraic and analytical tools for the study of the period function, Distinct distances on curves via rigidity, The Hopf cyclicity of the centers of a class of quintic polynomial vector fields, Describing the orbit space of the global unitary actions for mixed qudit states, Transcendental trace formulas for finite-gap potentials, On the annihilator ideal of an inverse form: addendum, Dynamics of opinions with social biases, Depth-4 lower bounds, determinantal complexity: a unified approach, Average-case linear matrix factorization and reconstruction of low width algebraic branching programs, Dimension and depth dependent upper bounds in polynomial ideal theory, On types of degenerate critical points of real polynomial functions, Equations defining probability tree models, An approach via generating functions to compute power indices of multiple weighted voting games with incompatible players, Bifurcation of relative equilibria for vortices and general homogeneous potentials, Finite determination of accessibility and singular points of nonlinear systems: an algebraic approach, Multidimensional linear complexity analysis of periodic arrays, Hierarchical Aitchison-Silvey models for incomplete binary sample spaces, On the consistency analysis of finite difference approximations, Operator scaling: theory and applications, Biholomorphic equivalence to totally nondegenerate model CR manifolds, Characterizations of indicator functions and contrast representations of fractional factorial designs with multi-level factors, Solving parametric ideal membership problems and computing integral numbers in a ring of convergent power series via comprehensive Gröbner systems, Design and analysis of fractional factorial experiments from the viewpoint of computational algebraic statistics, Enumerating regular expressions and their languages, Univariate ideal membership parameterized by rank, degree, and number of generators, A quadratic lower bound for homogeneous algebraic branching programs, Incidences between points and curves with almost two degrees of freedom, Projective Reed-Muller type codes on higher dimensional scrolls, A parameter-free model comparison test using differential algebra, Further results on permutation trinomials with Niho exponents, Properties of the toric rings of a chordal bipartite family of graphs, Two complementary block Macaulay matrix algorithms to solve multiparameter eigenvalue problems, Bifurcation manifolds in predator-prey models computed by Gröbner basis method, A lower bound on determinantal complexity, Irreducible generalized numerical semigroups and uniqueness of the Frobenius element, Flat deformations of algebras and functional equations, Groebner bases based verification solution for SystemVerilog concurrent assertions, Circuits for robust designs, Implicit equations of the Henneberg-type minimal surface in the four-dimensional Euclidean space, C-space analysis using tropical geometry, Exact solution of a fully general non-local-thermodynamic-equilibrium two-level atom, Discovering non-terminating inputs for multi-path polynomial programs, A matrix nullspace approach for solving equality-constrained multivariable polynomial least-squares problems, Computing critical points for invariant algebraic systems, Testing polynomials for vanishing on Cartesian products of planar point sets: collinearity testing and related problems, Enumeration and classification of self-orthogonal partial Latin rectangles by using the polynomial method, On the ideal of the shortest vectors in the Leech lattice and other lattices, On the wave length of smooth periodic traveling waves of the Camassa-Holm equation, Boolean ideals and their varieties, Diophantine problems over tamely ramified fields, Optimal codes as Tanner codes with cyclic component codes, Model of haplotype and phenotype in the evolution of a duplicated autoregulatory activator, Half-trek criterion for identifiability of latent variable models, Variational principle for some nonlinear problems, Spectral Picard-Vessiot fields for algebro-geometric Schrödinger operators, On general domain truncated correlation and convolution operators with finite rank, Multilevel polynomial partitions and simplified range searching, Solving parametric systems of polynomial equations over the reals through Hermite matrices, Computing the Lie algebra of the differential Galois group: the reducible case, Congruences and concurrent lines in multi-view geometry
Uses Software
