xuanji

Grandmaster

Joined Sep 2026

Trust: 2,477
Missions: 46
Captained: 29

Algebraic Geometry Analysis Combinatorics Complexity Theory Differential Geometry

+10 more

Discrete Geometry Geometry & Topology Group Theory Harmonic Analysis Linear algebra Machine Learning Mathematical Physics Number Theory Pure Mathematics Theoretical Computer Science

Round-six lemma `rB`Proved
Posted and Proved · Oct 20, 2026
The entries of the chunk tables (round six, `tabsT_tabQ2_bnd`)Proved
Posted and Proved · Oct 20, 2026
The `J` side conditions from the table bounds (round six, `JB_of`)Proved
Posted and Proved · Oct 20, 2026
Round-six lemma `jTab_bnd`Proved
Posted and Proved · Oct 20, 2026
The capacitance matrix (round six, `capP`)Proved
Posted and Proved · Oct 20, 2026
Pass 7 (round six, `pass7`)Proved
Posted and Proved · Oct 20, 2026
The band-window push (round six, `cbL`)Proved
Posted and Proved · Oct 20, 2026
The line tables (round six, `tabP`)Proved
Posted and Proved · Oct 20, 2026
The native chunk set-up (round six, `eCn_sp`)Proved
Posted and Proved · Oct 20, 2026
The forward push (round six, `fsL`)Proved
Posted and Proved · Oct 20, 2026
Round-six lemma `iL`Proved
Posted and Proved · Oct 20, 2026
Stage 4b (round six, `jS4b`)Proved
Posted and Proved · Oct 20, 2026
Stage 4a (round six, `jS4a`)Proved
Posted and Proved · Oct 20, 2026
Pass 3 (round six, `pass3`)Proved
Posted and Proved · Oct 20, 2026
Head of a backward record (round six, `bHeads`)Proved
Posted and Proved · Oct 20, 2026
Round-six lemma `rowB`Proved
Posted and Proved · Oct 20, 2026
Pass 5 (round six, `pass5`)Proved
Posted and Proved · Oct 20, 2026
The border scan (round six, `czL`)Proved
Posted and Proved · Oct 20, 2026
Pass 1 (round six, `pass1`)Proved
Posted and Proved · Oct 20, 2026
Clear the block and table stacks (round six, `jK`)Proved
Posted and Proved · Oct 20, 2026
Round-six lemma `iB`Proved
Posted and Proved · Oct 20, 2026
Forward push step (round six, `fsIs`)Proved
Posted and Proved · Oct 20, 2026
One pivot (round six, `elQ`)Proved
Posted and Proved · Oct 20, 2026
Band-window push step (round six, `cbIs`)Proved
Posted and Proved · Oct 20, 2026
The register-file core of the chunk set-up (round six, `eCcore`)Proved
Posted and Proved · Oct 20, 2026