Cover Image

Machine Checked Proofs and Programs in Algebraic Combinatorics

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Hivert, Florent
Format:	Preprint
Published:	2024
Subjects:	Combinatorics Group Theory Representation Theory 05E05, 05E10, 68V15, 68W30 F.3.1; G.2.1; G.4; I.1.2
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Diagram model for the Okada algebra and monoid
by: Hivert, Florent, et al.
Published: (2024)

An arithmetic method algorithm optimizing k-nearest neighbors compared to regression algorithms and evaluated on real world data sources
by: Anagnostopoulos, Theodoros, et al.
Published: (2026)

Poset modules of the $0$-Hecke algebras and related quasisymmetric power sum expansions
by: Choi, Seung-Il, et al.
Published: (2023)

Machine Learning Mutation-Acyclicity of Quivers
by: Armstrong-Williams, Kymani T. K., et al.
Published: (2024)

A lower bound for the Weisfeiler-Leman dimension of circulant graphs
by: Wu, Yulai, et al.
Published: (2025)

An Algebraic Rigidity Framework for Order-Oblivious Deterministic Black-Box PIT of ROABPs
by: Singh, Shalender, et al.
Published: (2026)

The automorphism groups and identification of some Generalized Paley Graphs
by: Ponomarenko, Ilia
Published: (2025)

Efficient Binary Decision Diagram Manipulation in External Memory
by: Sølvsten, Steffan Christ, et al.
Published: (2021)

Vertex models for the product of a permuted-basement Demazure atom and a Schur polynomial
by: Miller, Timothy C.
Published: (2025)

On Calculating the Chromatic Symmetric Function
by: Mobaraki, Nima Amoei, et al.
Published: (2024)

Formalising Fisher's Inequality: Formal Linear Algebraic Proof Techniques in Combinatorics
by: Edmonds, Chelsea, et al.
Published: (2022)

Zero-sum partitions of Abelian groups and their applications to magic- and antimagic-type labelings
by: Cichacz, Sylwia, et al.
Published: (2022)

A Note on the Subcubes of the $n$-Cube
by: Simon, Hans Ulrich
Published: (2024)

Factors in finite groups and well-covered graphs
by: Kabenyuk, Mikhail
Published: (2026)

Factorial Basis Method for q-Series Applications
by: Jiménez-Pastor, Antonio, et al.
Published: (2024)

Metric Dimension and Resolvability of Jaccard Spaces
by: Lladser, Manuel E., et al.
Published: (2024)

Golden Ratio Growth and Phase Transitions in Chromatic Counts of Circular Chord Graphs
by: Lopez-Bonilla, Rogelio N., et al.
Published: (2025)

Totally Disjoint 3-Digit Decimal Check Digit Codes
by: Dunning, Larry A.
Published: (2025)

A Stochastic Objective-Function-Free Adaptive Regularization Method with Optimal Complexity
by: Gratton, Serge, et al.
Published: (2024)

Iteration complexity of the Difference-of-Convex Algorithm for unconstrained optimization: a simple proof
by: Gratton, Serge, et al.
Published: (2026)

Fast Stochastic Second-Order Adagrad for Nonconvex Bound-Constrained Optimization
by: Bellavia, S., et al.
Published: (2025)

Generalized diagram categories and monoids, and their representations
by: Fresacher, Matthias, et al.
Published: (2025)

A Permutation-Free Length 3 Decimal Check Digit Code
by: Dunning, Larry A.
Published: (2025)

An Explicit and Efficient $O(n^2)$-Time Algorithm for Sorting Sumsets
by: Mundhra, S.
Published: (2025)

STRIDE: A Self-Reflective Agent Framework for Reliable Automatic Equation Discovery
by: Su, Jiarui, et al.
Published: (2026)

Boltzmann sampling and optimal exact-size sampling for directed acyclic graphs
by: Gabryelski, Wojciech, et al.
Published: (2026)

The Hierarchy of Saturating Matching Numbers
by: Simon, Hans U., et al.
Published: (2025)

Zero-free regions for the independence polynomial on restricted graph classes
by: Jerrum, Mark, et al.
Published: (2025)

FePySR: A Neural Feature Extraction Framework for Efficient and Scalable Symbolic Regression
by: Yu, Zhiming, et al.
Published: (2026)

Examples of slow convergence for adaptive regularization optimization methods are not isolated
by: Toint, Philippe L.
Published: (2024)

Refining asymptotic complexity bounds for nonconvex optimization methods, including why steepest descent is $o(ε^{-2})$ rather than $\mathcal{O}(ε^{-2})$
by: Gratton, Serge, et al.
Published: (2024)

Plethysm is in #BQP
by: Christandl, Matthias, et al.
Published: (2026)

Practical implementation of geometric quasi-cyclic LDPC codes
by: Ball, Simeon, et al.
Published: (2024)

Skip Letters for Short Supersequence of All Permutations
by: Tan, Oliver
Published: (2022)

Positivity certificates for linear recurrences
by: Ibrahim, Alaa, et al.
Published: (2023)

Length 3 Check Digit Codes with Grouped Tags and Disjoint Coding Applications
by: Dunning, Larry A.
Published: (2023)

Predicting Memory Demands of BDD Operations using Maximum Graph Cuts (Extended Paper)
by: Sølvsten, Steffan Christ, et al.
Published: (2023)

MSMixer: Learned Multi-Scale Temporal Mixing with Complementary Linear Shortcut for Long-Term Time Series Forecasting
by: Cherif, Ahmed
Published: (2026)

An efficient algorithm for identifying rainbow ortho-convex 4-sets in k-colored point sets
by: Flores-Peñaloza, David, et al.
Published: (2024)

Enhancing binary classification: A new stacking method via leveraging computational geometry
by: Wu, Wei, et al.
Published: (2024)