Welcome guest
You're not logged in.
306 users online, thereof 0 logged in

User Manual - Quick Reference

Before you start, please take a short while to read this manual.

Main navigation and search

  • Click on (I) to open the main page.
  • You can use the search field (II) to look for entries in the book. As you type, it will make suggestions of pages you can open. Just click on them to open the page.

    If you see no suggestions then your search has no results.
  • Click on (III) to navigate through the page:
    • Branches – opens the theory part of the book.
    • History – this will open the history part of the book. It has the same structure as branches, however, it is dedicated to the history of mathematics, rather than its theory.
    • Users – this shows our community. From there, you can jump into the profiles of different users.
    • Help – you are just there.

Structure of the Book

  • When you click to expand a chapter

    you will open the next level in the structure of the book. In general, each level consists of its title (1), the text body (2), and none, one, or more sections (3). Check the outline level (4) to see if the chapter has sections:
  • You can also expand sections, their subsections, and so one. In principle, the number of substructures and outline levels is technically unlimited.
  • Each structure in the book has a unique ID, which is visible in the expand-button:

    This unique ID is used by authors of the book to make unique references inside the book, but it has no meaning for navigation. Usually, you can ignore it.
  • At the bottom of each text body (see the red box (2) above), you will find the so-called shortcut line. The shortcut line might look like this (or have fewer icons than that, depending on the type of section of the book you are in):

    This shortcut line is important for licensing purposes, since:
    • It contains the CC BY-SA 3.0 – attribution of the co-authors of the current section you are in – (a) Contributors
    • It contains the bibliography, given by numbers in brackets in the section (b) References
    • It is connected with the attribution section you can find at the bottom of the website. The attribution section lists all the contributors (A) and all the actual bibliography (B) corresponding to the entries given in (a) and (b):
    • Note: The entries in the attribution section change as you navigate. In general, it lists all the contributors and bibliographic entries that were necessary to create any of the sections you have ever expanded (i.e. not only the specific section containing the references (a) and (b)).
  • The remaining icons of the shortcut line have the following meanings:
    • (c ) This icon is only visible for axioms, definitions, theorems, corollaries, propositions, and lemmata. It opens a list of all axioms needed to derive the entry, the logical predecessors, and the logical successors of the entry. This is what in BookOfProofs is called the axiomatic method.
    • (d) This icon will pin the current entry as a new root node of the entire page and reset the outline numbering. For instance, if you are in a chapter numbered “3. Title” and you pin it, it will become the new root node of the whole page (without any number) and its sections “3.1 Subtitle A, 3.2 Subtitle B” will be numbered like chapters “1. Subtitle A,” “2. Subtitle B”.
    • (e) Similarly as (d), this icon will pin the parent entry of the current entry as a new root node of the entire page and reset the outline numbering. For instance, if you see this icon in the root node, it enables you to jump one level higher in the outline structure of the book. This will cause the current root node to become one of the chapters of the pinned parent entry.
    • (f) This button is used to share the contents of a single entry in the book within social media – please use it, if you like :-)
    • (g) This button is used to edit the node. Unless you are not logged in, you can ignore it.

Version history

  • You will see a button to the right of each entry (1a) which opens a popup dialog when you click on it, containing a context menu. Clicking on Versions (1b) will open the version history of the current entry, which you use to see and compare the corresponding contributions and their authors.

    The other commands visible in the context menu can only be used if you are logged in.

| | | | created: 2018-01-08 00:46:42 | modified: 2018-01-11 23:13:26 | by: bookofproofs

This work was contributed under CC BY-SA 3.0 by:

This work is a derivative of:


Bibliography (further reading)

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