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"
  - "combinatorics"
  - "inverse eigenvalue problems"
  - "coding theory"
  - "algebraic topology"
  - "order theory"
  - "Ehrhart theory"
  - "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"
  - "ultimate periodicity"
  - "finite overlap graphs"
  - "posets"
  - "antichain generating polynomials"
  - "real-rooted polynomials"
  - "palindromic polynomials"
  - "gamma-positivity"
  - "Jacobi polynomials"
  - "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"