A rather satisfying winter
Complex Projective 4-Space 2018-03-12
Summary:
Over the last couple of months, I have been experimenting with the use of SAT solvers. This research recently came to fruition, with Tomas Rokicki and me announcing a new discovery with the intention of writing up the methodology in … Continue reading →