Tröndle, Dennis Thassilo. Computation of generalized solution spaces. 2020, Doctoral Thesis, University of Basel, Faculty of Science.