OreModules
From MaRDI portal
swMATH6226MaRDI QIDQ18360FDOQ18360
Author name not available (Why is that?)
Official website: http://wwwb.math.rwth-aachen.de/OreModules/
Cited In (72)
- Computing Polynomial Solutions and Annihilators of Integro-Differential Operators with Polynomial Coefficients
- Effective algebraic analysis approach to linear systems over Ore algebras
- On the Ore Extension Ring of Differential Time-Varying Delay Operators
- A constructive study of the module structure of rings of partial differential operators.
- Factoring and decomposing a class of linear functional systems
- Computation of bases of free modules over the Weyl algebras.
- Exponentially stable linear time-varying discrete behaviors
- Algebraic estimation in partial derivatives systems: parameters and differentiation problems
- Transforming linear functional systems into fully integrable systems
- Two invariants for weak exponential stability of linear time-varying differential behaviors
- Computer algebraic methods for the structural analysis of linear controlsystems
- Recent progress in an algebraic analysis approach to linear systems
- Weak exponential stability of linear time-varying differential behaviors
- Controlled and conditioned invariance for polynomial and rational feedback systems
- Obstructions to genericity in study of parametric problems in control theory
- A differential operator approach to multidimensional optimal control
- Fraction-free algorithm for the computation of diagonal forms matrices over Ore domains using Gröbner bases
- Computing diagonal form and Jacobson normal form of a matrix using Gröbner bases
- Algebraic and symbolic computation methods in dynamical systems. Based on articles written for the invited sessions of the 5th symposium on system structure and control, IFAC, Grenoble, France, February 4--6, 2013 and of the 21st international symposium on mathematical theory of networks and systems (MTNS 2014), Groningen, the Netherlands, July 7--11, 2014
- Ginv
- homalg
- A constructive test for exponential stability of linear time-varying discrete-time systems
- ALLTYPES
- Kan
- Formal algorithmic elimination for PDEs
- CRACK
- PurityFiltration
- Janet
- EDIM
- D-modules
- DifferentialThomas
- DIFFALG
- QuillenSuslin
- Jets
- control.lib
- involut.lib
- jacobson.lib
- primdec
- purityfiltration.lib
- LocalizeRingForHomalg
- AlgebraicThomas
- OreMorphisms
- Sheaves
- InvolutiveBases
- NLControl
- OreAlgebraicAnalysis
- Title not available (Why is that?)
- \(d\)-Hermite rings and skew \(PBW\) extensions
- On subdirect factors of a projective module and applications to system theory.
- Grade filtration of linear functional systems.
- TenRes
- CAP
- GeneralizedMorphismsForCAP
- LinearAlgebraForCAP
- ModulePresentationsForCAP
- SPBWE.lib
- TDDS
- Serre's reduction of linear partial differential systems with holonomic adjoints
- The parametric solution of underdetermined linear ODEs
- Serre's reduction of linear functional systems.
- On the computation of \(\pi\)-flat outputs for linear time-varying differential-delay systems
- A new insight into Serre's reduction problem
- Gröbner bases and generation of difference schemes for partial differential equations
- Equivalences of linear functional systems
- Applications of the Quillen-Suslin theorem to multidimensional systems theory
- Controllability and differential flatness of linear analytic ordinary differential systems
- An axiomatic setup for algorithmic homological algebra and an alternative approach to localization
- On the stability and the stabilization of linear discrete repetitive processes
- Reducibility of invertible tuples to the principal component in commutative Banach algebras
- Structural stabilization of linear 2D discrete systems using equivalence transformations
- Exact linear modeling using Ore algebras
- The injectivity of the canonical signal module for multidimensional linear systems of difference equations with variable coefficients
This page was built for software: OreModules
