Pith. sign in

REVIEW 3 major objections 5 minor 80 references

Product Of Exponentials (POE) Splines on Lie-Groups: Limitations, Extensions, and Application to SO(3) and SE(3)

T0 review · 3 major / 5 minor · reviewed 2026-08-05 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read A kth-order product-of-exponentials spline on a Lie group can exactly reconstruct only one-parameter-subgroup motions; the paper's global spline with non-zero initial coordinates handles the rest.

desk verdict Solid limitation result and a promising global-spline idea, but the printed nonzero-initial derivation is not self-consistent and the new algorithms are not reproducible as written. read the letter →

arxiv 2508.10513 v2 pith:PVN36SJF submitted 2025-08-14 math.NA cs.NAmath.DGmath.GR

Andreas Mueller This is my paper · ORCID
classification math.NAcs.NAmath.DGmath.GR MSC 65D0765D0522E15
keywords LiegroupsplinesproductofexponentialsPoissonequationSO(3)SE(3)rigidbodymotioninterpolationCosseratrodsonmanifolds
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

Splines on Lie groups—the curved spaces that encode rotations and rigid-body motions—are usually built by chaining short exponential segments, each starting at the identity of the group. This paper establishes that such product-of-exponentials splines have a structural ceiling: a spline of order $k$ can exactly reproduce a $k$th-order motion only when that motion runs along a 1-parameter subgroup, because chaining segments on the group injects non-commutative corrections (nested commutators) that no polynomial coordinate function can absorb. The paper then removes the ceiling with a global spline $\bar h(t) = \bar h_0 \exp \xi(t)$ that joins the coordinate function on the Lie algebra—a vector space—instead of joining group elements, and that permits a non-zero starting coordinate $\xi(0)$. The enabling tool is a generalized series solution of the Poisson equation (the reconstruction equation that feeds the spline), truncated to order $k$; it yields closed-form 3rd- and 4th-order algorithms, including variants that prescribe the velocity or twist at the data points. If the construction is right, it matters wherever motions must be interpolated exactly: robotics trajectory planning, animation, and the shape reconstruction of slender elastic (Cosserat) rods.

What carries the argument

The load-bearing mechanism is the generalized series solution of the local reconstruction equation $\xi' = \mathrm{dexp}^{-1}_{-\xi}\, v$—the Poisson equation in left-trivialized coordinates—expanded at $\tau=0$ with $\xi(0)$ possibly non-zero (Theorem 1, equation (41)): $\xi(\tau)=\sum_{k\ge 0}\frac{\tau^k}{k!}\,\Phi_k(\xi(0),v(0),\ldots,v^{(k-1)}(0))$, a generalization of the zero-initial-value expansion (7)–(10). Truncating this series at order $k$ produces the 2-point interpolation formulas that seed both spline families. The central structural object is equation (40), the Baker–Campbell–Hausdorff formula written as $\eta(t)=\xi(t)-\xi(t_{i-1})-\tfrac{1}{2}[\xi(t_{i-1}),\xi(t)]+\cdots$:

What would settle it

Two checks settle the claims. (1) For Proposition 2: interpolate a cubic, non-1-parameter-subgroup motion in $SO(3)$, e.g. $\xi(t)=t\xi_1+t^3\xi_2$ (Example 3), with a 3rd-order POE spline; the residual should not vanish. (2) For the global spline: space samples so the cumulative norm $\|\xi(t_{i-1})\|$ grows large (multiple full turns), compare against machine-precision Poisson-equation integration, and check that the 3rd/4th-order error still obeys Lemma 1's order law. If it breaks away, the 'small $\xi(0)$' lifting in Remark 7 is the boundary.

Watch

Extended reading notes

Core claim

The paper's central claim is two-part. First (Proposition 2), a $k$th-order POE spline with segments $h_{i-1}\exp\xi_i^{[k]}(\tau_i)$ and zero initial coordinates can exactly reconstruct a curve $h(t)=h_0\exp\xi(t)$ only when the motion runs along a 1-parameter subgroup; otherwise the Baker–Campbell–Hausdorff formula injects non-polynomial bracket terms. Second, a global spline $\bar h(t)=\bar h_0\exp\xi(t)$ that concatenates increments on the Lie algebra and allows $\xi(0)\neq 0$ exactly reconstructs general $k$th-order curves: Example 4 reproduces the cubic $\xi(t)=t\xi_1+t^3\xi_2$ in $SO(3)$ while the same-order POE spline leaves a visible residual. The enabler is Theorem 1's series (41)

Load-bearing premise

The global-spline algorithms rest on Theorem 1's series expansion (41), which is proved only for 'ξ(0) ≠ 0 small'; Remark 7 simply asserts that this smallness requirement can be lifted in practice when cumulative coordinates grow across segments, with no proof or bound given for the lifting.

