TheoryMine le permite nombrar a un teorema matemático personalizado y recien descubierto como regalo novedoso.
Usted puede nombrar a su propio teorema matemático, recientemente generado por uno de los probadores de teoremas computarizado (una especie de robot matemático) más avanzado del mundo, y puede inmortalizar a sus seres queridos, profesores, amigos, e incluso a usted mismo y a sus mascotas favoritas.

Ver un teorema certificado de ejemplo