7 citations
Showing cs.SCShow all
3 papers · 1 filter
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★ 3 cited
Jacobi Stability Analysis for Systems of ODEs Using Symbolic Computation
Bo Huang, Dongming Wang, Jing Yang
The classical theory of Kosambi-Cartan-Chern (KCC) developed in differential geometry provides a powerful method for analyzing the behaviors of dynamical systems. In the KCC theory…
cs.SC2020★ 7 cited
Homotopy techniques for solving sparse column support determinantal polynomial systems
George Labahn, Mohab Safey El Din, Éric Schost +1
Let be a field of characteristic zero with its algebraic closure. Given a sequence of polynomials $\mathbf{g} = (g_1, \ldots, g_s) \in \mathbf{…