Image: Graphical representation of congruences
created with Algebra WorkBench by Markus Sprenger.
Algebra WorkBench
Here you can download Algebra WorkBench (AWB), find out about the system requirements, and the application's version history.
For further documentation, theoretical background, and sample macros, please check out our documentation section.
Thank you for using AWB - for bug reports and feature requests, contact us.
System Requirements
Windows 98 SE or higher: recommended.
Also recommended is a not-too-slow CPU and an adequate screen resolution.
Windows 98 or 95: Algebra WorkBench might run on these systems, but hasn't been tested on them.
Mac OS, Linux, Unix, BeOS,...: At the moment Algebra WorkBench only runs under Windows. (FAQ)
Download AWB
Newest Version: Version 2.0; August 4, 2006:
To download the current version of the Algebra WorkBench use the links below:
AWB20Setup.exe, 2.18 MB: a setup-programm packed in a self-extracting archive; run setup.exe to install after unpacking.
AWB20Setup.zip, 2.15 MB: a setup-programm packed in a zip-archive; run setup.exe to install after unpacking.
AWB20.zip, 874 KB: zip-archive without setup-routines; the files must be unpacked and copied manually to the destination folder; shortcuts must be added manually as well.
Looking for previous versions? In our archive you can find all older versions starting with version 2.0.
If you have compatibility problems with data from pre-2.0 versions, send an email to Markus Sprenger.
Version History
AWB Version 2.0
Summer 2006: The version previously known as a Beta is now released as version 2.0. Parallely to this release the website www.algebraworkbench.net is redesigned by Cindy-Jane Armbruster.
AWB
From November 2004: "Algebra WorkBench" (AWB), as we know it now, is born. Markus Sprenger has merged the OWB and MWB into one unified application and extended its possibilities, e.g. by enabling users to program macros.
The new AWB isn't just a hodge-podge jumble of OWB and MWB, it's an optimised unification designed to provide users with the most homogenous work environment possible. The data structures of the original tools inparticular were not simply taken over, but new data structures were developped optimising and generalising OWB and MWB in equal terms.
At the same time Christoph Röthlisberger begins writing the AWB user guide as his MA thesis.
In the following months AWB gains in user numbers also outside the bounds of the University of Bern.
MWB
Until October 2004: Markus Sprenger creates the "Models WorkBench" (MWB) in parallel development to the OWB. The MWB is a software tool which enables users to experiment with finite abstract structures according to the rules of predicate logic. Bother applications bundled together are offered under the name of Algebraic WorkBench. However, thanks to its graphic possibilities OWB is much more popular.
OWB
Markus Sprenger is the driving force behind the development of the Algebra WorkBench. In October 2002 he offers for download from ViLoLa the first version of what he then called "Order WorkBench" (OWB). Originally OWB is meant to work solely as an input interface to visually grasp ordered structures. Those are then handed on to and analysed by other software. However, OWB soon becomes a stand-alone application.