The following pages link to (Q3826517):
Displaying 19 items.
- Monads and distributive laws for Rota-Baxter and differential algebras (Q895973) (← links)
- A procedure to prove statements in differential geometry (Q911792) (← links)
- A characteristic set method for ordinary difference polynomial systems (Q1006653) (← links)
- An extension of a procedure to prove statements in differential geometry (Q1340965) (← links)
- Implicitization of differential rational parametric equations. (Q1426145) (← links)
- Elimination theory in differential and difference algebra (Q1730314) (← links)
- Free objects and Gröbner-Shirshov bases in operated contexts (Q2035823) (← links)
- A triangular decomposition algorithm for differential polynomial systems with elementary computation complexity (Q2400459) (← links)
- (Q3015720) (← links)
- Classification of operator extensions, monad liftings and distributive laws for differential algebras and Rota–Baxter algebras (Q5132353) (← links)
- An algebraic study of multivariable integration and linear substitution (Q5235382) (← links)
- (Q5286607) (← links)
- Constructions of Free Commutative Integro-Differential Algebras (Q5403088) (← links)
- Cohomologies, extensions and deformations of differential algebras of arbitrary weight (Q5875932) (← links)
- Unmixed-dimensional decomposition of a finitely generated perfect differential ideal (Q5937882) (← links)
- The Maple package TDDS for computing Thomas decompositions of systems of nonlinear PDEs (Q6043324) (← links)
- (Q6162643) (← links)
- Koszul duality, minimal model and \(L_\infty \)-structure for differential algebras with weight (Q6184564) (← links)
- Geometry machines: from AI to SMC (Q6560378) (← links)
