1 citations · 1 across the 2 of their papers we have counts for
3 papers
math.OC2012
Thomas decompositions of parametric nonlinear control systems
Markus Lange-Hegermann, Daniel Robertz
This paper presents an algorithmic method to study structural properties of nonlinear control systems in dependence of parameters. The result consists of a description of parameter…
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…