Recent Theses

G. Vernaeve, Extending a first order predicate calculus with partially defined iota terms, Ph. D. dissertation, 2008

Geert Vernaeve
J. Vankerschaver, Continuous and discrete aspects of classical field theories with nonholonomic constraints, Ph.D. dissertation (2007)
[pdf]
Geert Vernaeve
F. Vermeire, A class of recursion operators on a tangent bundle, Ph.D. dissertation (2006)
[pdf]
Geert Vernaeve
T. Mestdag, Berwald-type connections in time-dependent mechanics and dynamics on affine Lie algebroids, Ph.D. dissertation (2003)
[ps] [pdf]
Geert Vernaeve
B. Langerock, Generalised connections and applications to control theory, Ph.D. dissertation (2003)
[ps] [pdf]
Geert Vernaeve
E. Garcia-Torano Andrés, Geometric aspects of reduction for dynamical systems with symmetry, Ph.D dissertation (2014)
Frans Cantrijn