2 citations · 3 across the 4 of their papers we have counts for
Showing cs.SCShow all
3 papers · 1 filter
cs.SC2020★ 2 cited
Strong Consistency and Thomas Decomposition of Finite Difference Approximations to Systems of Partial Differential Equations
Vladimir P. Gerdt, Daniel Robertz, Yuri A. Blinkov
For a wide class of polynomially nonlinear systems of partial differential equations we suggest an algorithmic approach that combines differential and difference algebra to analyze…
cs.SC2012★ 1 cited
Computation of Difference Groebner Bases
Vladimir P. Gerdt, Daniel Robertz
To compute difference Groebner bases of ideals generated by linear polynomials we adopt to difference polynomial rings the involutive algorithm based on Janet-like division. The al…
cs.SC2005
A Maple Package for Computing Groebner Bases for Linear Recurrence Relations
Vladimir P. Gerdt, Daniel Robertz
A Maple package for computing Groebner bases of linear difference ideals is described. The underlying algorithm is based on Janet and Janet-like monomial divisions associated with…