Solving systems of equations on antichains for the computation of the ninth Dedekind Number

Patrick De Causmaecker, Lennart Van Hirtum

Published 2024-05-31Version 1

We study three systems of equations, together with a way to count the number of solutions. One of the results was used in the recent computation of D(9), the others have potential to speed up existing techniques in the future.