Editorial extensions

If this is right

  • Closed-form 3rd- and 4th-order spline algorithms on $SO(3)$ and $SE(3)$ follow from the Poisson-series truncation with linear complexity in the number of points, including variants that prescribe the left-trivialized velocity (angular velocity or twist) at the knot points.
  • The 3rd-order POE spline recovers the established minimum-energy and minimum-acceleration interpolations as special cases, so the Poisson-equation derivation unifies that family of algorithms.
  • For Cosserat-rod shape reconstruction, prescribing the deformation/twist at the sample points markedly reduces error amplification as the number of segments grows, arguing for state-based rather than pose-only interpolation in soft-robotics applications.
  • The global spline treats the starting pose as an output rather than an input, which matches elastic-equilibrium problems; the uniqueness domain of the logarithm ($\|\xi\|\le\pi$ on $SO(3)$) still bounds how far apart sampled poses may lie.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The Proposition 2 failure is structural, not an accuracy defect: the space of degree-$k$ POE splines does not contain the degree-$k$ polynomial curves, so POE splines can converge to general smooth motions only through shrinkage of bracket terms with segment length—a different regime from the exact reproduction the global spline offers.
  • The unproven step is Remark 7's lifting of the 'small $\xi(0)$' condition: in a many-segment global spline, $\xi(t_{i-1})$ accumulates and can leave the convergence domain of series (41). A natural testable extension is an explicit radius bound, or a segment-count limit, beyond which formulas (46)–(48) are only formal.
  • The conclusion concedes that exact polynomial reconstruction is 'a rather special situation'; the broadly useful features are the non-zero initial coordinate and the state-prescribing variants, which the rod examples exercise.
  • The algebra-level concatenation recipe should transfer to other interpolation problems on Lie groups or homogeneous spaces, and it suggests a route to the paper's noted open problem of computing control points so that Bézier-style curves pass through intermediate poses: the global spline's single coordinate function gives control data directly in the Lie algebra.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 5 minor

Summary. The paper proposes spline interpolation on a connected Lie group G via the Poisson equation g' = gv. It derives kth-order two-point interpolation formulas from a truncated series expansion of the local coordinates ξ, then builds piecewise product-of-exponentials (POE) splines (Definition 2, Eq. (33)) and variants that prescribe the left-trivialized vector field at interpolation points. A central negative result (Proposition 2) states that standard zero-initial POE splines can exactly reconstruct only kth-order curves lying on a 1-parameter subgroup. To overcome this, the paper introduces 'global' splines with nonzero initial coordinate (Definition 3, Eq. (49)), based on a claimed Taylor expansion for nonzero ξ(0) (Theorem 1, Eq. (41)) and interpolation formulas (45)-(48). Numerical examples concern SO(3), SE(3), and Cosserat rod shape reconstruction.

Significance. If the global-spline construction were correct, this would be a useful contribution: a Poisson-equation-based derivation of Lie-group splines that does not depend on a Riemannian metric, a clear statement of the limitation of local POE splines, and velocity-prescribed interpolation algorithms with explicit SO(3)/SE(3) formulas and a realistic application. The paper does not provide machine-checked proofs or code, so the claims rest on the printed derivations. However, the global-spline part has load-bearing inconsistencies (see major comments): the nonzero-initial formulas (45)-(48) contradict Theorem 1, and Algorithms 5-8 are not reproducible as printed. Thus the headline exact-reconstruction claim is not established. The positive value of Sections 2-5 and the application examples does not compensate without repair.

major comments (3)
  1. [Section 6, Eqs. (45)-(48)] The nonzero-initial interpolation formulas do not enforce the vector-field initial condition. From Eq. (5), at τ=0 one has ξ'(0) = dexp^{-1}_{-ξ0} v0, and the second derivative involves derivatives of dexp^{-1}. This is precisely what Theorem 1(ii) states via Φ1 and Φ2. Yet Eq. (46) gives ξ'(0)=v0, and Eq. (45) has the same structure. Therefore (46) cannot meet the stated kth-order initial-value conditions unless ξ0=0 or the relevant Lie brackets vanish. Consequently Eqs. (47)-(48) are not valid nonzero-initial boundary-value interpolations. Since Section 7 states that the global spline rests on these formulas, the exact-reconstruction claim in the introduction and Section 7 is unsupported by the printed equations.
  2. [Section 7, Algorithms 5-8] The algorithms are not reproducible as printed. Algorithms 5 and 6 evaluate the segment using d_i, e_i (and f_i), which are not defined or derived in Section 6; the stated interpolation formulas (46)-(48) use v0 and v0' directly. Algorithm 5 also computes a_i and b_i that do not enter the evaluation. Algorithms 7 and 8 additionally use undefined β_{i-1}, d_i, e_i; set Δξ_i = log(h_{i-1}^{-1}h_i), which is the local POE increment rather than the global coordinate difference ξ_i - ξ_{i-1}; and Algorithm 8's evaluation combines ξ_{i-1} with Δξ_i in a way that is inconsistent at τ=1. Therefore the global spline algorithms cannot be executed from the manuscript, and Example 4's exact-reconstruction demonstration is not verifiable.
  3. [Theorem 1 and Remark 7] The expansion (41) is asserted only for 'ξ(0) ≠ 0 small', and Remark 7 lifts this requirement in practice without a proof or quantitative bound. In a multi-segment global spline, ξ_{i-1} is the cumulative canonical coordinate log(h0^{-1} h_{i-1}) and can be large; on noncompact groups such as SE(3) or for points far from h0, the series domain and the dexp singularities are not controlled. No convergence radius or error estimate is supplied. This is secondary to the two issues above, but it is still load-bearing for the global spline's validity domain.
