Unirational differential curves and differential rational parametrizations.
J. Symb. Comput., 2021
Algorithms yield upper bounds in differential algebra.
CoRR, 2020
Elimination Theory in Differential and Difference Algebra.
J. Syst. Sci. Complex., 2019
Differential Chow varieties exist.
J. Lond. Math. Soc., 2017
Computation of differential Chow forms for ordinary prime differential ideals.
Adv. Appl. Math., 2016
Sparse difference resultant.
J. Symb. Comput., 2015
Sparse Differential Resultant for Laurent Differential Polynomials.
Found. Comput. Math., 2015
Computation of Differential Chow Forms for Prime Differential Ideals.
CoRR, 2015
Simple Differential Field Extensions and Effective Bounds.
Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2015
Differential Chow Form for Projective Differential Variety
CoRR, 2011
Sparse differential resultant.
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2011
Intersection Theory for Generic Differential Polynomials and Differential Chow Form
CoRR, 2010