How exactly does BoP work?
We're a little bit different from other sites. Here is how:
- BoP's mission is to become the most exhaustive free resource of mathematical sciences world-wide.
- BoP's goal is to reassemble deep mathematical results and concepts gained through the centuries and bring them to the broad public.
- BoP is built and run totally by you as part of our community. Contribute to it yourself, vote for contributions or become a reviewer.
- BoP is supposed to apply modern standards of mathematical formalism and preciseness, still being easy to understand through explanatory examples, interpretations and applications.
What is BoP not?
In contrast to other mathematical wikis, BoP is not based on writing articles to specific subjects. Nor it is a question & answer site for people seeking solutions to exam exercises. Instead, you can think of BoP as a dynamic, growing LaTeX document, in which each mathematical discipline is hierarchically structured into branches, parts, chapters, sections and subsections. In each of these, diving into different levels of detail and complexity in the mathematical discipline, you can find contributions. As stated before, these contributions are not articles, like you may find it in other wikis on the web. Instead, each contribution belongs to exactly one of the following categories:
- axiom,
- definition,
- theorem (you can distinguish between a theorem, a corollary, a lemma or a proposition),
- algorithm (BoP has a nice rendering engine for this),
- open problem (conjecture),
- proof,
- bibliographic entry.
The content of all contributions of these categories must follow modern standards of mathematical formalism, i.e. stuff like examples, motivations, etc. has to be excluded from such contributions. It can, however, be submitted in other contributions, having the corresponding categories, including:
- motivation,
- example,
- application,
- interpretations,
- explanation,
- historic entry, including centuries, events, and portraits of mathematicians.
All contributions, regardless which category they belong to, can be commented in a separate blog.
What is unique about BoP is that it is catalogue, comparable to a book.
Sometimes, you might find some contributions very "short". As an example, the theorem stating that there are infinitly many primes is a quite short contribution (as short as the statement it contains). The first advantage is that mathematical statements like this should be free of any superfluous content. Following modern standards, all additional content is banished to related contributions, which might be attached to the statement. The second and biggest advantage, however, is that an arbitrary number of proofs that can be now attached to this statement: This principle is the an important feature, which is unique to the site of BoP. As users of BoP view and vote for the contributions of different categories, the catalogue uses this information as a powerful, self-learning feature to help other users to find the most interesting stuff.The contents of Book of Proofs are licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License.