ProofWiki.org

ProofWiki.org 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…