Janet
From MaRDI portal
Software:19793
swMATH7776MaRDI QIDQ19793FDOQ19793
Author name not available (Why is that?)
Cited In (37)
- Elimination for Coefficients of Special Characteristic Polynomials
- On the consistency analysis of finite difference approximations
- AN AXIOMATIC SETUP FOR ALGORITHMIC HOMOLOGICAL ALGEBRA AND AN ALTERNATIVE APPROACH TO LOCALIZATION
- 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
- Thomas Decomposition of Algebraic and Differential Systems
- 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
- Title not available (Why is that?)
- Formal algorithmic elimination for PDEs
- Compatibility complexes of overdetermined PDEs of finite type, with applications to the Killing equation
- 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.
- On the General Analytical Solution of the Kinematic Cosserat Equations
- The icosahedra of edge length 1
- Thomas Decomposition and Nonlinear Control Systems
- Nonlinear Deformation Waves in a Geometrically and Physically Nonlinear Viscoelastic Cylindrical Shell Containing Viscous Incompressible Fluid and Surrounded by an Elastic Medium
- 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
- Gröbner bases and gradings for partial difference ideals
This page was built for software: Janet