John Pardon sees connections between different areas of math that others don’t. For that vision, he’s now been awarded a ...
Recently, a technique called equality saturation adapted e-graphs for program optimization. Equality saturation can ...
Shayan Oveis Gharan has won the Abacus Medal for using tools from across mathematics to boost the power of algorithms.
Finally, explanations for things you never stopped to think about twice.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results