log in sign up
logo

BookofProofs (BoP) is an open web catalog dedicated to mathematics, physics or computer science, which is completely run by the Internet community. Every catalog entry is thoroughly reviewed to ensure high quality and avoid redundance. The goal of the project is to make this catalog as comprehensive as possible, while providing it for free and for educational purposes to the public.

Unlike in Wikipedia, the entries in this catalog do not have to be of encyclopedic significance with verifiable sources to be accepted. The verifiability with reliable sources is welcomed but not required, because it is up to the Intenet community to improve the reliability of this catalog. This means that, as a registered user, you can publish here your original educational or research material, if it is related to mathematics, physics or computer science, you hold the copyright and you agree to the licence terms valid for this site.

In the "Branches" module, the catalog entries are not self-contained articles or mathematical papers, but rather single mathematical definitions, theorems, examples, problems (e.g. exercises), their solutions, and, of course, mathematical proofs. In the "History" module, the entries contain either biographies of mathematicians or historical events with importance for the mathematical research. The growing library of BoP currently consists of 4196 entries, contributed since 1 May 2014 (going life of the project) by 16 author(s). Last updates were provided 5 days ago.

Please support this project!

As a non-profit project focusing on education, you will find no advertising on our site! We also do not ask for any donations. Instead, you can support us by contributing new content, by giving us your backlinks or liking us on facebook!

rss Project Log

1 September 2016

BoP meets Python!

We decided to replace the original pseudo code algorithm engine by Python syntax highlighting. Python is a great, powerful and easy-to-learn programming language and comes out with thousands of free libraries. Now you can share your awesome Python algorithms under the CC-BY-SA license.

More Project Log

1 February 2016

BoP goes mobile!

We have improved the user friendliness and availability of our site on mobile devices, including smartphones and tablets.

24 May 2015

BoP goes interactive!

Bring mathematics to life and enjoy our documents containing interactive demonstrations on devices running iOS, Android, firefoxOS, Windows 8 (at least). If you are a BoP author (or want to become one), its now very easy to embed your or other people's own mathles into your articles, based on JSXGraph (project of the University of Bayreuth, Germany).

1 December 2014

Contribute to BoP as a Guest

You do not need to register in order to edit the contents of BookOfProofs. Contributing to BoP's Initiative is now easier than ever before! Check it out!

17 August 2014

A step-by-step introduction for adding your content provided

Adding or editing content of BookOfProofs is very easy, but slightly different from blogs or other wikis you might find on the Internet. Learn in a short step-by-step introduction how.

4 June 2014

BookOfProofs introduces an experimental visualization of the axiomatic method.

Proofs are the strength of mathematics and the axiomatic method is what makes them so powerful - based on simple axioms and using logical reasoning one proves theorems, and based on these theorems one proves even more theorems, and so forth - like a snow ball. BookOfProofs introduces a visualization of this principle by attaching clickable graphics to each axiom, definition and theorem (learn more in "The Axiomatic Approach on BookofProofs"). These structures are dynamic. This means that adding a hyperlink to a proof of a theorem A, which refers to a theorem B, will be visualized by showing that the theorem B logically proceeds the theorem A. This logical chain can be followed backward to simple axioms and definitions or forward to more and more deep theoretical results.

1 May 2014

Going life.

The site's mission statement is to be an open community project to create a cartography of existing mathematical results ("what follows from what?"). The site aims to bring the mathematical ways of approaching and solving problems to a broader public. It contains a first draft top-down table of contents of mathematical topics, which can also be used for easy navigating the site. Some of the topics contain first definitions, theorems, proofs and examples. All interested visitors are kindly invited to contribute to the project.

7 February 2014

The site bookofproofs.org (BookOfProofs) is born.

Working on a proof of concept, the site is not publicly available yet.


Our feed-URLs:


Terms of Use and Privacy Policy | Imprint | This site is powered by the webmaster. All rights of the reserved.
The contents of Book of Proofs are licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License.