19 citations · 20 across the 2 of their papers we have counts for
2 papers
cs.SC2016★ 1 cited
Computing Small Certificates of Inconsistency of Quadratic Fewnomial Systems
Jean-Charles Faugere, Pierre-Jean Spaenlehauer, Jules Svartz
B{é}zout 's theorem states that dense generic systems of n multivariate quadratic equations in n variables have 2 n solutions over algebraically closed fields. When only a small su…
cs.SC2014★ 19 cited
Sparse Gröbner Bases: the Unmixed Case
Jean-Charles Faugere, Pierre-Jean Spaenlehauer, Jules Svartz
Toric (or sparse) elimination theory is a framework developped during the last decades to exploit monomial structures in systems of Laurent polynomials. Roughly speaking, this amou…