Anders, Markus (2024)
Efficient Algorithms for Symmetry Detection.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00028257
Ph.D. Thesis, Primary publication, Publisher's Version

Apel, Insa Maria (2022)
Zum Einfluss von Kenntnisqualitäten auf Beweisprozesse am Beginn eines Mathematikstudiums aus tätigkeitstheoretischer Perspektive - Exemplarische Untersuchung am Beispiel der ε-δ-Definition von Stetigkeit.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00020705
Ph.D. Thesis, Primary publication, Publisher's Version

Bachtler, Oliver ; Heinrich, Irene (2024)
Automated testing and interactive construction of unavoidable sets for graph classes of small path‐width.
In: Journal of Graph Theory, 2023, 104 (2)
doi: 10.26083/tuprints-00024690
Article, Secondary publication, Publisher's Version

Brachter, Jendrik (2023)
Combinatorial approaches to the group isomorphism problem.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00026387
Ph.D. Thesis, Primary publication, Publisher's Version

Bruder, Regina ; Eckert, Tobias ; Conradt, Julian ; Caserman, Polona ; Schaub, Marcel ; Hofmann, Katrin ; Wiemeyer, Josef ; Straßburg, Katharina ; Müller, Philipp ; Göbel, Stefan (2021)
Gütekriterien Serious Games - Langfassung 30.03.2021.
doi: 10.26083/tuprints-00017872
Report, Primary publication, Publisher's Version

Knof, Albrun (2024)
Characterizations of Synchronizability - in terms of road-colored graphs, Markov chains and quantum Markov processes.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00026533
Ph.D. Thesis, Primary publication, Publisher's Version

Lang, Sandra (2023)
Approximation projektiver Tensornormen mit konvexer algebraischer Geometrie.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00022497
Master Thesis, Primary publication, Publisher's Version

Lang, Sandra (2022)
A Geometric Approach to the Projective Tensor Norm.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00020331
Ph.D. Thesis, Primary publication, Publisher's Version

Lichter, Moritz (2023)
Continuing the Quest for a Logic Capturing Polynomial Time - Potential, Limitations, and Interplay of Current Approaches.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00024244
Ph.D. Thesis, Primary publication, Publisher's Version

Ott, Malte (2024)
Topological Quantum Markov Processes.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00022028
Ph.D. Thesis, Primary publication, Publisher's Version