Algebra WorkBench
This website is dedicated to Algebra WorkBench (AWB), a mathemathical application created by Markus Sprenger. On this site you can download the newest version of AWB, as well as sample macros, you can read up on the mathematical background and the application documentation of AWB.
You can also submit feature requests as well as bug reports.
News
- June 29, 2009: Syllabus "Mathematische Logik" for autumn 2009
- Juli 1, 2008: Syllabus "Mathematische Logik" for autumn 2008
- March 9, 2008: Finally! We have a working forum!
- March 3, 2008: Lecture Notes on "Highlights in Logic" (Proff. G. Jäger, J. Schmid):
"Block 1 - First-Order Logic FOL" (Pdf, 300 KB), corrected version. - Lecture Notes on "Mathematische Logik" by Prof. Jürg Schmid:
First Part - "Introduction to Mathematical Logic" (Pdf, 660 KB)
Second Part - "Model Theory, Universal Algebra and Logic" (Pdf, 1.44 MB) - August 7, 2006: Version 2.0 of AWB is available for download.