FE-β-CPPIT (current) Design flow (EDA) Whitney embedding theorem Linux Magazine State transition system Sediment gravity flow Reduced scheme Container (abstract data type) TriX (serialization format)