Four Approaches to Automated Reasoning with Differential Algebraic Structures | Publicación