A Logic Based Approach to Finding Real Singularities of Implicit Ordinary Differential Equations.

Published in: Math. Comput. Sci. (2021)

Keyphrases