TheoryMine lets you name a personalised, newly discovered, mathematical theorems as a novelty gift.

Name your very own mathematical theorem, newly discovered by one of the world's most advanced computerised theorem provers (a kind of robot mathematician), and
you can immortalise your loved ones, teachers, friends and even yourself and your favourite pets.