Theobald, Patrick (2001):
Ein Framework zur Berechnung der Hermite-Normalform von großen, dünnbesetzten, ganzzahligen Matrizen.
Darmstadt, Technische Universität, TU Darmstadt, [Online-Edition: urn:nbn:de:tuda-tuprints-1337],
[Ph.D. Thesis]

Theobald, Patrick (2001):
Ein Framework zur Berechnung der Hermite-Normalform von großen, dünnbesetzten, ganzzahligen Matrizen.
Darmstadt, Techn. Univ., TU Darmstadt, [Ph.D. Thesis]

Theobald, Patrick (2000):
Ein Framework zur Berechnung der Hermite-Normalform von großen, dünnbesetzten, ganzzahligen Matrizen.
Technische Universität Darmstadt, [Ph.D. Thesis]

Buchmann, Johannes and Jacobson, Michael J. and Neis, Stefan and Theobald, Patrick and Weber, Damian (1998):
Sieving Methods for Class Group Computation.
(TI-8/98), [Report]

Theobald, Patrick and Wetzel, and Setz, (1997):
LiDIA, LiPS - erste gemeinsame Schritte.
Darmstadt: Techn. Universität, FB 20, Inst. für Theoretische Informatik, 1997. 10 S,
Darmstadt, Techn. Univ.,FB 20,, [Book]

Theobald, Patrick and Wetzel, Susanne and Backes, Werner (1997):
Design concepts for matrices and lattices in LiDIA.
In: Symposium on Applied Computing-(SAC), pp. 532-536, DOI: http://doi.acm.org/10.1145/331697.332344,
[Conference or Workshop Item]

Theobald, Patrick and Wetzel, Susanne and Setz, Thomas (1997):
LiDIA, LiPS - Erste gemeinsame Schritte.
(TI-38/97), [Report]

Theobald, Patrick and Wetzel, Susanne and Backes, Werner (1996):
Design Concepts for Matrices and Lattices in {LiDIA}.
(TI-4/96), [Report]

Theobald, Patrick (1995):
Eine Implementierung von Algorithmen der linearen Algebra über {$mathbbZ$}.
Universität des Saarlandes, [Diploma Thesis or Magisterarbeit]