9 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Centre National de la Recherche ScientifiqueFR11 papers
- Sorbonne UniversitéFR8 papers
- LIP6FR4 papers
- XLIMFR4 papers
- Université de LimogesFR3 papers
- Centre Européen de Recherche et de Formation Avancée en Calcul ScientifiqueFR2 papers
- Centre Inria de SaclayFR2 papers
- Centre National d'Études SpatialesFR2 papers
- École Pour l'Informatique et les Techniques AvancéesFR2 papers
- Laboratoire d'Informatique de l'École PolytechniqueFR2 papers
- North Carolina State UniversityUS2 papers
- North Central State CollegeUS2 papers
4 papers · 2 filters
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…
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…
Computing Krylov iterates in the time of matrix multiplication
Vincent Neiger, Clément Pernet, Gilles Villard
Krylov methods rely on iterated matrix-vector products for an matrix and vectors . The space spanned by all iterates admits a pa…
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…