Lectures related to Algorithmic Foundations for Systems Certification

Covers circle orthogonal and Poincaré disk concepts in geometry.

Delves into the historical and geometric aspects of arc concatenation, including ellipse approximation and architectural applications.

Embedding Space: AdS and Euclidean Geometry

Covers the concept of embedding space for AdS and Euclidean geometry, discussing AdS isometries and Euclidean Ads.

Buckling of Shells: Theory and Experiments

Explores the theory and experiments on the buckling of shells, covering Reissner's solution, pressure buckling, and the influence of material properties.

Geometric Transformations: Projective Geometry Fundamentals

Covers the fundamentals of projective geometry and its applications in architecture.