minor comments (5)
  1. [Abstract / Introduction] The claim that the global spline 'can exactly reconstruct a kth-order curve in G' should be stated as a result of a corrected derivation; as written it is not proven by the current equations.
  2. [Eq. (27)-(29)] In Eq. (28), the expression for v0' appears algebraically inconsistent with Eq. (25); please check the sign and coefficient of the bracketed term. The final formulas (27) and (29) may be correct, but the intermediate equation should be verified.
  3. [Algorithm 1 and 2] The evaluation step says 't ∈ [ti – ti–1]'; it should read 't ∈ [ti–1, ti]'. The same convention appears in Algorithms 3-8.
  4. [Algorithm 2] The update for γ*_i has unmatched parentheses: 'γ∗ i := dexp– ¯ξi ci – 2(D– ¯ξidexp (ai) bi – ...'. Please correct the bracket structure.
  5. [Examples] Typos: 'repsectiely' (Example 1), 'initial an terminal' (Example 5), 'pints' (Example 6 figure caption), 'rations' (Example 3), 'algotithm' (Example 6 caption), 'minium' (Remark 4). Minor but should be cleaned.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: exact reconstruction is a vector-space interpolation property; the cited series from [47] is independent mathematical support, and the noted equation/algorithm defects are correctness gaps, not circular reductions.

full rationale

I find no circular reduction. The global spline's exact-reconstruction property is a vector-space Hermite interpolation statement: the algorithms recover the coordinate derivatives d_i = dexp^{-1}_{-ξ_{i-1}} α_{i-1} and then use a standard cubic/quartic Hermite interpolant of the coordinate function ξ(t). Since the group curve is h(t) = h0 exp ξ(t), exact reproduction of ξ(t) as a polynomial reproduces h(t); no fitted parameter is renamed as a prediction. The zero-initial expansion (7)-(10) is cited from the author's [47], but it is a parameter-free mathematical derivation and does not contain the target claims; Theorem 1 provides an in-paper argument for the nonzero case. The manuscript does have genuine correctness/reproducibility gaps: Eq. (45)-(48) write v0 where the nonzero-initial Taylor coefficient should be dexp^{-1}_{-ξ0} v0, and Algorithms 7-8 use undefined β_{i-1}, d_i, e_i and define Δξ_i as the POE increment rather than the global coordinate difference. These are defects in the printed derivation, not equivalences between inputs and outputs, and they do not establish circularity under the stated rules.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The central claims rest on three kinds of assumptions: the convergence of the Poisson-equation series (from the author's prior work and Theorem 1), the uniqueness/local behavior of the exponential and logarithm maps, and the standard closed forms on SO(3)/SE(3). No free parameters are fitted. No invented entities.

assumptions (5)
  • domain assumption The series expansion (7)-(10) for the solution of the Poisson equation with xi(0)=0
    Taken from the author's prior work [47]; assumed convergent in a neighborhood of the identity. Used in Section 3 to derive all 2-point interpolations.
  • domain assumption Theorem 1: the series expansion (41) with non-zero initial xi(0) converges for xi(0) small
    Section 6; the global splines rely on this expansion. The paper states the smallness requirement is lifted in practice (Remark 7) without proof.
  • domain assumption Uniqueness of the logarithm map on SO(3)/SE(3) for interpolation points within the principal branch (norm x <= pi)
    Remark 9; required for computing xi_i = log(h0^{-1} h_i) in Algorithms 5-8.
  • standard math Closed-form expressions for exp, log, dexp and derivatives on SO(3) and SE(3) in Appendix A
    Standard results, cited to [49]; used throughout the algorithms.
  • domain assumption The local error analysis assumes the interpolant and true curve are close enough for log(exp(-xi)exp(xi[k])) to be well-defined
    Lemma 1; standard local analysis.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Product Of Exponentials (POE) Splines on Lie-Groups: Limitations, Extensions, and Application to SO(3) and SE(3)." pith.science (2026). https://pith.science/paper/PVN36SJF

@misc{pith2026250810513,
  author       = {Pith},
  title        = {Pith review of: Product Of Exponentials (POE) Splines on Lie-Groups: Limitations, Extensions, and Application to SO(3) and SE(3)},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/PVN36SJF}},
  note         = {Machine review of arXiv:2508.10513}
}
abstract

Existing methods for constructing splines and Bezier curves on a Lie group G involve repeated products of exponentials deduced from local geodesics, w.r.t. a Riemannian metric, or rely on general polynomials. Moreover, each of these local curves is supposed to start at the identity of $G$. Both assumptions may not reflect the actual curve to be interpolated. This paper pursues a different approach to construct splines on $G$. Local curves are expressed as solutions of the Poisson equation on G. Therewith, the local interpolations satisfies the boundary conditions while respecting the geometry of $G$. A $k$th-order approximation of the solutions gives rise to a $k$th-order product of exponential (POE) spline. Algorithms for constructing 3rd- and 4th-order splines are derived from closed form expressions for the approximate solutions. Additionally, spline algorithms are introduced that allow prescribing a vector field the curve must follow at the interpolation points. It is shown that the established algorithms, where $k$th-order POE-splines are constructed by concatenating local curves starting at the identity, cannot exactly reconstruct a $k$th-order motion. To tackle this issue, the formulations are extended by allowing for local curves between arbitrary points, rather than curves emanating from the identity. This gives rise to a global $k$th-order spline with arbitrary initial conditions. Several examples are presented, in particular the shape reconstruction of slender rods modeled as geometrically non-linear Cosserat rods.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

80 extracted references · 80 canonical work pages

  1. [1]

    Robotics and Autonomous Systems (2024)

    Almaghout, K., Cherubini, A., Klimchik, A.: Robotic co-manipulation of deformable linear objects for large deformation tasks. Robotics and Autonomous Systems (2024)

    work page 2024

  2. [2]

    Robtics 13(18), 20 (2024)

    Almaghout, K., Klimchik, A.: Manipulation planning for cable shape control. Robtics 13(18), 20 (2024)

    work page 2024

  3. [3]

    Clarendon Press (1989)

    Altmann, S.: Rotations, Quaternions, and Double Groups. Clarendon Press (1989)

    work page 1989

  4. [4]

    In: Mathematical Methods for Curves and Surfaces: 7th International Conference, MMCS 2008, Tønsberg, Norway, June 26-July 1, 2008, Revised Selected Papers 7, pp

    Bartoˇn, M., Jüttler, B., Wang, W.: Construction of rational curves with rational rotation-minimizing frames via möbius transformations. In: Mathematical Methods for Curves and Surfaces: 7th International Conference, MMCS 2008, Tønsberg, Norway, June 26-July 1, 2008, Revised Selected Papers 7, pp. 15–25. Springer (2010)

    work page 2008

  5. [5]

    Proceedings of the Institution of Mechanical Engineers, Part K: Journal of Multi-body Dynamics 222(4), 353–366 (2008)

    Bauchau, O., Epple, A., Heo, S.: Interpolation of finite rotations in flexible multi-body dynamics simulations. Proceedings of the Institution of Mechanical Engineers, Part K: Journal of Multi-body Dynamics 222(4), 353–366 (2008)

    work page 2008

  6. [6]

    Butterworths, London (1986)

    Bézier, P.: The Mathematical Basis of UNISURF CAD System. Butterworths, London (1986)

    work page 1986

  7. [7]

    IEEE Transactions on Robotics 34(1), 29–47 (2018)

    Black, C., Till J.and Rucker, D.: Parallel Continuum Robots. IEEE Transactions on Robotics 34(1), 29–47 (2018)

    work page 2018

  8. [8]

    Springer (2003)

    Bloch, A.M.: Nonholonomic mechanics and control. Springer (2003)

    work page 2003

