CITATION.cff

cff-version: 1.2.0
message: "For use of a specific result, cite that entry's CITATION.bib. Cite this repository only when referring to the collection as a whole."
title: "MathExplore Notes"
abstract: "A collection of AI-assisted mathematical research manuscripts and reproducible verification materials."
authors:
  - family-names: "Carptopus"
    email: "carptopus@163.com"
type: dataset
repository: "https://github.com/Carptopus/MathExplore-Notes"
url: "https://github.com/Carptopus/MathExplore-Notes"
keywords:
  - "AI-assisted mathematics"
  - "computer-assisted mathematics"
  - "reproducible mathematics"
  - "experimental mathematics"
  - "weak saturation"
  - "hypercubes"
  - "extremal graph theory"
  - "Peck posets"
  - "antichain polynomials"
  - "Sperner property"
  - "Thue-Morse sequence"
  - "automatic sequences"
  - "run-length sequence"
  - "Jacobsthal representations"
  - "2-kernels"
  - "connected set polynomial"
  - "graph polynomials"
  - "connected induced subgraphs"
  - "unimodality"
  - "associated Stirling numbers"
  - "Stirling cycle numbers"
  - "log-concavity"
  - "Fourier-Edgeworth estimates"
  - "combinatorics"
  - "hypergraph Turan density"
  - "link Turan density"
  - "hypergraph homomorphisms"
  - "finite fields"
  - "extremal combinatorics"
  - "permutation shattering"
  - "weighted blow-ups"
  - "probabilistic method"
  - "inverse eigenvalue problems"
  - "coding theory"
  - "Reed-Muller codes"
  - "higher support spectra"
  - "quadratic Boolean functions"
  - "Walsh spectra"
  - "matroid theory"
  - "orderable matroids"
  - "cographic matroids"
  - "graph embeddings"
  - "surface triangulations"
  - "triangle sums"
  - "peripheral cycles"
  - "edge contractions"
  - "real projective plane"
  - "simplicial triangulations"
  - "alternating bilinear forms"
  - "alternating matrix spaces"
  - "Fano plane"
  - "rank profiles"
  - "Hilbert bases"
  - "algebraic topology"
  - "total cut complexes"
  - "homotopy colimits"
  - "order theory"
  - "Ehrhart theory"
  - "matroid base polytopes"
  - "Ehrhart h-star polynomials"
  - "rank-two matroids"
  - "parallel classes"
  - "rational polygons"
  - "discrete geometry"
  - "integer-valued polynomials"
  - "Lipschitz quaternions"
  - "noncommutative algebra"
  - "ringsets"
  - "measurable matroids"
  - "lattice-path matroids"
  - "minorizing measures"
  - "weak-star topology"
  - "continuous linear programming"
  - "Ferrers diagrams"
  - "Ferrers polytopes"
  - "face lattices"
  - "products of triangles"
  - "polyhedral combinatorics"
  - "rank-metric codes"
  - "commutative algebra"
  - "monomial ideals"
  - "edge ideals"
  - "symbolic powers"
  - "chordal graphs"
  - "combinatorics on words"
  - "Abelian maximal pattern complexity"
  - "primitive substitutions"
  - "Abelian borders"
  - "Abelian periodicity"
  - "sparse defects"
  - "counterexamples"
  - "ultimate periodicity"
  - "finite overlap graphs"
  - "abstract polytopes"
  - "maniplexes"
  - "premaniplexes"
  - "symmetry type graphs"
  - "voltage constructions"
  - "posets"
  - "antichain generating polynomials"
  - "real-rooted polynomials"
  - "palindromic polynomials"
  - "gamma-positivity"
  - "Jacobi polynomials"
  - "minuscule posets"
  - "last-passage percolation"
  - "vertex separators"
  - "dynamical algebraic combinatorics"
  - "middle runner conjecture"
  - "circular runners"
  - "order statistics"
  - "counterexamples"
  - "cyclotomic polynomials"
  - "nonnegative polynomials"
  - "roots of unity"
  - "trigonometric separation"
  - "exact certificates"
  - "Chinese remainder theorem"
  - "graph minors"
  - "vertex connectivity"
  - "minimum degree"
  - "Mader graph"
  - "graph blow-ups"
  - "composition polynomials"
  - "discrete B-splines"
  - "knot refinement"
  - "total positivity"