New Orleans math whizzes Calcea Johnson and Ne'Kiya Jackson were recognized during Essence Festival — and gifted new tech by AT&T’s Dream in Black initiative Janine Rubenstein / People Calcea Johnson ...

A mathematician will turn a groundbreaking 100-page proof into computer code. The proof tool, Lean, lets users turn proofs written in prose into rules and logic for testing. Kevin Buzzard already uses ...

Two years ago, a couple of high school classmates each composed a mathematical marvel, a trigonometric proof of the Pythagorean theorem. Now, they’re unveiling 10 more. For over 2,000 years, such ...

In an astonishing breakthrough, two young students from Louisiana have done what many thought was impossible: proving Pythagoras’ theorem using only trigonometry. Their discovery has rocked the world ...

Stephen has degrees in science (Physics major) and arts (English Literature and the History and Philosophy of Science), as well as a Graduate Diploma in Science Communication. Stephen has degrees in ...

The field of formal verification is all about using mathematically rigorous techniques and tools to prove properties about systems. The applications of formal verification vary widely. There are ...

Two New Orleans students who solved the Pythagorean theorem using trigonometry have had their discovery confirmed by the math community after their findings were published in the American Mathematical ...