Documentation
In this section you can find a wealth of documentation - both on AWB as a program, how to use it, and on the theoretical background and mathematical principles behind it.
If you are new to AWB and are looking for a quick introduction - we suggest you first familiarize yourself with its basic elements (English version under construction). Then, to get an idea of the kinds of problems you can solve with AWB, we suggest you look at our tutorial and go through some of the sample problems offered there (Under Construction!).
Please also have a look at our information on macros in AWB (Under Construction!). There are also some sample macros available for download. Some of them come with further explanations. (English version under construction).
For more information on the mathematical background, read the documentation provided under theoretical background. (English version under construction).
A note on Unicode and Math (FAQ)
For a variety of reasons we chose to use Unicode to display the majority of the mathematical symbols used here. Most modern browsers with large enough fonts installed are able to render those symbols.
If your browser has trouble displaying the following symbols you should download and install the font Code2000 and the best browser there currently is: Firefox. (Both are free and available for many platforms.)
Test symbols: ≤, ⇒, ∈, →, 𝒫
What you should see: 
On every page using unicode symbols there is also a pdf link in the top right corner. From there you can download a pdf file of that page, which will show all symbols precisely as they should be.
For more information, please consult our FAQ.