Perturbation methods, bifurcation theory and computer algebra

Formal solutions of differential equations

Journal of Symbolic Computation

Systematic computer-aided analysis of dynamic systems

ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation

Cited References

Computer algebra handbook

Book review: KAM: A System for Intelligently Guided Numerical by Computer By Kenneth Man-Kam Yip (MIT Press, 1991)

ACM SIGART Bulletin

An algorithm for construction of normal forms

CASC'07 Proceedings of the 10th international conference on Computer Algebra in Scientific Computing