enumeratioMathematics, enumerated

A family of symbol definitions on the Cortex compute-engine and Epsil — collections, statistics and maps first, the rest of mathematics as far as it makes sense — with notatio, the notebook and explorer that lets you turn every piece over by hand.

Open the notebook

Symbol reference

Compute Engine

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.

Statistics and maps

Combinatorial statistics and maps as definitions over their carriers, evaluable on any element and checked against FindStat by value.

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.

notatio

The interactive notebook, plots, glyphs and reactive prose controls — the interface side of the language, and the notation it reads and writes, in a browser tab.