scientific article
From MaRDI portal
Publication:3839545
zbMath1065.12500MaRDI QIDQ3839545
Publication date: 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms (68W40) Model-theoretic algebra (03C60) Differential algebra (12H05) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (5)
Algorithm for computing differential char sets efficiently ⋮ Characteristic sets verses generalized characteristic sets ⋮ An equivalence theorem for regular differential chains ⋮ Unmixed-dimensional decomposition of a finitely generated perfect differential ideal ⋮ Probabilistic algorithms for computing resolvent representations of regular differential ideals
Uses Software
This page was built for publication:
