{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,21]],"date-time":"2026-05-21T03:22:37Z","timestamp":1779333757181,"version":"3.51.4"},"reference-count":51,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2013,8,1]],"date-time":"2013-08-01T00:00:00Z","timestamp":1375315200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2013,8,1]],"date-time":"2013-08-01T00:00:00Z","timestamp":1375315200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Found Comput Math"],"published-print":{"date-parts":[[2013,8]]},"DOI":"10.1007\/s10208-013-9167-7","type":"journal-article","created":{"date-parts":[[2013,7,31]],"date-time":"2013-07-31T15:56:30Z","timestamp":1375286190000},"page":"583-613","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":57,"title":["On Post-Lie Algebras, Lie\u2013Butcher Series and Moving Frames"],"prefix":"10.1007","volume":"13","author":[{"given":"Hans Z.","family":"Munthe-Kaas","sequence":"first","affiliation":[]},{"given":"Alexander","family":"Lundervold","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,8,1]]},"reference":[{"issue":"1","key":"9167_CR1","doi-asserted-by":"publisher","first-page":"1650","DOI":"10.1007\/BF01084595","volume":"17","author":"A.A. Agrachev","year":"1981","unstructured":"A.A. Agrachev, R.V. Gamkrelidze, Chronological algebras and nonstationary vector fields, J. Math. Sci. 17(1), 1650\u20131675 (1981).","journal-title":"J. Math. Sci."},{"key":"9167_CR2","unstructured":"H. Berland, Isotropy in geometric integration. PhD thesis, Master\u2019s thesis, Norwegian University of Science and Technology (2002)."},{"key":"9167_CR3","series-title":"CRM Proceedings & Lecture Notes","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1090\/crmp\/039\/04","volume-title":"Group Theory and Numerical Analysis","author":"H. Berland","year":"2005","unstructured":"H. Berland, B. Owren, Algebraic structures on ordered rooted trees and their significance to Lie group integrators, in Group Theory and Numerical Analysis. CRM Proceedings & Lecture Notes, vol.\u00a039 (AMS, Providence, 2005), pp.\u00a049\u201363."},{"issue":"3","key":"9167_CR4","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1007\/s100529900235","volume":"12","author":"C. Brouder","year":"2000","unstructured":"C. Brouder, Runge\u2013Kutta methods and renormalization, Eur. Phys. J. C 12(3), 521\u2013534 (2000).","journal-title":"Eur. Phys. J. C"},{"issue":"02","key":"9167_CR5","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1017\/S1446788700027932","volume":"3","author":"J.C. Butcher","year":"1963","unstructured":"J.C. Butcher, Coefficients for the study of Runge\u2013Kutta integration processes, J. Aust. Math. Soc. 3(02), 185\u2013201 (1963).","journal-title":"J. Aust. Math. Soc."},{"issue":"117","key":"9167_CR6","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1090\/S0025-5718-1972-0305608-0","volume":"26","author":"J.C. Butcher","year":"1972","unstructured":"J.C. Butcher, An algebraic theory of integration methods, Math. Comput. 26(117), 79\u2013106 (1972).","journal-title":"Math. Comput."},{"key":"9167_CR7","unstructured":"\u00c9.E. Cartan, J.A. Schouten, On the geometry of the group-manifold of simple and semi-simple groups. Koninklijke Akademie van Wetenschappen te Amsterdam (1926)."},{"key":"9167_CR8","doi-asserted-by":"crossref","unstructured":"A. Cayley, On the theory of the analytical forms called trees, Philos. Mag. Ser. 4 13(85) (1857).","DOI":"10.1080\/14786445708642275"},{"issue":"2","key":"9167_CR9","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1023\/A:1024079724094","volume":"32","author":"E. Celledoni","year":"2003","unstructured":"E. Celledoni, B. Owren, On the implementation of Lie group methods on the Stiefel manifold, Numer. Algorithms 32(2), 163\u2013183 (2003).","journal-title":"Numer. Algorithms"},{"issue":"8","key":"9167_CR10","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1155\/S1073792801000198","volume":"2001","author":"F. Chapoton","year":"2001","unstructured":"F. Chapoton, M. Livernet, Pre-Lie algebras and the rooted trees operad, Int. Math. Res. Not. 2001(8), 395\u2013408 (2001).","journal-title":"Int. Math. Res. Not."},{"issue":"1","key":"9167_CR11","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/s002200050499","volume":"199","author":"A. Connes","year":"1998","unstructured":"A. Connes, D. Kreimer, Hopf algebras, renormalization and noncommutative geometry, Commun. Math. Phys. 199(1), 203\u2013242 (1998).","journal-title":"Commun. Math. Phys."},{"issue":"1","key":"9167_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF02429858","volume":"3","author":"P.E. Crouch","year":"1993","unstructured":"P.E. Crouch, R. Grossman, Numerical integration of ordinary differential equations on manifolds, J.\u00a0Nonlinear Sci. 3(1), 1\u201333 (1993).","journal-title":"J.\u00a0Nonlinear Sci."},{"key":"9167_CR13","first-page":"44","volume-title":"Proceedings of the 5th Conference of Balkan Society of Geometers","author":"M. Degeratu","year":"2006","unstructured":"M. Degeratu, M. Ivan, Linear connections on lie algebroids, in Proceedings of the 5th Conference of Balkan Society of Geometers (BSG, Bucharest, 2006), pp. 44\u201353."},{"key":"9167_CR14","doi-asserted-by":"crossref","unstructured":"K. Ebrahimi-Fard, D. Manchon, The Magnus expansion, trees and Knuth\u2019s rotation correspondence. arXiv:1203.2878 (2012).","DOI":"10.1007\/s10208-013-9172-x"},{"issue":"2","key":"9167_CR15","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1023\/A:1005878210297","volume":"51","author":"M. Fels","year":"1998","unstructured":"M. Fels, P.J. Olver, Moving coframes: I. A practical algorithm, Acta Appl. Math. 51(2), 161\u2013213 (1998).","journal-title":"Acta Appl. Math."},{"issue":"2","key":"9167_CR16","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1023\/A:1006195823000","volume":"55","author":"M. Fels","year":"1999","unstructured":"M. Fels, P.J. Olver, Moving coframes: II. Regularization and theoretical foundations, Acta Appl. Math. 55(2), 127\u2013208 (1999).","journal-title":"Acta Appl. Math."},{"key":"9167_CR17","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611970135","volume-title":"The Method of Equivalence and Its Applications","author":"R.B. Gardner","year":"1989","unstructured":"R.B. Gardner, The Method of Equivalence and Its Applications (SIAM, Philadelphia, 1989)."},{"issue":"2","key":"9167_CR18","doi-asserted-by":"publisher","first-page":"267","DOI":"10.2307\/1970343","volume":"78","author":"M. Gerstenhaber","year":"1963","unstructured":"M. Gerstenhaber, The cohomology structure of an associative ring, Ann. Math. 78(2), 267\u2013288 (1963).","journal-title":"Ann. Math."},{"issue":"1","key":"9167_CR19","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.jalgebra.2003.10.015","volume":"273","author":"M. Goze","year":"2004","unstructured":"M. Goze, E. Remm, Lie-admissible algebras and operads, J. Algebra 273(1), 129\u2013152 (2004).","journal-title":"J. Algebra"},{"issue":"1","key":"9167_CR20","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1016\/0021-8693(89)90328-1","volume":"126","author":"R. Grossman","year":"1989","unstructured":"R. Grossman, R.G. Larson, Hopf-algebraic structure of families of trees, J. Algebra 126(1), 184\u2013210 (1989).","journal-title":"J. Algebra"},{"issue":"1","key":"9167_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF02268387","volume":"13","author":"E. Hairer","year":"1974","unstructured":"E. Hairer, G. Wanner, On the Butcher group and general multi-value methods, Computing 13(1), 1\u201315 (1974).","journal-title":"Computing"},{"key":"9167_CR22","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1017\/S0962492900002154","volume":"9","author":"A. Iserles","year":"2000","unstructured":"A. Iserles, H.Z. Munthe-Kaas, S.P. N\u00f8rsett, A. Zanna, Lie-group methods, Acta Numer. 9, 215\u2013365 (2000).","journal-title":"Acta Numer."},{"key":"9167_CR23","volume-title":"Lie Algebras","author":"N. Jacobson","year":"1979","unstructured":"N. Jacobson, Lie Algebras (Dover, New York, 1979)."},{"key":"9167_CR24","volume-title":"Foundations of Differential Geometry","author":"S. Kobayashi","year":"1969","unstructured":"S. Kobayashi, K. Nomizu, Foundations of Differential Geometry, vol.\u00a02 (Interscience, New York, 1969)."},{"issue":"4","key":"9167_CR25","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/s102080010028","volume":"2","author":"D. Lewis","year":"2002","unstructured":"D. Lewis, P.J. Olver, Geometric integration algorithms on homogeneous manifolds, Found. Comput. Math. 2(4), 363\u2013392 (2002).","journal-title":"Found. Comput. Math."},{"key":"9167_CR26","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1142\/S0219199705001787","volume":"7","author":"D. Lewis","year":"2005","unstructured":"D. Lewis, N. Nigam, P.J. Olver, Connections for general group actions, Commun. Contemp. Math. 7, 341\u2013374 (2005).","journal-title":"Commun. Contemp. Math."},{"key":"9167_CR27","series-title":"Clay Mathematics Proceedings","volume-title":"Quanta of Maths","author":"J.L. Loday","year":"2010","unstructured":"J.L. Loday, M.O. Ronco, Combinatorial Hopf algebras, in Quanta of Maths. Clay Mathematics Proceedings, vol.\u00a011 (2010)."},{"key":"9167_CR28","unstructured":"O. Loos, Symmetric Spaces: General Theory, vol.\u00a01 (WA Benjamin, 1969)."},{"key":"9167_CR29","unstructured":"A. Lundervold, H.Z. Munthe-Kaas, Backward error analysis and the substitution law for Lie group integrators, Found. Comput. Math. 1\u201326 (2011)."},{"key":"9167_CR30","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1090\/conm\/539\/10641","volume":"539","author":"A. Lundervold","year":"2011","unstructured":"A. Lundervold, H.Z. Munthe-Kaas, Hopf algebras of formal diffeomorphisms and numerical integration on manifolds, Contemp. Math. 539, 295\u2013324 (2011).","journal-title":"Contemp. Math."},{"key":"9167_CR31","volume-title":"IRMA Lectures in Mathematics and Theoretical Physics","author":"A. Lundervold","year":"2013","unstructured":"A. Lundervold, H.Z. Munthe-Kaas, On algebraic structures of numerical integration on vector spaces and manifolds, in IRMA Lectures in Mathematics and Theoretical Physics (2013)."},{"key":"9167_CR32","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107325883","volume-title":"General Theory of Lie Groupoids and Lie Algebroids","author":"K.C.H. Mackenzie","year":"2005","unstructured":"K.C.H. Mackenzie, General Theory of Lie Groupoids and Lie Algebroids, vol.\u00a0213 (Cambridge University Press, Cambridge, 2005)."},{"key":"9167_CR33","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511844621","volume-title":"A Practical Guide to the Invariant Calculus","author":"E.L. Mansfield","year":"2010","unstructured":"E.L. Mansfield, A Practical Guide to the Invariant Calculus (Cambridge University Press, Cambridge, 2010)."},{"issue":"4","key":"9167_CR34","doi-asserted-by":"publisher","first-page":"572","DOI":"10.1007\/BF01739828","volume":"35","author":"H. Munthe-Kaas","year":"1995","unstructured":"H. Munthe-Kaas, Lie\u2013Butcher theory for Runge\u2013Kutta methods, BIT Numer. Math. 35(4), 572\u2013587 (1995).","journal-title":"BIT Numer. Math."},{"issue":"1","key":"9167_CR35","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/BF02510919","volume":"38","author":"H. Munthe-Kaas","year":"1998","unstructured":"H. Munthe-Kaas, Runge\u2013Kutta methods on Lie groups, BIT Numer. Math. 38(1), 92\u2013111 (1998).","journal-title":"BIT Numer. Math."},{"issue":"1","key":"9167_CR36","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/S0168-9274(98)00030-0","volume":"29","author":"H. Munthe-Kaas","year":"1999","unstructured":"H. Munthe-Kaas, High order Runge\u2013Kutta methods on manifolds, Appl. Numer. Math. 29(1), 115\u2013127 (1999).","journal-title":"Appl. Numer. Math."},{"issue":"7","key":"9167_CR37","doi-asserted-by":"publisher","first-page":"1197","DOI":"10.1016\/S0167-739X(03)00045-1","volume":"19","author":"H. Munthe-Kaas","year":"2003","unstructured":"H. Munthe-Kaas, S. Krogstad, On enumeration problems in Lie\u2013Butcher theory, Future Gener. Comput. Syst. 19(7), 1197\u20131205 (2003).","journal-title":"Future Gener. Comput. Syst."},{"issue":"1754","key":"9167_CR38","doi-asserted-by":"publisher","first-page":"957","DOI":"10.1098\/rsta.1999.0361","volume":"357","author":"H. Munthe-Kaas","year":"1999","unstructured":"H. Munthe-Kaas, B. Owren, Computations in a free Lie algebra, Philos. Trans. R. Soc., Math. Phys. Eng. Sci. 357(1754), 957 (1999).","journal-title":"Philos. Trans. R. Soc., Math. Phys. Eng. Sci."},{"issue":"2","key":"9167_CR39","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/s10208-006-0222-5","volume":"8","author":"H. Munthe-Kaas","year":"2008","unstructured":"H. Munthe-Kaas, W. Wright, On the Hopf algebraic structure of Lie group integrators, Found. Comput. Math. 8(2), 227\u2013257 (2008).","journal-title":"Found. Comput. Math."},{"key":"9167_CR40","volume-title":"Foundations of Computational Mathematics","author":"H. Munthe-Kaas","year":"1997","unstructured":"H. Munthe-Kaas, A. Zanna, Numerical integration of differential equations on homogeneous manifolds, in Foundations of Computational Mathematics, ed. by F. Cucker, M. Shub (1997)."},{"issue":"1","key":"9167_CR41","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/s00026-007-0305-2","volume":"11","author":"J.C. Novelli","year":"2007","unstructured":"J.C. Novelli, J.Y. Thibon, Parking functions and descent algebras, Ann. Comb. 11(1), 59\u201368 (2007).","journal-title":"Ann. Comb."},{"key":"9167_CR42","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511609565","volume-title":"Equivalence, Invariants, and Symmetry","author":"P.J. Olver","year":"1995","unstructured":"P.J. Olver, Equivalence, Invariants, and Symmetry (Cambridge University Press, Cambridge, 1995)."},{"key":"9167_CR43","doi-asserted-by":"crossref","unstructured":"P.J. Olver, A survey of moving frames, Comput. Algebra Geom. Algebra Appl. 105\u2013138 (2005).","DOI":"10.1007\/11499251_11"},{"issue":"1","key":"9167_CR44","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1023\/A:1022325426017","volume":"39","author":"B. Owren","year":"1999","unstructured":"B. Owren, A. Marthinsen, Runge\u2013Kutta methods adapted to manifolds and based on rigid frames, BIT Numer. Math. 39(1), 116\u2013142 (1999).","journal-title":"BIT Numer. Math."},{"key":"9167_CR45","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198536796.001.0001","volume-title":"Free Lie Algebras","author":"C. Reutenauer","year":"1993","unstructured":"C. Reutenauer, Free Lie Algebras (Oxford University Press, London, 1993)."},{"key":"9167_CR46","volume-title":"Differential Geometry: Cartan\u2019s Generalization of Klein\u2019s Erlangen Program","author":"R.W. Sharpe","year":"1997","unstructured":"R.W. Sharpe, Differential Geometry: Cartan\u2019s Generalization of Klein\u2019s Erlangen Program (Springer, Berlin, 1997)."},{"key":"9167_CR47","unstructured":"N.J.A. Sloane, The On-line Encyclopedia of Integer Sequences. http:\/\/oeis.org\/A022553 ."},{"key":"9167_CR48","unstructured":"M. Spivak, A Comprehensive Introduction to Differential Geometry, vol.\u00a02, 3rd edn. Publish or Perish (2005)."},{"issue":"2","key":"9167_CR49","doi-asserted-by":"publisher","first-page":"699","DOI":"10.1016\/j.jpaa.2006.03.012","volume":"208","author":"B. Vallette","year":"2007","unstructured":"B. Vallette, Homology of generalized partition posets, J. Pure Appl. Algebra 208(2), 699\u2013725 (2007).","journal-title":"J. Pure Appl. Algebra"},{"key":"9167_CR50","first-page":"340","volume":"12","author":"E.B. Vinberg","year":"1963","unstructured":"E.B. Vinberg, The theory of convex homogeneous cones, Trans. Mosc. Math. Soc. 12, 340\u2013403 (1963).","journal-title":"Trans. Mosc. Math. Soc."},{"issue":"3","key":"9167_CR51","doi-asserted-by":"publisher","first-page":"840","DOI":"10.1137\/S0895479800377551","volume":"23","author":"A. Zanna","year":"2002","unstructured":"A. Zanna, H.Z. Munthe-Kaas, Generalized polar decompositions for the approximation of the matrix exponential, SIAM J. Matrix Anal. Appl. 23(3), 840\u2013862 (2002).","journal-title":"SIAM J. Matrix Anal. Appl."}],"updated-by":[{"DOI":"10.1007\/s10208-018-9398-8","type":"correction","label":"Correction","source":"publisher","updated":{"date-parts":[[2018,9,24]],"date-time":"2018-09-24T00:00:00Z","timestamp":1537747200000}}],"container-title":["Foundations of Computational Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-013-9167-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10208-013-9167-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-013-9167-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-013-9167-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,15]],"date-time":"2024-05-15T20:14:27Z","timestamp":1715804067000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10208-013-9167-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8]]},"references-count":51,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2013,8]]}},"alternative-id":["9167"],"URL":"https:\/\/doi.org\/10.1007\/s10208-013-9167-7","relation":{},"ISSN":["1615-3375","1615-3383"],"issn-type":[{"value":"1615-3375","type":"print"},{"value":"1615-3383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,8]]},"assertion":[{"value":"21 March 2012","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 June 2013","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 June 2013","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 August 2013","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 September 2018","order":5,"name":"change_date","label":"Change Date","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Correction","order":6,"name":"change_type","label":"Change Type","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"The correct formula for the dimension of graded components","order":7,"name":"change_details","label":"Change Details","group":{"name":"ArticleHistory","label":"Article History"}}]}}