What's new

SLMath announces new research programs

Rough numbers between consecutive primes

Salem Prize now accepting nominations for 2025

Decomposing a factorial into large factors (second version)

On the number of exceptional intervals to the prime number theorem in short intervals

A Lean companion to “Analysis I”

Some variants of the periodic tiling conjecture

A tool to verify estimates, II: a flexible proof assistant

Orders of infinity

A proof of concept tool to verify estimates