output
20162025
most citedA Fast Randomized Geometric Algorithm for Computing Riemann-Roch Spaces

14 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2016 · cs.SCShow all

2 papers · 2 filters

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.SC2016★ 1 cited

Linear Time Interactive Certificates for the Minimal Polynomial and the Determinant of a Sparse Matrix

Jean-Guillaume Dumas, Erich Kaltofen, Emmanuel Thomé +1

Computational problem certificates are additional data structures for each output, which can be used by a-possibly randomized-verification algorithm that proves the correctness of…