BookofProofs

AboutBoP is an open book 
        dedicated to mathematics, physics, and computer science. Its goal is to broaden the public knowledge of the axiomatic method.
    
MottoThe ability to formulate mathematical proofs using the axiomatic method should be taught as a basic skill like reading or writing. 
This is what BoP is all about!
Project 
        BoP was launched in February 2014 is 
        a collaborative project. In February 2023, we migrated the site to github. You can now co-author if you are a github user.
        
FeedbackTo get in touch, please use our discussions.

            Post a Comment
        

Open-source and ad-free content

The main differences to related mathematical resources available on the internet are that BoP is guaranteed ad-free, everybody can contribute on GitHub ;-), and you can use some built-in features like Sagecell and JSXGraph for interaction with complex mathematical concepts.

Selected Publications

All publications listed below can be downloaded for free. Enjoy! Some of them are still work-in-progress. Usage or reproduction may be restricted by the license referenced or stated in each publication.

Logic

Set Theory

Number Systems and Arithmetics

Algebra

Calculus

Topology

Geometry

Euclid's Elements

Combinatorics

Probability Theory and Statistics

Number Theory

Graph Theory

Knot Theory

Game Theory

Theoretical Physics

Theoretical Computer Science

Dudeney's Amusements in Mathematics