Counting Triangles (Worst-Case) Optimally: Two Perspectives
A Fun Categorical View of Rings
Satisfiability in Unary Relational Signatures
Sparse Tensor Algebra via Provenance Semirings