48 citations · 62 across the 14 of their papers we have counts for
Showing 2024 · cs.SCShow all
2 papers · 2 filters
cs.SC2024
Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs
Daniela Kaufmann, Jérémy Berthomieu
Formal verification techniques based on computer algebra have proven highly effective for circuit verification. The circuit, given as an and-inverter graph, is encoded as a set of…
cs.SC2024
Computing Generic Fibers of Polynomial Ideals with FGLM and Hensel Lifting
Jérémy Berthomieu, Rafael Mohr
We describe a version of the FGLM algorithm that can be used to compute generic fibers of positive-dimensional polynomial ideals. It combines the FGLM algorithm with a Hensel lifti…