Travelletti, Cédric (2023) Efficient Gaussian process updating under linear operator data for uncertainty reduction on implicit sets in Bayesian inverse problems thesis.