ProofWiki:Community Portal

Community bulletin board

Post your ProofWiki-related news and announcements here!

If you noticed that the site was down for a bit earlier, that was me! I upgraded to a new version of the software, but forgot to redirect traffic to a readonly version. All should be good now though, if you notice any problems let me know. --Joe (talk) 14:15, 15 June 2009 (UTC)

Wow, this is definitively cool! First time I see a project like this and I've been looking for such a thing for a long time. A big thanks to everyone who was involved in setting up Proof Wiki!! --Hannes 20:25, 16 October 2008 (UTC) (Stuttgart, Germany)

Join in! We've made some inroads into propositional logic and abstract algebra, but loads to be done. --Matt Westwood 20:37, 16 October 2008 (UTC)

Not far off proving Cayley's Theorem now. Watch this space, it may happen before the end of next weekend. --Matt Westwood 22:06, 2 November 2008 (UTC)

I will be updating ProofWiki to the newest version of the MediaWiki software either later today or this weekend. I'm currently running some tests on it now to make sure it works with our extensions are everything. Once that is done I'll make the switch. So if you notice anything strange or weird just wait a few minutes then try again. --Joe (talk) 19:31, 6 March 2009 (UTC)

Help out

ProofWiki is a great resource for mathematical proofs but can not maintain itself. If you want to help ProofWiki expand and grow check out the lists of things below.

[edit] Things to do

• Add proofs! See this page and this page for specific proofs that users want added.
• Expand pages that are only stubs
• Check existing proofs for mistakes
• Fix up pages that do not look good
• Give explanations or expand parts of proofs
• Make sure proofs are in the correct categories, and subcategories
• Answer questions that users may have
• Tell your friends

[edit] Fix-up projects

Recently Added Proofs

• Variance of Bernoulli Distribution on 11 March 2010 by Matt Westwood
• Expectation of Poisson Distribution on 11 March 2010 by Matt Westwood
• Expectation of Binomial Distribution on 10 March 2010 by Matt Westwood
• Expectation of Bernoulli Distribution on 10 March 2010 by Matt Westwood
• Expectation of Geometric Distribution on 10 March 2010 by Matt Westwood
• Derivative of Geometric Progression on 10 March 2010 by Matt Westwood
• Variance as Expectation of Square minus Square of Expectation on 9 March 2010 by Matt Westwood
• Probability Mass Function of Function of Discrete Random Variable on 9 March 2010 by Matt Westwood
• Expectation of Function of Discrete Random Variable on 9 March 2010 by Matt Westwood
• Function of Discrete Random Variable on 8 March 2010 by Matt Westwood
• Bernoulli Process as a Geometric Distribution on 7 March 2010 by Matt Westwood
• Binomial Distribution Approximated by Poisson Distribution on 7 March 2010 by Matt Westwood
• Bernoulli Process as Binomial Distribution on 7 March 2010 by Matt Westwood
• Coin-Tossing Modelled by Bernoulli Trial on 7 March 2010 by Matt Westwood
• Negative Binomial Distribution Gives Rise to Probability Mass Function on 7 March 2010 by Matt Westwood