ProofWiki, el compendio de las demostraciones matemáticas

ProofWiki es un compendio online que pretende recoger y colectar, clasificadas en distintos temas, toda clase de definiciones y demostraciones matemáticas. Cualquier usuario puede registrarse y colaborar con su definición.

A día de hoy hay más de 4.000 definiciones y unas 3.100 demostraciones añadidas en ProofWiki, todas ellas ordenadas en distintas categorías y subcategorías: álgebra, análisis, geometría, matemáticas aplicadas, estadística… en todas estas y más categorías podemos encontrar detalladas demostraciones de teorema del punto fijo de Banach, del pequeño teorema de Fermat, de la paradoja de Banach-Tarski, del teorema de Bayes, etcétera, así como detalladas fórmulas de geometría euclídea como la del triángulo de Euler o la Fórmula de Herón.

Para hacer tu colaboración en el sitio web y aportar tu demostración y fórmula sólo tienes que entrar e introducir tus datos, a continuación ya podrás participar en el portal de la comunidad y disfrutar de ella.

Link: ProofWiki
Vía: Gaussianos