notatio

notatioWrite mathematics, see it work

A notebook for mathematics you can compute, draw and check, live in your browser, on top of enumeratio, a catalogue where every object has a home and every claim a test.

Open a worksheet
Explore the collections
Read the docs

  • Collections, ranked and unranked

    Subsets, permutations, partitions, Dyck paths, tableaux, trees — lazy indexed families with closed-form counts, so Count and At never build the list. Browse the collections.

  • Structure, not special cases

    Min works on anything with an order, Floor on anything with ticks, whether it's a number, a string, a partition under dominance or a type you declare yourself. Heads require structure and types provide it, after Mathlib.

  • Numbers and functions, exactly

    Residues, numerals and adèles over bigints; special functions to arbitrary precision; algebras from Clifford to Hecke. Every head is in the symbol reference.

  • Checked, not claimed

    Every symbol crosswalks to Wikipedia, MathWorld, the DLMF, Fungrim, the OEIS, Wolfram, Sage and more — and where a claim can be computed, it is. Statistics and maps are checked against FindStat by value.

  • Live in the page

    A reactive worksheet, and plots, glyphs and controls as components for plain HTML, Vue or React — with the same evaluation at the command line.