Current Issue
How Paradoxes Shape Mathematics and Give Us Self-verifying Computer Programs

How Paradoxes Shape Mathematics and Give Us Self-verifying Computer Programs

In his talk at AN18, Thomas Hales will explain how some paradoxes play into self-verifying computer programs.

Seeing Through Rock: Mathematics of Inverse Wave Propagation

Seeing Through Rock: Mathematics of Inverse Wave Propagation

In his talk at AN18, Bill Symes will discuss our knowledge of Earth's interior and how it is an inverse problem.

Mathematics at the Upcoming AAAS Annual Meeting

Mathematics at the Upcoming AAAS Annual Meeting

At its 2018 Annual Meeting, the AAAS will sponsor a symposium on mathematical approaches to major challenges.