Login to filter by course Login to filter by course Reset
Abstract Interpretation in StainlessExplores abstract interpretation in Stainless, demonstrating its application in program verification and discussing future directions for the project.
Faces, Facets and VerticesCovers the concepts of faces, facets, and vertices in polyhedra, exploring minimal faces and inequalities.
Basic Solutions and PolyhedraExplores extreme points, vertices, and basic feasible solutions in polyhedra, emphasizing their properties and construction.
Convex Optimization: Introduction and SetsCovers the fundamentals of convex optimization, including mathematical problems, minimizers, and solution concepts, with an emphasis on efficient methods and practical applications.
Harmonic Ratio in GeometryExplores harmonic ratio in geometry, covering bisectors, harmonic segments, polyhedra, spatial curves, and historical perspectives.
Symmetry in GeometryExplores symmetry in modern geometry, emphasizing reflections, rotations, and practical applications in computer-aided design.
Convex OptimizationCovers an overview of convex optimization, affine sets, polyhedra, ellipsoids, and convex functions.