Lectures related to Quantifier Elimination Steps for Presburger Arithmetic

Explains linear independence, basis, and matrix rank with examples and exercises.

Explores unique solutions, linear dependence, canonical bases, and linear maps in linear algebra.

Introduces an improved algorithm for three-color parity games, focusing on progress measures, acceleration, and practical speed-up.

Explores Kernel Ridge Regression, equivalent formulations, Representer Theorem, Kernel trick, and predicting with kernels.

Covers direct methods for solving linear equations and computation complexity of substitution.