Marijn Heule turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them. His ...

This is a preview. Log in through your library . Abstract We present a counterexample to the conjecture by Orlik that the restriction of a free hyperplane arrangement to one of its hyperplanes is free ...

An error in a proof underlying a widely used branch of modern mathematics was accidentally discovered by mathematicians while translating old proofs to a computer ...