Janet
From MaRDI portal
swMATH7776MaRDI QIDQ19793FDOQ19793
scientific article; zbMATH DE number Author name (Why is no real title available?)
Official website: http://wwwb.math.rwth-aachen.de/Janet/janet.html
(76)
- On the general analytical solution of the kinematic Cosserat equations
- Gröbner bases and gradings for partial difference ideals
- Thomas decomposition and nonlinear control systems
- Elimination for Coefficients of Special Characteristic Polynomials
- Formal algorithmic elimination for PDEs
- Compatibility complexes of overdetermined PDEs of finite type, with applications to the Killing equation
- Algorithmic Thomas decomposition of algebraic and differential systems
- Janet's approach to presentations and resolutions for polynomials and linear PDEs
- Applications of the Quillen-Suslin theorem to multidimensional systems theory
- Linear differential elimination for analytic functions
- Algorithmic symmetry classification with invariance
- An axiomatic setup for algorithmic homological algebra and an alternative approach to localization
- Representations, commutative algebra, and Hurwitz groups.
- Compatibility complex for black hole spacetimes
- Noether normalization guided by monomial cone decompositions
- Nonlinear deformation waves in a geometrically and physically nonlinear viscoelastic cylindrical shell containing viscous incompressible fluid and surrounded by an elastic medium
- Algebraic construction of a strongly consistent, permutationally symmetric and conservative difference scheme for 3D steady Stokes flow
- conley
- GeM
- Ginv
- homalg
- Plural
- MAGDA
- OreModules
- symmChainGens
- SADE
- DifferentialGeometry
- FourTiTwo
- CRACK
- SYM
- BLAD
- EDIM
- D-modules
- DifferentialThomas
- DIFFALG
- QuillenSuslin
- CDiffElim
- Jets
- alexander
- JanetOre
- control.lib
- noether.lib
- involut.lib
- jacobson.lib
- LocalizeRingForHomalg
- AlgebraicThomas
- OreMorphisms
- InvolutiveBases
- NLControl
- OreAlgebraicAnalysis
- On the consistency analysis of finite difference approximations
- LDA
- MatricesForHomalg
- TDDS
- primdecint.lib
- LieAlgebrasOfVectorFields
- Serre's reduction of linear partial differential systems with holonomic adjoints
- On deformations of multidimensional Poisson brackets of hydrodynamic type
- Algorithmic calculus for Lie determining systems
- Involutive bases algorithm incorporating F\(_5\) criterion
- Computing minimal associated primes in polynomial rings over the integers
- Recent progress in an algebraic analysis approach to linear systems
- An \(L_2\)-quotient algorithm for finitely presented groups.
- Lie symmetries, optimal system and invariant reductions to a nonlinear Timoshenko system
- Specialized computer algebra system GINV
- Fraction-free algorithm for the computation of diagonal forms matrices over Ore domains using Gröbner bases
- A strongly consistent finite difference scheme for steady Stokes flow and its modified equations
- Thomas decomposition of algebraic and differential systems
- G2V.mpl
- Computing diagonal form and Jacobson normal form of a matrix using Gröbner bases
- homalg – A META-PACKAGE FOR HOMOLOGICAL ALGEBRA
- scientific article; zbMATH DE number 5052246 (Why is no real title available?)
- 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
- The icosahedra of edge length 1
- Generation of difference schemes for the Burgers equation by constructing Gröbner bases
- Structure of symmetry of PDE: exploiting partially integrated systems
This page was built for software: Janet