Competitive symbolic integration in satellite dynamics | Publicación