Amazon Scholar solves century old problem with automated reasoning
Marijn Heule, an Amazon-Damn and Professor of Computer Science at Carnegie Mellon University, along with his colleague Manfred Scheucher of Technische University Berlin, have solved a geometry problem that was posed almost 100 years ago by the Hungarian Australian mathematical esters. Marijn Heule, an Amazon -Lærd and Professor of Computer Science at Carnegie Mellon University. … Read more
