O Golubitsky, M Kondratieva, A Ovchinnikov, A Szanto - Journal of Algebra, 2009 - Elsevier
… sequences of radical differential ideals appearing in our differential elimination in Section 5 (… Finally, we apply this to obtain the bound for the differentialNullstellensatz in Theorem 15, …
L D'Alfonso, G Jeronimo, P Solernó - Journal of Complexity, 2014 - Elsevier
… The present paper deals with effective aspects of the ordinary differentialNullstellensatz over the field C of complex numbers or, more generally, over arbitrary fields of constants of …
L D'Alfonso, G Jeronimo, P Solernó - arXiv preprint arXiv:1305.6298, 2013 - arxiv.org
… for the differentialNullstellensatz in the case of ordinary systems of differential algebraic … Let x be a set of n differential variables, fa finite family of differential polynomials in the ring K…
W Li - International Workshop on Computer Algebra in …, 2024 - Springer
… by comparison with sparse differential resultants. Finally, we provide the effective differential-difference Nullstellensatz and effective elimination for algebraic differential-difference …
C Berenstein, A Yger - Electronic Research Announcements of the …, 1996 - ams.org
… The origin of the results we announce here was the desire to obtain estimates similar to the EffectiveNullstellensatz (2) for factorial rings A equipped with a size (in the sense of [Ph1]) …
A Seidenberg - Archiv der Mathematik, 1956 - Springer
… The elimination theory indicated above applies, with straightforward modifications, also to differential algebra of characteristic 0. The details for the differential algebra, along with …
… By Hilbert's Nullstellensatz, taking g = 1 in the above is … The effectiveNullstellensatz gives degree upper bounds on … of Hilbert's Nullstellensatz and the EffectiveNullstellensatz. We also …
… Combinatorial Nullstellensatz: … Nullstellensatz. There are important works which we do not discuss, for example, the Tropical Nullstellensatz and the Nullstellensatz for partial differential …