Certificates

Navigation page for Blueprint/D5/S0/Certificates/ at upstream snapshot 880384c42100f2d04436d97c4ac862e91b4bba85.

Contents

• Algebra
• Problem 15.5 on Complete Mappings of Orthodox Semigroups
• Bartoli–Stănică Conjecture 2: reduced APN critical points
• BoxCover
• Bradshaw’s Conjecture 20 is false
• Catalan Conjecture 7 printed-clause refutation
• Chapoton and Han Conjecture 5.4 printed formula refutation
• Chapoton and Han Proposition 5.2 printed formula refutation
• Checked Linear Query Images
• Capped Coupling Certificate Replay
• Cigler Conjecture 7.5 printed second-line refutation
• The OEIS A049591 Divisor-Count Prime-Gap Characterization
• Cohen’s Consecutive-Cube Prime-Pair Thresholds
• Combinatorics
• Crux Problem 2623: cyclic ratio-sum monotonicity
• Certified CNF Semantics for DFA Identification
• Dawsey–Russell–Urban Partition Polynomial Derivative Question
• Deb–Sokal Conjecture 1.4(c): refutation of the printed clause
• The OEIS A000040 Fibonacci-Fermat Prime Characterization
• The OEIS A008365 Four-Residue Characterization of 13-Rough Numbers
• Finite Branch Atlases
• Finite Domain Selection Refutation
• Finite Exhaustion Certificates
• Exact local-row transition cache soundness
• Checked support conflicts retain the original event semantics
• Every value branch and every symmetry edge is checked
• Finite event and partial-assignment interface
• Flórez–Junes–Ramírez Cubic-Lattice Plane-Path Counts
• Games
• Giacomelli’s cone of infinitely log-concave initial data
• Three-Vertex Weighted Bond Mobius Computation
• Weighted Bond Difference Counterexample
• Weighted Bond Poset Source Semantics
• The OEIS A175406 Greathouse Floor Formula
• Groups
• Heterogeneous C4 Hat Games
• Hypergraphs
• The OEIS A319927 Odd Non-Unitary Power-Sum Conjecture
• Part (i) of Ishikawa and Koutschan’s Pfaffian conjecture is false as printed
• The Domination Clause of Kok’s Jaco Graph Conjecture
• The OEIS A129598 Differing-Position Conjecture
• Maximal R-Cliques in Finite Connected Racks
• Kimberling’s OEIS A341249 Bound
• The OEIS A192023 Comb Wiener-Index Conjecture
• The OEIS A231548 Antisigma Gap-Three Conjecture
• The OEIS A245786 Subsequence Conjecture
• LRAT Certificates for Sparse DFAO State Lower Bounds
• LRAT Refutations and Unsatisfiability
• Layman’s OEIS A196226 Divisor-Power Congruence Conjectures
• The odd-sector spectral minimum need not be the second eigenvalue
• Nonuniqueness of the fractional concavity transition
• Exact Rational Linear Objective Certificates
• Merca’s Even-Order Residue-Sum Conjecture
• Minkowski Null Cone Rigidity
• Motzkin Conjecture 3 refutation
• Motzkin convolution Hankel refutation
• Motzkin Theorem 4 clause refutation
• Mourad–Abbas Conjecture 5.1
• The OEIS A018800 Prime-Prefix Suffix-Bound Conjecture
• The OEIS A380680 Square-Residue Conjecture Is False
• Oh and Scrimshaw’s two-shifted q-Motzkin conjecture is false as printed
• The OEIS A126762 Least-Witness Exponent-Shift Conjecture
• Polynomials
• Quandles
• Support-local affine moment reconstruction
• Exact Rational Farkas Certificates
• Moment ambiguity and exact contact certificates
• Rational support elimination certificates
• Certified omitted-query residual envelopes
• Exact rational compression replay
• RationalSTCutCertificate
• A negative answer to displayed Problem 4.4 of sqrt(Delta)-Fine Rings
• The conjecture of OEIS A362534 is false at n = 19
• Profitable Deviations towards Antagonistic Tie-Breaking
• Shankar Q Stieltjes Refutation
• A negative answer to four-point sumset compression
• Sample-Preserving Channel Retraction
• Return Seeds Forced by Actual Reachability
• Finite Slot CNF for First-Return Skeletons
• Slot Gap Constraint Transport
• SkeletonSlotProfileSymmetry
• Shared Zero Responses of Slot Skeletons
• The OEIS A104863 Floor-Square-Root Recurrence Conjecture
• The OEIS A103585 Sloping-Binary Period Conjecture
• Trace Partition Refutation
• A Tree with Nonunique Bottom Pinnacle Sets
• Tripod Nim: the printed period assertion
• Yoshida’s Rapid-Decrease Question
• Zelinsky and Zhang’s Conjecture 22