Aude Rondepierre, Jean-Guillaume Dumas. Algorithms for symbolic/numeric control of affine dynamical systems. In Manuel Kauers, editor, Symbolic and Algebraic Computation, International Symposium ISSAC 2005, Beijing, China, July 24-27, 2005, Proceedings. pages 277-284, ACM, 2005. [doi]
Abstract is missing.