The NSF-DOE Vera C. Rubin Observatory has logged more than 11,000 new asteroids from its earliest observations, including 33 ...

Dunning explores how mathematical notation is a social, world-building technology. It’s natural to think of math as being fundamentally abstract. Whether it’s invented or discovered, its truths are so ...

There are all sorts of reasons that you might want to write a formal letter. They can be used to say thank you, to keep in touch with relatives, for booking holidays or applying for a job or work ...

Formal verification of algorithms and data structures using Rocq and Lean4. This is a learning project following Software Foundations and Sedgewick's Algorithms, applying formal proof techniques to ...

We're passionate about giving school-aged children opportunities to create, explore and learn about the latest ideas in science, engineering, computing and mathematics. Personal insights from our ...