scientific article
From MaRDI portal
Publication:3826517
zbMath0673.03006MaRDI QIDQ3826517
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Differential algebra (12H05) Modules of differentials (13N05) Software, source code, etc. for problems pertaining to differential geometry (53-04)
Related Items
An extension of a procedure to prove statements in differential geometry, A triangular decomposition algorithm for differential polynomial systems with elementary computation complexity, The Maple package TDDS for computing Thomas decompositions of systems of nonlinear PDEs, Monads and distributive laws for Rota-Baxter and differential algebras, Unnamed Item, Koszul duality, minimal model and \(L_\infty \)-structure for differential algebras with weight, A procedure to prove statements in differential geometry, Unnamed Item, Classification of operator extensions, monad liftings and distributive laws for differential algebras and Rota–Baxter algebras, Implicitization of differential rational parametric equations., Elimination theory in differential and difference algebra, Constructions of Free Commutative Integro-Differential Algebras, Unmixed-dimensional decomposition of a finitely generated perfect differential ideal, Free objects and Gröbner-Shirshov bases in operated contexts, A characteristic set method for ordinary difference polynomial systems, An algebraic study of multivariable integration and linear substitution