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 ...