{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,12]],"date-time":"2025-12-12T13:43:18Z","timestamp":1765546998071},"reference-count":44,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2022,12,1]],"date-time":"2022-12-01T00:00:00Z","timestamp":1669852800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,12,1]],"date-time":"2022-12-01T00:00:00Z","timestamp":1669852800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Math.Comput.Sci."],"published-print":{"date-parts":[[2022,12]]},"DOI":"10.1007\/s11786-022-00547-2","type":"journal-article","created":{"date-parts":[[2022,12,13]],"date-time":"2022-12-13T05:03:46Z","timestamp":1670907826000},"update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Recurrences for Quadrilateral High-Order Finite Elements"],"prefix":"10.1007","volume":"16","author":[{"given":"Sven","family":"Beuchler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tim","family":"Haubold","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Veronika","family":"Pillwein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,12,13]]},"reference":[{"key":"547_CR1","doi-asserted-by":"crossref","unstructured":"Arndt, D., Feder, W.B.M., Fehling, M., Gassm\u00f6ller, R., Heister, T., Heltai, L., Kronbichler, M., Maier, M., Munch, P., Pelteret, J.-P., Sticko, S., Turcksin, B., Wells, D.: The deal.II library, version 9.4. J. Numer. Math. (2022). Accepted","DOI":"10.1515\/jnma-2022-0054"},{"key":"547_CR2","doi-asserted-by":"crossref","unstructured":"Becirovic, A., Paule, P., Pillwein, V., Riese, A., Schneider, C., Schoeberl, J.: Hypergeometric summation algorithms for high order finite elements. Computing 78(3), 235\u2013249 (2006). (Preliminary version available)","DOI":"10.1007\/s00607-006-0179-x"},{"key":"547_CR3","unstructured":"Beuchler, S., Meyer, A., Pester, M.: SPC-PM3AdH v1.0-programmers manual. Technical Report SFB393 01-08, Technische Universit\u00e4t Chemnitz, March (2001)"},{"issue":"3","key":"547_CR4","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/s00211-006-0681-2","volume":"103","author":"S Beuchler","year":"2006","unstructured":"Beuchler, S., Sch\u00f6berl, J.: New shape functions for triangular $$p$$-FEM using integrated Jacobi polynomials. Numer. Math. 103(3), 339\u2013366 (2006)","journal-title":"Numer. Math."},{"key":"547_CR5","unstructured":"Beuchler, S., Haubold, T., Pillwein, V.: Recursion formulas for integrated products of Jacobi polynomials (2021). arXiv:2105.08989"},{"key":"547_CR6","series-title":"Texts and Monographs in Symbolic Computation","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-7091-0794-2_2","volume-title":"Numerical and Symbolic Scientific Computing","author":"S Beuchler","year":"2012","unstructured":"Beuchler, S., Pillwein, V., Sch\u00f6berl, J., Zaglmayr, S.: Sparsity optimized high order finite element functions on simplices. In: Numerical and Symbolic Scientific Computing. Texts and Monographs in Symbolic Computation, pp. 21\u201344. Springer, Wien (2012)"},{"key":"547_CR7","doi-asserted-by":"crossref","unstructured":"Bey, J.: Finite-Volumen- und Mehrgitter-Verfahren f\u00fcr elliptische Randwertprobleme. In: Advances in Numerical Mathematics. B. G. Teubner, Stuttgart (1998)","DOI":"10.1007\/978-3-663-10071-3"},{"key":"547_CR8","doi-asserted-by":"crossref","unstructured":"Braess, D.: The convergence rate of multigrid with Gauss-Seidel relaxation for the Poisson equation. In: Hackbusch, W., Trottenberg, U. (eds.) Multigrid Methods, Proceedings of the Conference held at K\u00f6ln-Porz, November 23\u201327, 1981, Number 960 in Lecture Notes in Mathematics, pp. 368\u2013386. Springer, Berlin (1982)","DOI":"10.1007\/BFb0069934"},{"issue":"6","key":"547_CR9","doi-asserted-by":"publisher","first-page":"1195","DOI":"10.1016\/j.camwa.2013.12.003","volume":"67","author":"C Carstensen","year":"2014","unstructured":"Carstensen, C., Feischl, M., Page, M., Praetorius, D.: Axioms of adaptivity. Comput. Math. Appl. 67(6), 1195\u20131253 (2014)","journal-title":"Comput. Math. Appl."},{"key":"547_CR10","series-title":"1998), London Mathematical Society Lecture Note Series","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1017\/CBO9780511565847.004","volume-title":"Gr\u00f6bner Bases and Applications (Linz","author":"F Chyzak","year":"1998","unstructured":"Chyzak, F.: Gr\u00f6bner bases, symbolic summation and symbolic integration. In: Gr\u00f6bner Bases and Applications (Linz. 1998), London Mathematical Society Lecture Note Series, vol. 251, pp. 32\u201360. Cambridge University Press, Cambridge (1998)"},{"key":"547_CR11","volume-title":"The Finite Element Method for Elliptic Problems","author":"P Ciarlet","year":"1978","unstructured":"Ciarlet, P.: The Finite Element Method for Elliptic Problems. North-Holland, Amsterdam (1978)"},{"key":"547_CR12","doi-asserted-by":"crossref","unstructured":"Cluzeau, T., Dolean, V., Nataf, F., Quadrat, A.: Symbolic techniques for domain decomposition methods. In: Bank, R.E., Holst, M.J., Widlund, O.B., Xu, J. (eds.) Domain Decomposition Methods in Science and Engineering XX, Lecture Notes in Computational Science and Engineering, vol.\u00a091, pp. 27\u201338. Springer (2013)","DOI":"10.1007\/978-3-642-35275-1_3"},{"key":"547_CR13","doi-asserted-by":"crossref","unstructured":"Darrigrand, Vincent, Pardo, David, Chaumont-Frelet, Th\u00e9ophile., G\u00f3mez-Revuelto, Ignacio, Garcia-Castillo, Luis\u00a0Emilio: A painless automatic hp-adaptive strategy for elliptic problems. Finite Elem. Anal. Des. 178, 103424 (2020)","DOI":"10.1016\/j.finel.2020.103424"},{"key":"547_CR14","doi-asserted-by":"publisher","DOI":"10.1201\/9781420011685","volume-title":"Computing with $$hp$$ Finite Elements","author":"L Demkowicz","year":"2006","unstructured":"Demkowicz, L.: Computing with $$hp$$ Finite Elements. CRC Press, Taylor and Francis (2006)"},{"key":"547_CR15","doi-asserted-by":"crossref","unstructured":"Demkowicz, L., Kurtz, J., Pardo, D., Paszy\u0144ski, M., Rachowicz, W., Zdunek, A.: Computing with $$hp$$-adaptive finite elements. In: Applied Mathematics and Nonlinear Science Series, Frontiers: Three Dimensional Elliptic and Maxwell Problems with Applications, vol. 2. Chapman & Hall\/CRC, Boca Raton (2008)","DOI":"10.1201\/9781420011692"},{"key":"547_CR16","doi-asserted-by":"crossref","unstructured":"Di Stolfo, Paolo, Schr\u00f6der, Andreas, Zander, Nils, Kollmannsberger, Stefan: An easy treatment of hanging nodes in hp-finite elements. Finite Elem. Anal. Des. 121, 101\u2013117 (2016)","DOI":"10.1016\/j.finel.2016.07.001"},{"key":"547_CR17","doi-asserted-by":"crossref","unstructured":"Evans, L.C.: Partial Differential Equations, Graduate Studies in Mathematics, vol. 19, 2nd edn. American Mathematical Society, Providence (2010)","DOI":"10.1090\/gsm\/019"},{"key":"547_CR18","doi-asserted-by":"crossref","unstructured":"Gerdt, V.P., Robertz, D.: Algorithmic approach to strong consistency analysis of finite difference approximations to PDE systems. In: Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, ISSAC \u201919, pp. 163\u2013170. Association for Computing Machinery, New York (2019)","DOI":"10.1145\/3326229.3326255"},{"key":"547_CR19","doi-asserted-by":"crossref","unstructured":"Gilbarg, D., Trudinger, N.S.: Elliptic partial differential equations of second order. In: Classics in Mathematics. Springer-Verlag, Berlin (2001). Reprint of the 1998 edition","DOI":"10.1007\/978-3-642-61798-0"},{"key":"547_CR20","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-319-66320-3_11","volume-title":"Computer Algebra in Scientific Computing","author":"AA Gusev","year":"2017","unstructured":"Gusev, A.A., Gerdt, V.P., Chuluunbaatar, O., Chuluunbaatar, G., Vinitsky, S.I., Derbov, V.L., G\u00f3\u017ad\u017a, A.: Symbolic-numerical algorithm for generating interpolation multivariate hermite polynomials of high-accuracy finite element method. In: Gerdt, V.P., Koepf, W., Seiler, W.M., Vorozhtsov, E.V. (eds.) Computer Algebra in Scientific Computing, pp. 134\u2013150. Springer International Publishing, Cham (2017)"},{"key":"547_CR21","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-319-66320-3_12","volume-title":"Computer Algebra in Scientific Computing","author":"AA Gusev","year":"2017","unstructured":"Gusev, A.A., Gerdt, V.P., Chuluunbaatar, O., Chuluunbaatar, G., Vinitsky, S.I., Derbov, V.L., G\u00f3\u017ad\u017a, A.: Symbolic-numerical algorithms for solving the parametric self-adjoint 2d elliptic boundary-value problem using high-accuracy finite element method. In: Gerdt, V.P., Koepf, W., Seiler, W.M., Vorozhtsov, E.V. (eds.) Computer Algebra in Scientific Computing, pp. 151\u2013166. Springer, Cham (2017)"},{"issue":"1","key":"547_CR22","doi-asserted-by":"publisher","DOI":"10.1002\/pamm.201900446","volume":"19","author":"Tim Haubold","year":"2019","unstructured":"Haubold, Tim: Pillwein, Veronika, Beuchler, Sven: Symbolic evaluation of hp-FEM element matrices. PAMM 19(1), e201900446 (2019)","journal-title":"PAMM"},{"key":"547_CR23","doi-asserted-by":"crossref","unstructured":"Haubold, T., Pillwein, V., Beuchler, S.: Recursion relations for $$hp$$-FEM element matrices on quadrilaterals. PAMM (2021)","DOI":"10.1002\/pamm.202100200"},{"key":"547_CR24","doi-asserted-by":"crossref","unstructured":"Hong, H., Liska, R., Steinberg, S.: Testing stability by quantifier elimination. J. Symb. Comput. 24(2), 161\u2013187 (1997). (Applications of quantifier elimination (Albuquerque, NM, 1995))","DOI":"10.1006\/jsco.1997.0121"},{"key":"547_CR25","unstructured":"Kauers, M.: Guessing Handbook. Technical Report 09-07, Research Institute for Symbolic Computation (RISC)"},{"key":"547_CR26","doi-asserted-by":"crossref","unstructured":"Kauers, M., Jaroschek, M., Johansson, F.: Ore polynomials in Sage. In: Gutierrez, J., Schicho, J., Weimann, M. (eds.) Computer Algebra and Polynomials, Lecture Notes in Computer Science, pp. 105\u2013125 (2014)","DOI":"10.1007\/978-3-319-15081-9_6"},{"key":"547_CR27","doi-asserted-by":"crossref","unstructured":"Kauers, M.: The holonomic toolkit. In: Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions, Texts and Monographs in Symbolic Computation, pp. 119\u2013144. Springer (2013)","DOI":"10.1007\/978-3-7091-1616-6_5"},{"issue":"1","key":"547_CR28","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1137\/S0036142901391852","volume":"41","author":"BN Khoromskij","year":"2003","unstructured":"Khoromskij, B.N., Melenk, J.M.: Boundary concentrated finite element methods. SIAM J. Numer. Anal. 41(1), 1\u201336 (2003)","journal-title":"SIAM J. Numer. Anal."},{"key":"547_CR29","unstructured":"Koutschan, C.: Advanced applications of the holonomic systems approach. PhD thesis, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz (2009)"},{"key":"547_CR30","doi-asserted-by":"crossref","unstructured":"Kronbichler, M., Ljungkvist, K.: Multigrid for matrix-free high-order finite element computations on graphics processors. ACM Trans. Parallel Comput. 6(1) (2019)","DOI":"10.1145\/3322813"},{"key":"547_CR31","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/j.cam.2014.02.010","volume":"270","author":"P Kus","year":"2014","unstructured":"Kus, P., Solin, P., Andrs, D.: Arbitrary-level hanging nodes for adaptive hp-FEM approximations in 3D. J. Comput. Appl. Math. 270, 121\u2013133 (2014)","journal-title":"J. Comput. Appl. Math."},{"key":"547_CR32","doi-asserted-by":"crossref","unstructured":"Langer, U., Reitzinger, S., Schicho, J.: Symbolic methods for the element precondition technique. In: Langer, U., Winkler, F. (eds.) Proceedings of SNSC Hagenberg 2001, pp. 293\u2013308. Springer (2003)","DOI":"10.1007\/3-540-45084-X_15"},{"key":"547_CR33","unstructured":"Lions, J.-L.,Magenes, E.: Non-homogeneous boundary value problems and applications, vol. I. Springer-Verlag, New York (1972). Translated from the French by P. Kenneth, Die Grundlehren der mathematischen Wissenschaften, Band 181"},{"key":"547_CR34","doi-asserted-by":"crossref","unstructured":"Lyakhov, Dmitry, Gerdt, Vladimir, Michels, Dominik: On the algorithmic linearizability of nonlinear ordinary differential equations. J. Symb. Comput. 98, 07 (2019)","DOI":"10.1016\/j.jsc.2019.07.004"},{"issue":"4","key":"547_CR35","doi-asserted-by":"publisher","first-page":"518","DOI":"10.4208\/aamm.10-m1012","volume":"2","author":"S Pavel","year":"2010","unstructured":"Pavel, S., Lenka, D., Ivo, D.: Adaptive $$hp$$-fem with arbitrary-level hanging nodes for Maxwell\u2019s equations. Adv. Appl. Math. Mech. 2(4), 518\u2013532 (2010)","journal-title":"Adv. Appl. Math. Mech."},{"key":"547_CR36","doi-asserted-by":"publisher","first-page":"689","DOI":"10.1002\/pamm.200610325","volume":"6","author":"V Pillwein","year":"2006","unstructured":"Pillwein, V., Paule, P., Schneider, C., Schoeberl, J.: Hypergeometric summation techniques for high order finite elements. PAMM 6, 689\u2013690 (2006)","journal-title":"PAMM"},{"key":"547_CR37","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.jsc.2013.12.008","volume":"63","author":"Veronika Pillwein","year":"2014","unstructured":"Pillwein, Veronika: Takacs, Stefan: A local Fourier convergence analysis of a multigrid method using symbolic computation. J. Symb. Comput. 63, 1\u201320 (2014)","journal-title":"J. Symb. Comput."},{"key":"547_CR38","unstructured":"Quateroni, A., Valli, A.: Numerical approximation of partial differential equations. In Springer Series in Computational Mathematics, vol. 23. Springer, Berlin (1997)"},{"key":"547_CR39","unstructured":"Schwab, C.: $$p$$- and $$hp$$-finite element methods. In: Numerical Mathematics and Scientific Computation, Theory and Applications in Solid and Fluid Mechanics. The Clarendon Press, Oxford University Press, New York (1998)"},{"key":"547_CR40","unstructured":"Szabo, B., Babu\u0161ka, I.: Finite Element Analysis. Wiley (1991)"},{"key":"547_CR41","volume-title":"Babu\u0161ka, Ivo: Finite Element Analysis","author":"Barna Szab\u00f3","year":"1991","unstructured":"Szab\u00f3, Barna: Babu\u0161ka, Ivo: Finite Element Analysis. Wiley, New York (1991)"},{"issue":"3","key":"547_CR42","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0377-0427(90)90042-X","volume":"32","author":"D Zeilberger","year":"1990","unstructured":"Zeilberger, D.: A holonomic systems approach to special functions identities. J. Comput. Appl. Math. 32(3), 321\u2013368 (1990)","journal-title":"J. Comput. Appl. Math."},{"key":"547_CR43","doi-asserted-by":"publisher","DOI":"10.1016\/j.cma.2021.113811","volume":"380","author":"J Zhang","year":"2021","unstructured":"Zhang, J., Ankit, A., Gravenkamp, H., Eisentr\u00e4ger, S., Song, C.: A massively parallel explicit solver for elasto-dynamic problems exploiting octree meshes. Comput. Methods Appl. Mech. Eng. 380, 113811 (2021)","journal-title":"Comput. Methods Appl. Mech. Eng."},{"key":"547_CR44","unstructured":"Zienkiewicz, O.C.: The finite element method in engineering science. McGraw-Hill, London (1971). The second, expanded and revised, edition of \u0131t The finite element method in structural and continuum mechanics"}],"container-title":["Mathematics in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-022-00547-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11786-022-00547-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-022-00547-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,19]],"date-time":"2023-09-19T04:27:24Z","timestamp":1695097644000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11786-022-00547-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,12]]},"references-count":44,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2022,12]]}},"alternative-id":["547"],"URL":"https:\/\/doi.org\/10.1007\/s11786-022-00547-2","relation":{},"ISSN":["1661-8270","1661-8289"],"issn-type":[{"value":"1661-8270","type":"print"},{"value":"1661-8289","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,12]]},"assertion":[{"value":"1 November 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 September 2022","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 November 2022","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 December 2022","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"32"}}