A typical 8th grade math textbook includes just a handful of real-world problems for students to solve, finds a new international study. And that’s not enough, according to William Schmidt, ...

The designers for Monte Vista Elementary School’s proposed outdoor classroom had some key questions to answer: What materials could they use while staying under the district’s $10,000 budget? How much ...

You can probably think of a time when you’ve used math to solve an everyday problem, such as calculating a tip at a restaurant or determining the square footage of a room. But what role does math play ...

Imagine you are a mountaineer. Nothing excites you more than testing your skill, strength and resilience against some of the most extreme environments on the planet, and now you've decided to take on ...

Erdos, explores what researchers call autoformalization, the process of converting traditional mathematical proofs into formats machines can verify using tools such as Lean and Coq.

Alan Veliz-Cuba has received funding from the Simons Foundation and the American Mathematical Society for some of his research. You can probably think of a time when you’ve used math to solve an ...