Welcome guest
You're not logged in.
270 users online, thereof 1 logged in

Recent on Branches:

(subscribe to this rss feed: rss)
Axiom: Axiom of Choicecontributed 3 hours ago by bookofproofs
(related to "Minimal Inductive Set Is Subset Of All Inductive Sets")
(related to "Axiom of Infinity")
Definition: Inductive Setcontributed 4 days ago by bookofproofs
(related to "Circular References Of Self-Contained Sets Are Forbidden")
(related to "Axiom of Foundation")
Definition: Singletoncontributed 5 days ago by bookofproofs
(related to "Justification of Power Set")
(related to "Axiom of Power Set")
(related to "Justification of Subsets and Supersets")
(related to "Axiom of Separation (Restricted Principle of Comprehension)")
(related to "Justification of Set Union")
(related to "Axiom of Union")
(related to "Set Difference and Set Complement are the Same Concepts")

Recent on History:

(subscribe to this rss feed: rss)
ca. 150 BC: Chord Tablescontributed 2 years ago by bookofproofs
ca. 200 BC: Conicscontributed 2 years ago by bookofproofs
ca. 450 BC: Zenos Paradoxescontributed 2 years ago by bookofproofs
ca. 1650 BC: Rhind Papyruscontributed 2 years ago by bookofproofs
about 1620 BC: Death of Ahmescontributed 2 years ago by guest
Niels Henrik Abelcontributed 2 years ago by bookofproofs
Edwin Abbottcontributed 2 years ago by bookofproofs
Ernst Abbecontributed 2 years ago by bookofproofs
Asger Hartvig Aaboecontributed 1 year ago by bookofproofs
Nicolaus Copernicuscontributed 1 year ago by bookofproofs
László Kalmárcontributed 2 years ago by bookofproofs

Project Log:

(subscribe to this rss feed: rss)
03 Dec 2018

Community is closed

Unfortunately, no active users were found. Therefore, the functionality for the user community and for registering on the site as a co-author was removed from the project.

20 Nov 2017

BookOfProofs 2.0

Many major improvements of our online project, including a brand new, mobile layout, a new look & feel of an open web book, a social media module - easily get in touch with other registered community members - and integration of Sage Cell - embed any Sage computations and graphics from a cloud service into your contributions on BookOfProofs.org.

19 Feb 2017

Euclid's “Elements” - all 13 books now available on bookofproofs.org!

Euclid's “Elements” - a modern translation of all 13 books of this masterpiece prototype of the axiomatic method is now available on bookofproofs.org.

01 Sep 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.

01 Feb 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).

01 Dec 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 Aug 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.

04 Jun 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 Method"). 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.

01 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.

07 Feb 2014

The site bookofproofs.org (BookOfProofs) is born.

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

FeedsAcknowledgmentsTerms of UsePrivacy PolicyImprint
© 2018 Powered by BooOfProofs, All rights reserved.