Resources

Short articles, notes, and experimental web apps on coding theory, matroid theory, and combinatorics.

Math Web Apps

Browser-based tools for computations and visualizations in coding theory and matroid theory.

If you encounter a bug, broken behavior, or suspicious computation result, please use Contact to report it.

  • GeoMatroid

    Explore small matroids through synchronized geometric, graph, matrix, and catalog views, including a catalog of matroids on at most 9 elements.

    Technical Details

    Computation
    Rust + WebAssembly for rank, circuits, flats, and related operations.
    UI
    Vite + React + TypeScript, with D3 visualizations.
    Storage
    Browser-local storage with IndexedDB.
    Geometric representationsGraph and matrix modelsDeletion and contractionMatroid catalog
    Open app
  • Characteristic and Weight Quasi-Polynomial Calculator

    Enter an integer matrix to inspect the period, constituents, and weight enumerator of the associated characteristic and weight quasi-polynomials in the browser.

    Technical Details

    Computation
    Rust + WebAssembly for computing characteristic and weight quasi-polynomials.
    UI
    Vite + React + TypeScript, with math rendering by KaTeX.
    Runtime
    Runs in the browser; no server backend.
    Characteristic quasi-polynomialsWeight quasi-polynomialsWeight enumeratorsInteger matrices
    Open app

Articles and Notes

Expository notes and small calculations that are useful to keep public. LaTeX + BibTeX sources are converted to HTML5 with Pandoc + a Lua filter, and math is rendered to HTML / MathML with KaTeX at build time.

If you notice a typo, unclear explanation, broken link, or citation issue, please use Contact to report it.

Series

Standalone Notes

  • Published: May 13, 2026

    Generalised Vector Spaces and Finitary Matroids

    This note rewrites the notion of a generalised vector space, which I learnt about from alg-d's video, in terms of matroid closure operators. We check that generalised vector spaces are essentially the same as finitary matroids, or pregeometries, and form a narrower class than modern infinite matroids in general.

    matroid theoryaxiom of choicegeneralised vector spaceinfinite matroidclosure operator
    Read article
  • Published: May 9, 2026

    A Single Axiom for Matroid Closure Operators

    This note states that a single equation for a map cl ⁣:2E2E\operatorname{cl} \colon 2^{E} \to 2^{E} on a finite set characterises the closure operator of a matroid.

    matroid theoryclosure operatorresearch note
    Read article