Welcome to TheoryMIne!

TheoryMine为您创造了给全新数学定理定制个性化名字的机会。新奇的礼物,不是么?
"During my time as an eager undergraduate mathematician, I'd often wonder what it would feel like to prove a truly new result ... but Aron's theorem is now a reality, and I've got the certificate to prove it."
Jacob Aron , The New Scientist

"Pythagoras spent his life proving his, and Fermat died still trying, but for the would-be genius today, a mathematical theorem is only a mouse-click away."
Chris Watt , The Herald
您可以自主命名一个新的数学定理。比如用您的爱人,老师,朋友,自己,甚至宠物为它们命名。这些定理由目前所知世界上最先进的计算机定理证明程序生成,它基于人工智能,构思出新的数学定理。

查看证书样例
Many Ideas for a special and personalized gift.

TheoryMine offers a range of different gift packages to satisfy evevryone!
You can name a theorem and have it printed on a t-shirt, mug, or mouse-mat!


Pythagora, Kepler, Einstein.. you can be the next!

TheoryMine offers personalized, newly discovered, mathematical theorems!
By naming your very own mathematical theorem, newly generated by one of the world's most advanced computerised theorem provers, you can immortalise your loved ones, teachers, friends and even yourself and your favourite pets.

Send Us Your Feedback!
Email Adress:
Comments: