Follow
Leonard Schmitz
Leonard Schmitz
University of Greifswald
Verified email at uni-greifswald.de - Homepage
Title
Cited by
Cited by
Year
Formally verifying proofs for algebraic identities of matrices
L Schmitz, V Levandovskyy
Intelligent Computer Mathematics: 13th International Conference, CICM 2020 …, 2020
112020
Two-parameter sums signatures and corresponding quasisymmetric functions
J Diehl, L Schmitz
arXiv preprint arXiv:2210.14247, 2022
32022
Free generators and Hoffman's isomorphism for the two-parameter shuffle algebra
L Schmitz, N Tapia
arXiv preprint arXiv:2401.06691, 2024
12024
The barycenter in free nilpotent Lie groups and its application to iterated-integrals signatures
M Clausel, J Diehl, R Mignot, L Schmitz, N Sugiura, K Usevich
arXiv preprint arXiv:2305.18996, 2023
12023
The system can't perform the operation now. Try again later.
Articles 1–4