Text this: Formulación, deducción e implementación de métodos Runge-Kutta-Nyström implícitos de alto orden para sistemas de ecuaciones diferenciales ordinarias de segundo orden