Basic Solutions and PolyhedraExplores extreme points, vertices, and basic feasible solutions in polyhedra, emphasizing their properties and construction.
Designing Pavilion StructuresExplores the design process of pavilion structures, emphasizing the creation of a topological polyhedron as the foundation document.
Abstract Interpretation in StainlessExplores abstract interpretation in Stainless, demonstrating its application in program verification and discussing future directions for the project.
Harmonic Ratio in GeometryExplores harmonic ratio in geometry, covering bisectors, harmonic segments, polyhedra, spatial curves, and historical perspectives.
