John Mackey

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Automated mathematical discovery and verification: minimizing pentagons in the plane2024-12-04Paper
The resolution of Keller's conjecture
Automated Reasoning
2022-11-09Paper
The resolution of Keller's conjecture
Journal of Automated Reasoning
2022-10-24Paper
Tighter bounds on directed Ramsey number \(R(7)\)
Graphs and Combinatorics
2022-09-28Paper
Containment: a variation of cops and robber
Graphs and Combinatorics
2020-04-30Paper
The Resolution of Keller's Conjecture
(available as arXiv preprint)
2019-10-08Paper
On the number of 5-cycles in a tournament
Journal of Graph Theory
2017-12-01Paper
Improved upper and lower bounds on a geometric Ramsey problem
European Journal of Combinatorics
2014-09-04Paper
Graham's Number is Less Than 2^^^62013-04-25Paper
A cube tiling of dimension eight with no facesharing
Discrete & Computational Geometry
2003-03-17Paper
scientific article; zbMATH DE number 870141 (Why is no real title available?)1996-11-21Paper


Research outcomes over time


This page was built for person: John Mackey