Current Mathematical + Systems Research - a cjc0013 Collection

cjc0013 's Collections

Ouroboros One + Core Record

Current Mathematical + Systems Research

Celestial, Mathematical & Physical Sciences

Evidence Systems + Public Research

Cyber-Physical Defense, Disclosure & Industrial Policy

Live Working Surfaces

Developer Tools & Maintainer Intelligence

Current Mathematical + Systems Research

updated 18 days ago

Graph theory, Laplacian matching, discrete campaigns, certificates, and machine-checked mathematics.

cjc0013/laplacian-matching-theorem-frontier-v18

Updated Aug 9 • 103

Note Laplacian Matching Theorem Frontier v18
cjc0013/laplacian-matching-theorem-frontier-v16

Viewer • Updated Jul 30 • 6 • 125 • 2

Note Laplacian Matching Theorem Frontier v16: A Sharp One-KE Bound
cjc0013/vc3-laplacian-matching-shadow-coverage

Updated May 30 • 42

Note VC3 Laplacian Matching Shadow Coverage Certificates
cjc0013/euler-weight-transport-calculus

Updated Jun 13 • 75

Note Euler-Weight Transport Calculus for Polynomial Differential Operators
cjc0013/ouroboros-erdos64-a100-campaign

Updated Aug 9 • 41

Note Ouroboros Erdős #64 A100 campaign
cjc0013/ouroboros-hadwiger-nelson-campaign-log

Updated Aug 1 • 11

Note Ouroboros Campaign Log: Hadwiger–Nelson
cjc0013/ouroboros-wtbh-z2-reconstruction-panel

Viewer • Updated Jul 17 • 3 • 28

Note Ouroboros WTBH Z2 Reconstruction Validation Panel