24 citations · 60 across the 22 of their papers we have counts for
Showing 2016 · cs.SCShow all
2 papers · 2 filters
cs.SC2016★ 1 cited
On the p-adic stability of the FGLM algorithm
Guénaël Renault, Tristan Vaccon
Nowadays, many strategies to solve polynomial systems use the computation of a Gr{ö}bner basis for the graded reverse lexicographical ordering, followed by a change of ordering alg…
cs.SC2016★ 10 cited
On p-adic differential equations with separation of variables
Pierre Lairez, Tristan Vaccon
Several algorithms in computer algebra involve the computation of a power series solution of a given ordinary differential equation. Over finite fields, the problem is often lifted…