References

[Ado35]

Igor D. Ado. Note on the representation of finite continuous groups by means of linear substitutions, izv. fiz. Mat. Obsch.(Kazan), 7(1):935, 1935.

[Ado47]

Igor D. Ado. The representation of lie algebras by matrices. Uspekhi Matematicheskikh Nauk, 2(6):159–173, 1947.

[Bor71]

John E. Bortz. A new mathematical formulation for strapdown inertial navigation. IEEE Transactions on Aerospace and Electronic Systems, AES-7(1):61–66, 1971. doi:10.1109/TAES.1971.310252.

[But64]

J. C. Butcher. On Runge-Kutta processes of high order. Journal of the Australian Mathematical Society, 4(2):179–194, 1964. URL: https://www.cambridge.org/core/journals/journal-of-the-australian-mathematical-society/article/on-rungekutta-processes-of-high-order/40DFE501CAB781C9AAE1439B6B8F481A (visited on 2025-05-27), doi:10.1017/S1446788700023387.

[But16]

J. C. Butcher. Numerical Methods for Ordinary Differential Equations, chapter 3. John Wiley & Sons, Ltd, 2016. doi:10.1002/9781119121534.

[Chi12]

Gregory S. Chirikjian. Stochastic Models, Information Theory, and Lie Groups, Volume 2: Analytic Methods and Modern Applications. Applied and Numerical Harmonic Analysis. Birkhäuser, Boston, 2012. ISBN 978-0-8176-4943-2 978-0-8176-4944-9. URL: https://link.springer.com/10.1007/978-0-8176-4944-9 (visited on 2025-09-24), doi:10.1007/978-0-8176-4944-9.

[CIBS25]

John A. Christian, Michael R. Walker II, Wyatt Bridgman, and Michael J. Sparapany. Runge-kutta approximations for direct coning compensation applying lie theory. 2025. URL: https://arxiv.org/abs/2511.00412, arXiv:2511.00412.

[Ead17]

Ethan Eade. Lie groups for 2d and 3d transformations. Technical Report, May 2017. [Online]. Available: https://ethaneade.com/lie.pdf.

[Ead18]

Ethan Eade. Derivative of the exponential map. Technical Report, November 2018. [Online]. Available: https://ethaneade.com/exp_diff.pdf.

[Engo00]

Kenth Engø. On the construction of geometric integrators in the rkmk class. BIT Numerical Mathematics, 40:41–61, 2000.

[Gro13a]

Paul Groves. Principles of GNSS, Inertial, and Multisensor Integrated Navigation Systems, Second Edition. Volume. Artech House, 2013. doi:.

[Gro13b]

Paul Groves. Principles of GNSS, Inertial, and Multisensor Integrated Navigation Systems. Artech House, 2 edition, 2013. ISBN 978-1-60807-005-3. URL: https://us.artechhouse.com/Principles-of-GNSS-Inertial-and-Multisensor-Integrated-Navigation-Systems-Second-Edition-P2046.aspx (visited on 2023-02-27).

[Hay24]

Tucker Caelan Ellis Haydon. Earth-centered, earth-fixed inertial navigation system & error-state kalman filter reference manual. Technical Report, Sandia National Laboratories (SNL-NM), Albuquerque, NM (United States), 12 2024. URL: https://www.osti.gov/biblio/2516824, doi:10.2172/2516824.

[IMKNorsettZ00]

Arieh Iserles, Hans Z Munthe-Kaas, Syvert P Nørsett, and Antonella Zanna. Lie-group methods. Acta numerica, 9:215–365, 2000.

[MR13]

Jerrold E Marsden and Tudor S Ratiu. Introduction to mechanics and symmetry: a basic exposition of classical mechanical systems. Volume 17. Springer Science & Business Media, 2013.

[MKO99]

Hans Munthe–Kaas and Brynjulf Owren. Computations in a free lie algebra. Philosophical Transactions of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences, 357(1754):957–981, 1999.

[MK98]

Hans Munthe-Kaas. Runge-kutta methods on lie groups. BIT Numerical Mathematics, 38:92–111, 1998.

[MK99]

Hans Munthe-Kaas. High order runge-kutta methods on manifolds. Applied Numerical Mathematics, 29(1):115–127, 1999.

[NCfGISNCGIS14]

National Geospatial-Intelligence Agency (NGA) National Center for Geospatial Intelligence Standards (NCGIS). Department of Defense World Geodetic System 1984: Its Definition and Relationships with Local Geodetic Systems. July 2014. NGA.STND.0036. URL: https://nsgreg.nga.mil/doc/view?i=4085&month=11&day=3&year=2021.

[SDA18]

Joan Sola, Jeremie Deray, and Dinesh Atchuthan. A micro lie theory for state estimation in robotics. arXiv preprint arXiv:1812.01537, 2018.

[SGB+18]

Hannes Sommer, Igor Gilitschenski, Michael Bloesch, Stephan Weiss, Roland Siegwart, and Juan Nieto. Why and how to avoid the flipped quaternion multiplication. Aerospace, 2018. URL: https://www.mdpi.com/2226-4310/5/3/72, doi:10.3390/aerospace5030072.

[Spa24]

Michael J. Sparapany. Lielab: numerical lie-theory in c++ and python. 2024. Available at: https://github.com/sandialabs/lielab.