Inverse inequality estimates with symbolic computation

DOI10.1016/j.aam.2016.04.005zbMath1346.68291arXiv1602.01304OpenAlexW2268307080MaRDI QIDQ308968

Cristian-Silviu Radu, Martin Neumüller, Christoph Koutschan

Publication date: 6 September 2016

Published in: Advances in Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1602.01304

zbMATH Keywords

finite element methodholonomic ansatzholonomic functioninverse inequalitysymbolic determinant evaluationZeilberger's algorithm

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Numerical computation of eigenvalues and eigenvectors of matrices (65F15) Determinants, permanents, traces, other special matrix functions (15A15) Stability and convergence of numerical methods for boundary value problems involving PDEs (65N12) Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs (65N30) Combinatorial inequalities (05A20) Miscellaneous inequalities involving matrices (15A45) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)

Related Items

Simple and robust equilibrated flux a posteriori estimates for singularly perturbed reaction–diffusion problems

Uses Software

• HolonomicFunctions
• DET
• qTSPP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Advanced computer algebra for determinants
• Mathematical aspects of discontinuous Galerkin methods.
• Hypergeometric summation algorithms for high-order finite elements
• A holonomic systems approach to special functions identities
• On the constants in \(hp\)-finite element trace inverse inequalities.
• Symmetry classes of alternating-sign matrices under one roof
• A local Fourier convergence analysis of a multigrid method using symbolic computation
• The holonomic ansatz. II: Automatic discovery(!) and proof(!!) of holonomic determinant evaluations
• Advanced determinant calculus: a complement
• Computer Algebra Meets Finite Elements: An Efficient Implementation for Maxwell’s Equations
• Finite elements on degenerate meshes: inverse-type inequalities and applications
• Proof of George Andrews’s and David Robbins’s q -TSPP conjecture
• Advanced applications of the holonomic systems approach
• A procedure for proving special function inequalities involving a discrete parameter
• Inverse-type estimates on $hp$-finite element spaces and applications
• The Mathematical Theory of Finite Element Methods

This page was built for publication: Inverse inequality estimates with symbolic computation