Around finite basis results for quasi-orders

Curvature and topology in Riemannian geometry

Introduction to Gauge Theory

Kernel-based Methods and Applications

Logic methods for Banach spaces

Topics in nonlinear analysis, calculus of variations and optimization

Toric Varieties