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

Artificial intelligence (AI) systems, particularly artificial neural networks, have proved to be highly promising tools for ...

Researchers at TU Wien have developed numerical models to simulate the movement of fluids in porous materials.

Lehigh researchers create new method that improves consistency between predicted and observed data. An international team of mathematicians led by Lehigh University statistician Taeho Kim has ...