Mathematics is one of the oldest disciplines of study. For all its antiquity, however, it is a modern, rapidly growing field. Only 70 years ago, mathematics might have been said to consist of algebra, ...

The AoPA library allows one to encode Algebra of Programming (BdM97) style program derivation, both functional and relational, in Agda. Since the 90s, the program derivation community has been ...

Monte-Carlo Tree Search (MCTS) except applied to directed graphs instead of trees, "Monte-Carlo Graph Search" ("MCGS"), is sometimes considered to be pretty tricky to implement in a sound way.

Schoolchildren from Caversham have become the first to learn a brand new theory that dividing by zero is possible using a new number - 'nullity'. But the suggestion has left many mathematicians cold.

One of the more interesting algorithms in number theory is the Fast Fourier transform (FFT). FFTs are a key building block in many algorithms, including extremely fast multiplication of large numbers, ...

Faster-than-light neutrinos? Boring… let’s see something really revolutionary. Edward Nelson, a math professor at Princeton, is writing a book called Elements in which he claims to prove the ...