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

Introduces students to ideas and techniques from discrete mathematics that are widely used in science and engineering. Mathematical definitions and proofs are emphasized. Topics include formal logic ...

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