1. Manifolds, Tensor Analysisi and Applications;Abraham,1988
2. Symbolic computations in differential geometry applied to nonlinear control systems;Akhrif,1989
3. Towards an algebraic system theory toolbox;Amirat,1996
4. Computer algebra analysis of discrete-time nonlinear systems;Aranda-Bricaire,1996
5. Linearization of discrete-time systems;Aranda-Bricaire;SIAM J. Control Optim,1996