Wei Li

J. Symb. Comput., 2021

2020

Algorithms yield upper bounds in differential algebra.

[BibT_eX]

[DOI]

CoRR, 2020

2019

Elimination Theory in Differential and Difference Algebra.

[BibT_eX]

[DOI]

J. Syst. Sci. Complex., 2019

2017

Differential Chow varieties exist.

[BibT_eX]

[DOI]

J. Lond. Math. Soc., 2017

2016

Computation of differential Chow forms for ordinary prime differential ideals.

[BibT_eX]

[DOI]

Ying-Hong Li

Adv. Appl. Math., 2016

2015

Sparse difference resultant.

[BibT_eX]

[DOI]

J. Symb. Comput., 2015

Sparse Differential Resultant for Laurent Differential Polynomials.

[BibT_eX]

[DOI]

Found. Comput. Math., 2015

Computation of Differential Chow Forms for Prime Differential Ideals.

[BibT_eX]

[DOI]

Yinghong Li

CoRR, 2015

Simple Differential Field Extensions and Effective Bounds.

[BibT_eX]

[DOI]

James Freitag

Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2015

2011

Differential Chow Form for Projective Differential Variety

[BibT_eX]

[DOI]

CoRR, 2011

Sparse differential resultant.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2011

2010

Intersection Theory for Generic Differential Polynomials and Differential Chow Form

[BibT_eX]

[DOI]