Imagen de Portada

Collapsi is strongly solved

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Young, Michael
Formato:	Preprint
Publicado:	2025
Materias:	History and Overview 68T20 I.2.1
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development
por: Bouzinier, Michael, et al.
Publicado: (2025)

Chain Bounding, the leanest proof of Zorn's lemma, and an illustration of computerized proof formalization
por: Incatasciato, Guillermo L., et al.
Publicado: (2024)

Teaching Proof to Future Mathematics Teachers in Mathematical Analysis Classes
por: Naziev, Aslanbek, et al.
Publicado: (2025)

Higher dimensional visual proofs, Nicomachus' 4D Theorem and the mysterious irreducible factor $(3n^2+3n-1)$ in the sum of fourth powers
por: Buijs, Urtzi
Publicado: (2026)

Semantic Search over 9 Million Mathematical Theorems
por: Alexander, Luke, et al.
Publicado: (2026)

Algebraic Topology for Data Scientists
por: Postol, Michael S.
Publicado: (2023)

The Shape of Math To Come
por: Kontorovich, Alex
Publicado: (2025)

Formal specification and behavioral simulation of the holiday gift exchange game
por: Quigley, Daniel
Publicado: (2026)

Artifical intelligence and inherent mathematical difficulty
por: Dean, Walter, et al.
Publicado: (2024)

Annotated square root computation in Liber Abaci and De Practica Geometrie by Fibonacci
por: Steihaug, Trond
Publicado: (2024)

Anatomy of a Formal Proof
por: Avigad, Jeremy, et al.
Publicado: (2024)

Cooperative Patrol Routing: Optimizing Urban Crime Surveillance through Multi-Agent Reinforcement Learning
por: Palma-Borda, Juan, et al.
Publicado: (2025)

CellTypeAgent: Trustworthy cell type annotation with Large Language Models
por: Chen, Jiawen, et al.
Publicado: (2025)

Formalising Human-in-the-Loop: Computational Reductions, Failure Modes, and Legal-Moral Responsibility
por: Chiodo, Maurice, et al.
Publicado: (2025)

On the robustness of ChatGPT in teaching Korean Mathematics
por: Nguyen, Phuong-Nam, et al.
Publicado: (2025)

Some conditions for a good start in problem solving in elementary school. Primum non nocere
por: Hersant, Magali, et al.
Publicado: (2025)

The Path to Aperiodic Monotiles
por: Kaplan, Craig S.
Publicado: (2025)

Galois groups of polynomials and neurosymbolic networks
por: Shaska, Elira, et al.
Publicado: (2025)

Comparing angles in Euclid's Elements
por: Shen, Alexander
Publicado: (2024)

The extension of zbMATH Open by arXiv preprints
por: Beckenbach, Isabel, et al.
Publicado: (2024)

Boolos' Hardest Logic Puzzle Ever can be solved in no less than three admissible questions: axiomatic framework and rigorous proof
por: Colomina-Almiñana, J. J., et al.
Publicado: (2018)

Combination of Weak Learners eXplanations to Improve Random Forest eXplicability Robustness
por: Pala, Riccardo, et al.
Publicado: (2024)

Algorithm and abstraction in formal mathematics
por: Macbeth, Heather
Publicado: (2024)

Leveraging guidelines for ethical practice of statistics and computing to develop standards for ethical mathematical practice: A White Paper
por: Buell, Catherine, et al.
Publicado: (2022)

Astrolabe: A Content-Addressable Hypergraph for Semantic Knowledge Management
por: Li, Xinze
Publicado: (2026)

Algorithmic information theory and martingales
por: Bienvenu, Laurent, et al.
Publicado: (2009)

Maat: The Agentic Legal Research Assistant for Competition Protection
por: Mounir, Basant, et al.
Publicado: (2026)

Enhancing Mathematical Problem Solving in LLMs through Execution-Driven Reasoning Augmentation
por: Basarkar, Aditya, et al.
Publicado: (2026)

Capture-Quiet Decomposition: A Verification Theorem for Chess Endgame Tablebases
por: Pavlov, Alexander
Publicado: (2026)

Agentic AI Systems Applied to tasks in Financial Services: Modeling and model risk management crews
por: Okpala, Izunna, et al.
Publicado: (2025)

Can we "seamlessly" divide a polygon?
por: So, Byungchang
Publicado: (2025)

A QUBO Formulation for the Generalized Takuzu/LinkedIn Tango Game
por: Ali, Alejandro Mata, et al.
Publicado: (2024)

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

Approximating Mathematical Constants using Minecraft
por: Lynch, Molly, et al.
Publicado: (2024)

A Modular Cognitive Architecture for Assisted Reasoning: The Nemosine Framework
por: Melo, Edervaldo
Publicado: (2025)

A connection between tests for absolute convergence of infinite series, or how to be fair
por: Rayskin, Victoria
Publicado: (2018)

Book I of Euclid's Elements and application of areas
por: Bell, Jordan
Publicado: (2025)

When Any Group of N Elements is Cyclic?
por: Bragin, V., et al.
Publicado: (2011)

A contemporary inversive geometry solution of the three-circle problem of Steiner
por: Azizov, Azizkhon, et al.
Publicado: (2024)

Named entity recognition for Serbian legal documents: Design, methodology and dataset development
por: Kalušev, Vladimir, et al.
Publicado: (2025)