The study of differential algebraic geometry and model theory occupies a pivotal position at the interface of algebra, geometry, and logic. Differential algebraic geometry investigates solution sets ...

Can artificial intelligence allow computers to ensure safe autonomous systems and advance optimization? Two Princeton professors believe it can, and they received a research grant earlier this year to ...