Four Approaches to Automated Reasoning with Differential Algebraic Structures.

Jess Aransay, Clemens Ballarin, Julio Rubio

Browse the full AISC paper archive.