Inverse inequality estimates with symbolic computation (Q308968): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+W30
@@ Property / Mathematics Subject Classification ID: 68W30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A20
@@ Property / Mathematics Subject Classification ID: 05A20 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A15
@@ Property / Mathematics Subject Classification ID: 15A15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A45
@@ Property / Mathematics Subject Classification ID: 15A45 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F10
@@ Property / Mathematics Subject Classification ID: 33F10 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F15
@@ Property / Mathematics Subject Classification ID: 65F15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N12
@@ Property / Mathematics Subject Classification ID: 65N12 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 65N30 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6624142
@@ Property / zbMATH DE Number: 6624142 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Zeilberger's algorithm
@@ Property / zbMATH Keywords: Zeilberger's algorithm / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+inverse inequality
@@ Property / zbMATH Keywords: inverse inequality / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+holonomic ansatz
@@ Property / zbMATH Keywords: holonomic ansatz / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+finite element method
@@ Property / zbMATH Keywords: finite element method / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+holonomic function
@@ Property / zbMATH Keywords: holonomic function / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+symbolic determinant evaluation
@@ Property / zbMATH Keywords: symbolic determinant evaluation / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HolonomicFunctions
@@ Property / describes a project that uses: HolonomicFunctions / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DET
@@ Property / describes a project that uses: DET / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+qTSPP
@@ Property / describes a project that uses: qTSPP / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2268307080
@@ Property / OpenAlex ID: W2268307080 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.01304
@@ Property / arXiv ID: 1602.01304 / rank @@
+Normal rank
@@ Property / cites work @@
+Hypergeometric summation algorithms for high-order finite elements
+Normal rank
@@ Property / cites work @@
+The Mathematical Theory of Finite Element Methods
@@ Property / cites work: The Mathematical Theory of Finite Element Methods / rank @@
+Normal rank
@@ Property / cites work @@
+Q3890207
@@ Property / cites work: Q3890207 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079605
@@ Property / cites work: Q4079605 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical aspects of discontinuous Galerkin methods.
+Normal rank
@@ Property / cites work @@
+Inverse-type estimates on $hp$-finite element spaces and applications
+Normal rank
@@ Property / cites work @@
+A procedure for proving special function inequalities involving a discrete parameter
+Normal rank
@@ Property / cites work @@
+Finite elements on degenerate meshes: inverse-type inequalities and applications
+Normal rank
@@ Property / cites work @@
+Q3698230
@@ Property / cites work: Q3698230 / rank @@
+Normal rank
@@ Property / cites work @@
+Advanced applications of the holonomic systems approach
+Normal rank
@@ Property / cites work @@
+Proof of George Andrews’s and David Robbins’s             <i>q</i>             -TSPP conjecture
+Normal rank
@@ Property / cites work @@
+Computer Algebra Meets Finite Elements: An Efficient Implementation for Maxwell’s Equations
+Normal rank
@@ Property / cites work @@
+Advanced computer algebra for determinants
@@ Property / cites work: Advanced computer algebra for determinants / rank @@
+Normal rank
@@ Property / cites work @@
+Advanced determinant calculus: a complement
@@ Property / cites work: Advanced determinant calculus: a complement / rank @@
+Normal rank
@@ Property / cites work @@
+Symmetry classes of alternating-sign matrices under one roof
+Normal rank
@@ Property / cites work @@
+A local Fourier convergence analysis of a multigrid method using symbolic computation
+Normal rank
@@ Property / cites work @@
+Q4220650
@@ Property / cites work: Q4220650 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4527708
@@ Property / cites work: Q4527708 / rank @@
+Normal rank
@@ Property / cites work @@
+On the constants in \(hp\)-finite element trace inverse inequalities.
+Normal rank
@@ Property / cites work @@
+A holonomic systems approach to special functions identities
+Normal rank
@@ Property / cites work @@
+The holonomic ansatz. II: Automatic discovery(!) and proof(!!) of holonomic determinant evaluations
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:308968