Archive library
Submissions
Browse, search, and filter the archive’s current submissions.
65 submissions · 685 concepts · 601 statements, 574 proven
Browse by topic
Environments first, then topics suggested from submission and concept titles.
Showing all 65 submissions.
- Arc Kayles is PSPACE-complete(21 Sep 2026) 14 concepts, 17 proofs registered
- Compositional polynomial-time computation with black-box subroutines(19 Sep 2026) 5 concepts, 5 proofs registered
- The determinant of the least-common-multiple matrix(18 Sep 2026) 1 concept, 3 proofs registered
- Congruent number curves: the quadratic twist formula for a_p and the parity of Tunnell's representation counts(18 Sep 2026) 3 concepts, 3 proofs registered
- Smooth hypersurfaces: the Euler characteristic as a binomial tail, its parity, the Kodaira trichotomy, and the Noether–Lefschetz window as the sequence A005581(18 Sep 2026) 5 concepts, 14 proofs registered
- Panoptic Quality: exact rules for inclusion, removal and duplication, the sharpness of the matching threshold, and the annotator ceiling(18 Sep 2026) 7 concepts, 22 proofs registered
- Logical Equivalences, Homomorphism Indistinguishability, and Forbidden Minors(18 Sep 2026) 29 concepts, 22 proofs registered
- Functional Equivalence of Twin-Width and Mixed Minor Number(15 Sep 2026) 5 concepts, 3 proofs registered
- Constructive Lovász Local Lemma(15 Sep 2026) 4 concepts, 2 proofs registered
- Hadwiger's Conjecture for t = 7(15 Sep 2026) 2 concepts, 0 proofs registered
- Barnette's Conjecture(15 Sep 2026) 5 concepts, 0 proofs registered
- Graph Representations(15 Sep 2026) 11 concepts, 6 proofs registered
- Algorithmic Experiments on a Random Access Machine(15 Sep 2026) 7 concepts, 2 proofs registered
- The Word RAM(15 Sep 2026) 2 concepts, 0 proofs registered
- Almost Linear Neighborhood Complexity of Monadically Dependent Graph Classes(15 Sep 2026) 7 concepts, 3 proofs registered
- MSO and tree automata on finite ranked trees(15 Sep 2026) 10 concepts, 9 proofs registered
- Certified structural representations of finite data(15 Sep 2026) 12 concepts, 18 proofs registered
- Computability and polynomial-time equivalence of Turing machines and word RAMs(15 Sep 2026) 7 concepts, 4 proofs registered
- Fagin’s theorem(14 Sep 2026) 4 concepts, 4 proofs registered
- MSO-automata(14 Sep 2026) 7 concepts, 4 proofs registered
- The Immerman–Vardi theorem(14 Sep 2026) 8 concepts, 9 proofs registered
- Twin-width can be exponential in treewidth(14 Sep 2026) 3 concepts, 1 proof registered
- Sparsity Lectures: Nowhere Denseness, Quasi-Wideness, and Generalized Coloring Numbers(13 Sep 2026) 15 concepts, 7 proofs registered
- Finite Ramsey Theorems for Pairs and Tuples(13 Sep 2026) 4 concepts, 3 proofs registered
- Undecidability of positive first-order definability on words(10 Sep 2026) 7 concepts, 5 proofs registered
- Max Independent Set Remains NP-hard when Excluding a Planar Induced Minor(10 Sep 2026) 15 concepts, 8 proofs registered
- The Cook–Levin Theorem(10 Sep 2026) 17 concepts, 11 proofs registered
- ETH, SETH, Weighted APSP, and 3SUM(9 Sep 2026) 18 concepts, 23 proofs registered
- The Immerman–Szelepcsényi Theorem(9 Sep 2026) 15 concepts, 10 proofs registered
- Welzl Orders of Cographs(9 Sep 2026) 3 concepts, 2 proofs registered
- Classical Complexity Classes(9 Sep 2026) 19 concepts, 13 proofs registered
- Near-Linear Time Computation of Welzl Orders on Graphs with Linear Neighborhood Complexity(8 Sep 2026) 6 concepts, 0 proofs registered
- An Introduction to Lax(7 Sep 2026) 4 concepts, 2 proofs registered
- Transducers(7 Sep 2026) 0 concepts, 0 proofs registered
- Transducers, Part D: Polyregular Functions(7 Sep 2026) 21 concepts, 15 proofs registered
- Transducers, Part C: Regular Functions in Terms of Combinators(7 Sep 2026) 4 concepts, 1 proof registered
- Transducers, Part C: Regular Functions in Terms of Logic(7 Sep 2026) 26 concepts, 22 proofs registered
- Transducers, Part C: Regular Functions, Two-Way Transducers and Streaming String Transducers(7 Sep 2026) 29 concepts, 23 proofs registered
- Transducers, Part B: Rational Functions(7 Sep 2026) 42 concepts, 29 proofs registered
- Transducers, Part A: Mealy Machines(7 Sep 2026) 22 concepts, 13 proofs registered
- Undecidability of the Post Correspondence Problem(7 Sep 2026) 9 concepts, 6 proofs registered
- Planar Graph Classes(3 Sep 2026) 38 concepts, 20 proofs registered
- A Refinement Framework for the Word RAM(2 Sep 2026) 0 concepts, 0 proofs registered
- Erdős–Hajnal for the five-vertex path(20 Aug 2026) 10 concepts, 9 proofs registered
- Large Finite Point Sets Have 4 Collinear Points or a 6-Clique(20 Aug 2026) 6 concepts, 4 proofs registered
- Erdős–Hajnal for graphs with no 5-hole(13 Aug 2026) 8 concepts, 7 proofs registered
- Szemerédi's Regularity Lemma(2 Aug 2026) 10 concepts, 5 proofs registered
- n Exponent Bound for the Grid-Minor Theorem(2 Aug 2026) 40 concepts, 27 proofs registered
- Graphs without a 3-Connected Subgraph are 4-Colourable(2 Aug 2026) 4 concepts, 2 proofs registered
- χ-Boundedness and Neighbourhood Complexity of Bounded Merge-Width Graphs(2 Aug 2026) 5 concepts, 2 proofs registered
- First-Order Model Checking on Nowhere Dense Graph Classes in Almost Linear Time(2 Aug 2026) 12 concepts, 6 proofs registered
- Feedback vertex and edge numbers(23 Sep 2026) 3 concepts, 1 proof draft
- Interval Scheduling with Eligible Machine Sets(22 Sep 2026) 17 concepts, 26 proofs draft
- A Simplified NP-Complete Satisfiability Problem(21 Sep 2026) 2 concepts, 4 proofs draft
- Scheduling with two non-unit job lengths is NP-complete(21 Sep 2026) 9 concepts, 19 proofs draft
- Proof network stress test(17 Sep 2026) 30 concepts, 57 proofs draft
- temporal-graphs(15 Sep 2026) 2 concepts, 1 proof draft
- Fagin’s theorem(9 Sep 2026) 4 concepts, 4 proofs draft
- The Immerman–Vardi theorem(8 Sep 2026) 8 concepts, 9 proofs draft
- Nagura's Theorem and the Interesting Numbers(31 Aug 2026) 2 concepts, 2 proofs draft
- Certified structural representations of finite data(31 Aug 2026) 12 concepts, 18 proofs draft
- MSO and tree automata on finite ranked trees(10 Aug 2026) 10 concepts, 15 proofs draft
- MSO-automata(10 Aug 2026) 7 concepts, 4 proofs draft
- Computability and polynomial-time equivalence of Turing machines and word RAMs(9 Aug 2026) 7 concepts, 4 proofs draft
- Tight Inapproximability of Max Independent Set in Triangle-Free Graphs(7 Aug 2026) 5 concepts, 1 proof draft
- No submissions match.