2014/01/23 by Markus Lange-Hegermann, Lange-Hegermann, Markus
Computer Science · Mathematics · #13N99 #Commutative Algebra (math.AC) #FOS: Computer and information sciences #FOS: Mathematics #Symbolic Computation (cs.SC) #cs.SC #math.AC #msc:13N99
paper · pdf · doi:10.48550/arxiv.1401.5959
arxiv created 2014/01/23 · arxiv updated 2014/01/25
We generalize the differential dimension polynomial from prime differential ideals to characterizable differential ideals. Its computation is algorithmic, its degree and leading coefficient remain differential birational invariants, and it decides equality of characterizable differential ideals contained in each other.