Constructive Differential Algebraic Geometry


Differential Chow Form and Differential Resultant


Closed-form Solutions of Differential Equations


Decomposition of Differential and Difference Polynomials


Characteristic Set Method: Differential Case


Characteristic Set Method: Difference Case


Automated Geometry Reasoning: Differential Geometry