ProofWiki – el compendio de las demostraciones matemáticas

Publicado el


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