Effective definability of Kolchin polynomials
From MaRDI portal
Publication:5218192
DOI10.1090/proc/14869zbMath1466.12003arXiv1806.02060MaRDI QIDQ5218192
Omar León Sánchez, Wei Li, James Freitag
Publication date: 2 March 2020
Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1806.02060
14Q20: Effectivity, complexity and computational aspects of algebraic geometry
12H05: Differential algebra