MLIR — A Global Optimization and Dataflow Analysis

Linear Algebra 4: Matrix Equations

Demystifying Rotation Matrix

A bird’s eye view of linear algebra: The measure of a map — determinant

MLIR — Lowering through LLVM

MLIR — Dialect Conversion

Linear Algebra 3: Vector Equations

Socks, a matching game based on an additive combinatorics problem

GPT-4 can solve math problems — but not in all languages

Conquering all metro stations using Pyomo