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.
See an example theorem certificate
See an example theorem certificate
Get Started: Choose your Theorem Name
This is the name that will be given to your theorem forever.
It can be either a name, a nick name or any other thing as long as it meets the following criteria:
 It must be a no more than 30 characters long.
 It must NOT be inappropriate, libellous, defamatory, blasphemous, obscene, offensive to public morality or an incitement to racial hatred or terrorism.
Theorems names will be filtered and if reported and recognised to be inappropriate, they will be removed from our database and records without refund.
It can be either a name, a nick name or any other thing as long as it meets the following criteria:
 It must be a no more than 30 characters long.
 It must NOT be inappropriate, libellous, defamatory, blasphemous, obscene, offensive to public morality or an incitement to racial hatred or terrorism.
Theorems names will be filtered and if reported and recognised to be inappropriate, they will be removed from our database and records without refund.
e.g. Tom's theorem, or The Bucklesham lemma
A special and personalized gift.
You can name a theorem and have it printed on a tshirt, mug, or mousemat! 
Selected Recent Theorems:
