74 citations · 304 across the 21 of their papers we have counts for
Showing 2022 · cs.SCShow all
2 papers · 2 filters
cs.SC2022★ 3 cited
Axioms for a theory of signature bases
Pierre Lairez
Twenty years after the discovery of the F5 algorithm, Gröbner bases with signatures are still challenging to understand and to adapt to different settings. This contrasts with Buch…
cs.SC2022
A Signature-based Algorithm for Computing the Nondegenerate Locus of a Polynomial System
Christian Eder, Pierre Lairez, Rafael Mohr +1
Polynomial system solving arises in many application areas to model non-linear geometric properties. In such settings, polynomial systems may come with degeneration which the end-u…