A Aralex Aachen research explorer

Leonard Schmitz Sign in to save

ORCID 0009-0003-2525-1340 OpenAlex Aachen author

Currently: Technische Universität Berlin

19

Citations

2

h-index

1

i10-index

18

Works (all)

1

Aachen papers

Departments & institutes in Aachen

Lehrstuhl D für Mathematik RWTH Aachen University

1 paper · 2020

Affiliations exactly as printed on papers (1)

1× Lehrstuhl D für Mathematik, RWTH Aachen University, Aachen, Germany

Papers 1 stored

All · Aachen affiliation only

Formally Verifying Proofs for Algebraic Identities of Matrices
2020 Lecture notes in computer science conference-paper Computer Science Polynomial and algebraic computation

12

citations

1 result

Affiliation history

Technische Universität Berlin DE · 2025–2026
Universität Greifswald DE · 2022–2025
RWTH Aachen University DE · 2020

Line of work

Polynomial and algebraic computation 6

Computer Science › Computational Theory and Mathematics
Tensor decomposition and applications 5

Mathematics › Computational Mathematics
Algebraic structures and combinatorial models 3

Mathematics › Geometry and Topology
Advanced Numerical Analysis Techniques 3

Engineering › Computational Mechanics
Geometric and Algebraic Topology 2

Mathematics › Geometry and Topology

Citations per year

20

22

23

24

25

26

Institutions on Aachen-era papers

RWTH Aachen University 1

Similar authors in Aachen

Loading…

Co-author network

Loading…

Frequent co-authors

Viktor Levandovskyy 1

Profile fetched: 05 Oct 04:22