Lectures related to Computational Quantum Physics

Introduces Convex Optimization notation, convex functions, vector norms, and matrix properties.

Covers eigenvalues, eigenvectors, and matrix similarity for dynamic systems.

Explores geodesic convexity in metric spaces and its applications, discussing properties and the stability of inequalities.

Covers Hoare Logic, its foundations, applications, and significance in program verification.