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

@@ Property / DOI @@
-.1016/j.aam.2016.04.005
@@ Property / DOI: 10.1016/j.aam.2016.04.005 / 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
@@ Property / DOI @@
+.1016/J.AAM.2016.04.005
@@ Property / DOI: 10.1016/J.AAM.2016.04.005 / rank @@
+Normal rank