Show all 80 references
  1. [9]

    SIAM Journal on Numerical Analysis 56(4), 2623–2647 (2018)

    Bogfjellmo, G., Modin, K., Verdier, O.: A Numerical Algorithm forC2-Splines on Symmetric Spaces. SIAM Journal on Numerical Analysis 56(4), 2623–2647 (2018)

    2018

  2. [10]

    North-Holland (1979)

    Bottema, O., Roth, B.: Theoretical Kinematics. North-Holland (1979)

    1979

  3. [11]

    IEEE Transactions on Robotics 39(2), 1527–1543 (2022)

    Briot, S., Boyer, F.: A geometrically exact assumed strain modes approach for the geometrico-and kinemato-static modelings of continuum parallel robots. IEEE Transactions on Robotics 39(2), 1527–1543 (2022)

    2022

  4. [12]

    Differential Geometry and its Applications 15(2), 107–135 (2001)

    Camarinha, M., Leite, F.S., Crouch, P.: On the geometry of Riemannian cubic polynomials. Differential Geometry and its Applications 15(2), 107–135 (2001)

    2001

  5. [13]

    Mechanism and Machine Theory 206, 105926 (2025)

    Carricato, M.: Classification of the three-dimensional persistent poe manifolds of se (3). Mechanism and Machine Theory 206, 105926 (2025)

    2025

  6. [14]

    Document no P 2108 (1959)

    de Casteljau, P.: Enveloppe soleau 40.040. Document no P 2108 (1959)

    1959

  7. [15]

    In: AAS/AIAA Astrodynamics Specialist Conference, Stevenson, W A, USA (2017)

    Condurache, D.: Poisson-Darboux problems’s extended in dual Lie algebra. In: AAS/AIAA Astrodynamics Specialist Conference, Stevenson, W A, USA (2017)

    2017

  8. [16]

    Journal of Dynamical and Control Systems 5(3), 397–429 (1999)

    Crouch, P., Kun, G., Leite, F.S.: The De Casteljau algorithm on Lie groups and spheres. Journal of Dynamical and Control Systems 5(3), 397–429 (1999)

    1999

  9. [17]

    In: 1991 American Control Conference, pp

    Crouch, P., Leite, F.S.: Geometry and the dynamic interpolation problem. In: 1991 American Control Conference, pp. 1131–1136. IEEE (1991)

    1991

  10. [18]

    Journal of Dynamical and control systems 1(2), 177–202 (1995) Product Of Exponentials (POE) Splines on Lie-Groups: Limitations, Extensions, and Application to SO(3) and SE(3) 27

    Crouch, P., Leite, F.S.: The dynamic interpolation problem: on Riemannian manifolds, Lie groups, and symmetric spaces. Journal of Dynamical and control systems 1(2), 177–202 (1995) Product Of Exponentials (POE) Splines on Lie-Groups: Limitations, Extensions, and Application to...

    1995

  11. [19]

    Gautiers- Villars, Paris 4 (1887)

    Darboux, G.: Leçons sur la théorie générale des surfaces et les applications géométriques du calcul infinitesimal. Gautiers- Villars, Paris 4 (1887)

  12. [20]

    In: 2019 American Control Conference (ACC), pp

    Dhullipalla, M.H., Hamrah, R., Warier, R.R., Sanyal, A.K.: Trajectory generation on SE(3) for an underactuated vehicle with pointing direction constraints. In: 2019 American Control Conference (ACC), pp. 1930–1935. IEEE (2019)

    2019

  13. [21]

    Electronic Notes in Theoretical Computer Science 61, 178–190 (2002)

    Ding, R.: Drawing ruled surfaces using the dual De Boor algorithm. Electronic Notes in Theoretical Computer Science 61, 178–190 (2002)

    2002

  14. [22]

    Duffy, J., Griffis, M., Swinson, M.: The fallacy of modern hybrid control theory for the simultaneous control of force and motion. In: S. Stifter, J. Lenar ˇciˇc (eds.) Advances in Robot Kinematics, pp. 248–258. Springer Vienna, Vienna (1991)

    1991

  15. [23]

    Academic Press (1997)

    Farin, G.E.: Curves and surfaces for computer-aided design: A practical guide. Academic Press (1997)

    1997

  16. [24]

    Journal of Mechanical Design 116(3), 756–762 (1994)

    Ge, Q., Ravani, B.: Computer aided geometric design of motion interpolants. Journal of Mechanical Design 116(3), 756–762 (1994)

    1994

  17. [25]

    Journal of Mechanical Design 116(3), 749–755 (1994)

    Ge, Q., Ravani, B.: Geometric Construction of Bézier Motions. Journal of Mechanical Design 116(3), 749–755 (1994)

    1994

  18. [26]

    Springer (2006)

    Hairer, E., Lubich, C., Wanner, G.: Geometric Numerical Integration. Springer (2006)

    2006

  19. [27]

    Computer Methods in Applied Mechanics and Engineering 337, 352–386 (2018)

    Han, S., Bauchau, O.A.: On the global interpolation of motion. Computer Methods in Applied Mechanics and Engineering 337, 352–386 (2018)

    2018

  20. [28]

    Berichte der Königlich-Sächsischen Geselschaft der Wissenschaften zu Leipzig, Mathematisch-Physische Klasse 58, 19–48 (1906)

    Hausdorff, F.: Die symbolische Exponentialformel in der Gruppentheorie. Berichte der Königlich-Sächsischen Geselschaft der Wissenschaften zu Leipzig, Mathematisch-Physische Klasse 58, 19–48 (1906)

    1906

  21. [29]

    IEEE Transactions on Robotics 37(1), 82–98 (2020)

    Huang, Y ., Abu-Dakka, F.J., Silvério, J., Caldwell, D.G.: Toward orientation learning and adaptation in cartesian space. IEEE Transactions on Robotics 37(1), 82–98 (2020)

    2020

  22. [30]

    Computer Aided Geometric Design 52, 313–328 (2017)

    Huber, P., Perl, R., Rumpf, M.: Smooth interpolation of key frames in a riemannian shell space. Computer Aided Geometric Design 52, 313–328 (2017)

    2017

  23. [31]

    The International Journal of Robotics Research 40(1), 55–71 (2021)

    Hussain, I., Malvezzi, M., Gan, D., Iqbal, Z., Seneviratne, L., Prattichizzo, D., Renda, F.: Compliant gripper design, prototyping, and modeling using screw theory formulation. The International Journal of Robotics Research 40(1), 55–71 (2021)

    2021

  24. [32]

    Husty, M.L., Schröcker, H.P.: Algebraic geometry and kinematics. In: I.Z. Emiris, F. Sottile, T. Theobald (eds.) Nonlinear Computational Geometry, The IMA Volumes in Mathematics and its Applications, vol. 151, chap. Algebraic Geometry and Kinematics, pp. 85–107. Springer (2010)

    2010

  25. [33]

    Numerische Mathematik 45(2), 183–199 (1984)

    Iserles, A.: Solving linear ordinary differential equations by exponentials of iterated commutators. Numerische Mathematik 45(2), 183–199 (1984)

    1984

  26. [34]

    Acta Numerica 9, 215–365 (2000)

    Iserles, A., Munthe-Kaas, H.Z., Nørsett, S.P., Zanna, A.: Lie-group methods. Acta Numerica 9, 215–365 (2000)

    2000

  27. [35]

    International journal for numerical methods in engineering 46(1), 45–64 (1999)

    Kang, I., Park, F.: Cubic spline algorithms for orientation interpolation. International journal for numerical methods in engineering 46(1), 45–64 (1999)

    1999

  28. [36]

    Trinity College Dublin 5 (2006)

    Kavan, L., Collins, S., O’Sullivan, C., Zara, J.: Dual quaternions for rigid transformation blending. Trinity College Dublin 5 (2006)

    2006

  29. [37]

    Computer-Aided Design 27(5), 385–398 (1995)

    Kim, M.S., Nam, K.W.: Interpolating solid orientations with circular blending quaternion curves. Computer-Aided Design 27(5), 385–398 (1995)

    1995

  30. [38]

    Journal de la SIA 44, 581–586 (1971)

    Krautter, J., Parizot, S.: Systeme d’aidea la définition eta l’usinage des surfâces de carosserie. Journal de la SIA 44, 581–586 (1971)

    1971

  31. [39]

    Krysl, P., Endres, L.: Explicit newmark/verlet algorithm for time integration of the rotational dynamics of rigid bodies. Int. J. Numer. Methods Eng. 62, 2154–2177 (2005)

    2005

  32. [40]

    Mechanism and Machine Theory 162, 104341 (2021)

    Legnani, G., Fassi, I., Tasora, A., Fusai, D.: A practical algorithm for smooth interpolation between different angular positions. Mechanism and Machine Theory 162, 104341 (2021)

    2021

  33. [41]

    Foundations of Computational Mathematics 18, 509–536 (2018)

    Li, Z., Schicho, J., Schröcker, H.P.: Kempe’s universality theorem for rational space curves. Foundations of Computational Mathematics 18, 509–536 (2018)

    2018

  34. [42]

    arXiv preprint arXiv:2408.04453 (2024)

    Li, Z., Ye, K.: Rational curves on real classical groups. arXiv preprint arXiv:2408.04453 (2024)

    2024 arXiv

  35. [43]

    In: BMVC, vol

    Lovegrove, S., Patron-Perez, A., Sibley, G.: Spline fusion: A continuous-time representation for visual-inertial fusion with application to rolling shutter cameras. In: BMVC, vol. 2, p. 8 (2013)

    2013

  36. [44]

    Communications on pure and applied mathematics 7(4), 649–673 (1954)

    Magnus, W.: On the exponential solution of differential equations for a linear operator. Communications on pure and applied mathematics 7(4), 649–673 (1954)

    1954

  37. [45]

    Physics Today 48(12), 65 (1995)

    Marsden, J.E., Ratiu, T.S.: Introduction to mechanics and symmetry. Physics Today 48(12), 65 (1995)

    1995

  38. [46]

    SIAM Journal on Numerical Analysis 37(1), 269–285 (1999) 28 MÜLLER

    Marthinsen, A.: Interpolation in lie groups. SIAM Journal on Numerical Analysis 37(1), 269–285 (1999) 28 MÜLLER

    1999

  39. [47]

    ZAMM-Journal of Applied Mathematics and Mechanics/Zeitschrift für Angewandte Mathematik und Mechanik: Applied Mathematics and Mechanics 90(6), 514–521 (2010)

    Müller, A.: Approximation of finite rigid body motions from velocity fields. ZAMM-Journal of Applied Mathematics and Mechanics/Zeitschrift für Angewandte Mathematik und Mechanik: Applied Mathematics and Mechanics 90(6), 514–521 (2010)

    2010

  40. [48]

    Multibody System Dynamics 43(1), 1–34 (2018)

    Müller, A.: Screw and Lie group theory in multibody dynamics –Motion representation and recursive kinematics of tree-topology systems. Multibody System Dynamics 43(1), 1–34 (2018)

    2018

  41. [49]

    Proceedings of the Royal Society A 477(2253) (2021)

    Müller, A.: Review of the exponential and Cayley map on SE (3) as relevant for Lie group integration of the generalized Poisson equation and flexible multibody systems. Proceedings of the Royal Society A 477(2253) (2021)

    2021

  42. [50]

    ASME Journal of Mechanisms and Robotics 17 (2024)

    Müller, A.: Fourth-Order Accurate Strain-Parameterized Shape Representation of Beam Elements for Modeling Continuum Robots and Robotic Manipulation of Slender Objects. ASME Journal of Mechanisms and Robotics 17 (2024)

    2024

  43. [51]

    BIT Numerical Mathematics 38(1), 92–111 (1998)

    Munthe-Kaas, H.: Runge-Kutta methods on Lie groups. BIT Numerical Mathematics 38(1), 92–111 (1998)

    1998

  44. [52]

    Applied Numerical Mathematics 29(1), 115–127 (1999)

    Munthe-Kaas, H.: High order Runge-Kutta methods on manifolds. Applied Numerical Mathematics 29(1), 115–127 (1999)

    1999

  45. [53]

    CRC Press (1994)

    Murray, R., Li, Z., Sastry, S.: A Mathematical Introduction to Robotic Manipulation. CRC Press (1994)

    1994

  46. [54]

    IMA Journal of Mathematical Control and Information 6(4), 465–473 (1989)

    Noakes, L., Heinzinger, G., Paden, B.: Cubic splines on curved spaces. IMA Journal of Mathematical Control and Information 6(4), 465–473 (1989)

    1989

  47. [55]

    Journal of Mechanical Design 117(1), 36–40 (1995)

    Park, F., Ravani, B.: Bézier curves on Riemannian manifolds and Lie groups with kinematics applications. Journal of Mechanical Design 117(1), 36–40 (1995)

    1995

  48. [56]

    ACM Transactions on Graphics (TOG)16(3), 277–295 (1997)

    Park, F.C., Ravani, B.: Smooth invariant interpolation of rotations. ACM Transactions on Graphics (TOG)16(3), 277–295 (1997)

    1997

  49. [57]

    Computer aided geometric design 23(8), 655–668 (2006)

    Popiel, T.: On parametric smoothness of generalised b-spline curves. Computer aided geometric design 23(8), 655–668 (2006)

    2006

  50. [58]

    In: 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat

    Ravani, R., Meghdari, A.: Spatial rational motions based on rational frenet-serret curves. In: 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No. 04CH37583), vol. 5, pp. 4456–4461. IEEE (2004)

    2004

  51. [59]

    Computer Methods in Applied Mechanics and Engineering 441, 117979 (2025)

    Ren, K., Yuan, T., Liu, J.: Geometrically exact beam finite element with generalized b-spline interpolation on the special euclidean group se (3). Computer Methods in Applied Mechanics and Engineering 441, 117979 (2025)

    2025

  52. [60]

    IEEE transactions on robotics 26(5), 769–780 (2010)

    Rucker, D.C., Jones, B.A., Webster III, R.J.: A geometrically exact model for externally loaded concentric-tube continuum robots. IEEE transactions on robotics 26(5), 769–780 (2010)

    2010

  53. [61]

    In: 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pp

    Sarker, A., Sinha, A., Chakraborty, N.: On screw linear interpolation for point-to-point path planning. In: 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 9480–9487. IEEE (2020)

    2020

  54. [62]

    Springer (2005)

    Selig, J.: Geometric Fundamentals of Robotics. Springer (2005)

    2005

  55. [63]

    IMA Journal of Mathematical Control and Information 24(1), 95–113 (2007)

    Selig, J.: Curves of stationary acceleration in SE (3). IMA Journal of Mathematical Control and Information 24(1), 95–113 (2007)

    2007

  56. [64]

    In: Advances in the Theory of Control, Signals and Systems with Physical Modeling, pp

    Selig, J.: Rational interpolation of rigid-body motions. In: Advances in the Theory of Control, Signals and Systems with Physical Modeling, pp. 213–224. Springer (2010)

    2010

  57. [65]

    In: Proceedings of the 12th annual conference on Computer graphics and interactive techniques, pp

    Shoemake, K.: Animating rotation with quaternion curves. In: Proceedings of the 12th annual conference on Computer graphics and interactive techniques, pp. 245–254 (1985)

    1985

  58. [66]

    Siggraph (1987)

    Shoemake, K.: Quaternion calculus and fast animation, computer animation: 3-d motion specification and control. Siggraph (1987)

    1987

  59. [67]

    Advances in Computational Mathematics17, 115–133 (2002)

    Sprott, K., Ravani, B.: Kinematic generation of ruled surfaces. Advances in Computational Mathematics17, 115–133 (2002)

    2002

  60. [68]

    IEEE Robotics and Automation Letters 8(5), 2606–2613 (2023)

    Tagliavini, A., Bianco, C.G.L.: A smooth orientation planner for trajectories in the cartesian space. IEEE Robotics and Automation Letters 8(5), 2606–2613 (2023)

    2023

  61. [69]

    Journal of Computational and Applied Mathematics 329, 256–267 (2018)

    Tan, J., Xing, Y ., Fan, W., Hong, P.: Smooth orientation interpolation using parametric quintic-polynomial-based quaternion spline curve. Journal of Computational and Applied Mathematics 329, 256–267 (2018)

    2018

  62. [70]

    Springer Science & Business Media (2013)

    Varadarajan, V .S.: Lie groups, Lie algebras, and their representations. Springer Science & Business Media (2013)

    2013

  63. [71]

    Advanced Science5(9), 1800541 (2018)

    Wang, H., Totaro, M., Beccai, L.: Toward perceptive soft robots: Progress and challenges. Advanced Science5(9), 1800541 (2018)

    2018

  64. [72]

    Berlin, Heidelberg: Springer Berlin Heidelberg 10, 978–3 (2016)

    Wittenburg, J.: Kinematics. Berlin, Heidelberg: Springer Berlin Heidelberg 10, 978–3 (2016)

    2016

  65. [73]

    Computer Aided Geometric Design 79, 101872 (2020)

    Wu, Y ., Carricato, M.: Persistent manifolds of the special euclidean group se (3): A review. Computer Aided Geometric Design 79, 101872 (2020)

    2020

  66. [74]

    In: Advances in Robot Kinematics 2016, pp

    Wu, Y ., Müller, A., Carricato, M.: The 2D orientation interpolation problem: a symmetric space approach. In: Advances in Robot Kinematics 2016, pp. 293–302. Springer (2017)

    2016

  67. [75]

    Journal of Mechanisms and Robotics 15(5), 051011 (2023)

    Xiao, Q., Musa, M., Godage, I.S., Su, H., Chen, Y .: Kinematics and stiffness modeling of soft robot with a concentric Product Of Exponentials (POE) Splines on Lie-Groups: Limitations, Extensions, and Application to SO(3) and SE(3) 29 backbone. Journal of Mechanisms and Roboti...

    2023

  68. [76]

    In: Proceedings of IEEE International Conference on Robotics and Automation, vol

    Žefran, M., Kumar, V .: Planning of smooth motions on se (3). In: Proceedings of IEEE International Conference on Robotics and Automation, vol. 1, pp. 121–126. IEEE (1996)

    1996

  69. [77]

    Computer-Aided Design30(3), 179–189 (1998)

    Žefran, M., Kumar, V .: Interpolation schemes for rigid body motions. Computer-Aided Design30(3), 179–189 (1998)

    1998

  70. [78]

    International Journal of Robotics Research 18(2), 243–258 (1999)

    Zefran, M., Kumar, V ., Croke, C.: Metrics and connections for rigid-body kinematics. International Journal of Robotics Research 18(2), 243–258 (1999)

    1999

  71. [79]

    IEEE Transactions on Robotics and Automation 14(4), 576–589 (1998)

    Žefran, M., Kumar, V ., Croke, C.B.: On the generation of smooth three-dimensional rigid body motions. IEEE Transactions on Robotics and Automation 14(4), 576–589 (1998)

    1998

  72. [80]

    Computer Aided Geometric Design 75, 101789 (2019)

    Zhang, E., Noakes, L.: The cubic de Casteljau construction and Riemannian cubics. Computer Aided Geometric Design 75, 101789 (2019)

    2019

Pith tools

Reviewed August 5, 2026 · model on record in the stance chip above.