Cell decomposition and dimension function in the theory of closed ordered differential fields
scientific article; zbMATH DE number 5563895
scientific article