Janet

swMATH7776MaRDI QIDQ19793FDOQ19793

Author name not available (Why is that?)

Official website: http://wwwb.math.rwth-aachen.de/Janet/janet.html

Cited In (74)

• Thomas decomposition of algebraic and differential systems
• Thomas decomposition and nonlinear control systems
• Elimination for Coefficients of Special Characteristic Polynomials
• On the consistency analysis of finite difference approximations
• Linear differential elimination for analytic functions
• Recent progress in an algebraic analysis approach to linear systems
• Specialized computer algebra system GINV
• Generation of difference schemes for the Burgers equation by constructing Gröbner bases
• Algorithmic symmetry classification with invariance
• homalg – A META-PACKAGE FOR HOMOLOGICAL ALGEBRA
• Algorithmic Thomas decomposition of algebraic and differential systems
• Algebraic construction of a strongly consistent, permutationally symmetric and conservative difference scheme for 3D steady Stokes flow
• Title not available (Why is that?)
• Lie symmetries, optimal system and invariant reductions to a nonlinear Timoshenko system
• Structure of symmetry of PDE: exploiting partially integrated systems
• Compatibility complex for black hole spacetimes
• Noether normalization guided by monomial cone decompositions
• On the general analytical solution of the kinematic Cosserat equations
• 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
• GeM
• Ginv
• homalg
• MAGDA
• OreModules
• symmChainGens
• SADE
• Formal algorithmic elimination for PDEs
• Compatibility complexes of overdetermined PDEs of finite type, with applications to the Killing equation
• 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
• LDA
• MatricesForHomalg
• TDDS
• primdecint.lib
• LieAlgebrasOfVectorFields
• On deformations of multidimensional Poisson brackets of hydrodynamic type
• Serre's reduction of linear partial differential systems with holonomic adjoints
• A strongly consistent finite difference scheme for steady Stokes flow and its modified equations
• Algorithmic calculus for Lie determining systems
• Computing minimal associated primes in polynomial rings over the integers
• An \(L_2\)-quotient algorithm for finitely presented groups.
• The icosahedra of edge length 1
• G2V.mpl
• Representations, commutative algebra, and Hurwitz groups.
• Involutive bases algorithm incorporating F\(_5\) criterion
• Janet's approach to presentations and resolutions for polynomials and linear PDEs
• Applications of the Quillen-Suslin theorem to multidimensional systems theory
• An axiomatic setup for algorithmic homological algebra and an alternative approach to localization
• Gröbner bases and gradings for partial difference ideals
• Nonlinear deformation waves in a geometrically and physically nonlinear viscoelastic cylindrical shell containing viscous incompressible fluid and surrounded by an elastic medium

This page was built for software: Janet