Subresultants and the shape lemma

D Cox, C D'Andrea - Mathematics of Computation, 2023 - ams.org
In nice cases, a zero-dimensional complete intersection ideal over a field has a Shape
Lemma. There are also cases where the ideal is generated by the resultant and first …

Sparse Nullstellensatz, resultants and determinants of complexes

C D'Andrea, G Jeronimo - arxiv preprint arxiv:2407.13450, 2024 - arxiv.org
We refine and extend a result by Tuitman on the supports of a B\'ezout identity satisfied by a
finite sequence of sparse Laurent polynomials without common zeroes in the toric variety …

A greedy approach to the Canny-Emiris formula

C Checa, I Emiris - Proceedings of the 2022 International Symposium on …, 2022 - dl.acm.org
The Canny-Emiris formula [3] gives the sparse resultant as a ratio between the determinant
of a Sylvester-type matrix and a minor of it, by a subdivision algorithm. The most complete …

Solving sparse polynomial systems using Groebner bases and resultants

MR Bender - Proceedings of the 2022 International Symposium on …, 2022 - dl.acm.org
Solving systems of polynomial equations is a central problem in nonlinear and
computational algebra. Since Buchberger's algorithm for computing Gröbner bases in the …

Mixed subdivisions suitable for the Canny-Emiris formula

C Checa, IZ Emiris - arxiv preprint arxiv:2202.12034, 2022 - arxiv.org
The Canny-Emiris formula gives the sparse resultant as the ratio of the determinant of a
Sylvester-type matrix over a minor of it, both obtained via a mixed subdivision algorithm. The …

Toric Sylvester forms

L Busé, C Checa - Journal of Pure and Applied Algebra, 2024 - Elsevier
In this paper, we investigate the structure of the saturation of ideals generated by sparse
homogeneous polynomials over a projective toric variety X with respect to the irrelevant …

Une approche combinatoire pour le r\'esultant multivari\'e. Le r\'esultant multivari\'e pour les enfants motiv\'es

C Quitté, C Tête - arxiv preprint arxiv:2308.12232, 2023 - arxiv.org
Alors, modulo une hypothèse 1 sur P, ce quotient Bδ est un A-module de rang 1. Ceci ne
signifie pas qu'il est libre de rang 1, mais que l'on dispose 2 d'une famille finie fidèle s=(sℓ) …

Combinatorics of Nahm sums, quiver resultants and the K-theoretic condition

D Noshchenko - Journal of High Energy Physics, 2021 - Springer
A bstract Algebraic Nahm equations, considered in the paper, are polynomial equations,
governing the q→ 1 limit of the q-hypergeometric Nahm sums. They make an appearance in …

Subdivisions for Macaulay formulas of sparse systems

F Groh - Proceedings of the 45th international symposium on …, 2020 - dl.acm.org
In a seminal article [7], D'Andrea describes a method for determining Macaulay-type
formulae for the resultants of sparse polynomial systems. His algorithm works recursive …

Mixed Subdivisions Suitable for the Greedy Canny–Emiris Formula

C Checa, IZ Emiris - Mathematics in Computer Science, 2024 - Springer
Abstract The Canny–Emiris formula (Canny and Emiris in International symposium on
applied algebra, algebraic algorithms, and error-correcting codes, 1993) gives the sparse …