AWB — Algebra WorkBench

| sitemap |

All pages validate:

• AWB - Home
• robots.txt
• AWB - Sitemap
• TESTPAGE

• css

  • default.css
  • faq.css
  • front.css
  • introduction.css
  • links.css
  • macro.css
  • nav.css
  • print.css
  • theory.css

• de

  • AWB - Home (deutsch)

  • contact

    • AWB - Kontakt (de)

  • documentation

    • AWB - Documentation (de)

    • introduction

      • genremarks.html
      • AWB - Einfhrung (de) - Geschichte
      • index.html
      • newwindow.html
      • options.html
      • structurewindow.html

    • links

      • AWB - Links (de)

    • macros

      • AWB - Makros (de) - Dicomplement Operations
      • Dicomplement.omf
      • dicomplement_de.pdf
      • AWB - Makros (de) - Dieder Gruppen
      • Dieder_groups.omf
      • dieder_groups_de.pdf
      • AWB - Makros (de) - Filtermacro
      • filtermacro_de.pdf
      • AWB - Makros (de) - Idempotent
      • idempotent_de.pdf
      • Idempotent_unary_polynoms_axn_in_groups.omf
      • Idempotent_unary_polynoms_axn_plus_b_in_rings.omf
      • idpot_tools.omf
      • AWB - Makros (de)
      • prod23.jpg
      • prod23_2.jpg

    • theory

      • AWB - Theoretischer Hintergrund (de) - Vermutung ber 0,1-einfache Verbnde
      • conjecture_de.pdf
      • AWB - Theoretischer Hintergrund (en) - Dedekind-MacNeille-Vervollstndigung
      • dedekind_macneille_de.pdf
      • AWB - Theoretischer Hintergrund (de)
      • AWB - Theoretischer Hintergrund (en) - Beweis einer Komplement-Behauptung
      • proofcomplement_de.pdf
      • AWB - Theoretischer Hintergrund (de) - Ordnungstheorie 1
      • theory1a_de.pdf
      • AWB - Theoretischer Hintergrund (de) - Ordnungstheorie 2
      • theory1b_de.pdf
      • AWB - Theoretischer Hintergrund (de) - Ordnungstheorie 3
      • theory1c_de.pdf
      • AWB - Theoretischer Hintergrund (de) - Ordnungstheorie 4
      • theory1d_de.pdf
      • AWB - Theoretischer Hintergrund (de) - Universelle Algebra 1
      • theory2a_de.pdf
      • AWB - Theoretischer Hintergrund (de) - Universelle Algebra 2
      • theory2b_de.pdf
      • AWB - Theoretischer Hintergrund (de) - Universelle Algebra 3
      • theory2c_de.pdf
      • AWB - Theoretischer Hintergrund (de) - Universal Algebra 4
      • theory2d_de.pdf

    • tutorial

      • AWB - Tutorium (de)

  • download

    • AWB - Download (de) - Archiv
    • AWB - Download (de)

  • faq

    • AWB - FAQ (de)

  • forum

    • AWB - Forum (de)

  • stuff

    • AWB - Stuff (de)
    • AWB - Stuff (de)
    • syllabus_ws_06_de.pdf

• download

  • AWB20.zip
  • AWB20Setup.exe
  • AWB20Setup.zip
  • Diplomarbeit.pdf
  • n41main.pdf
  • n42main.pdf
  • n4_2mainPP.pdf

• en

  • AWB - Home (english)

  • contact

    • AWB - Contact (en)

  • documentation

    • AWB - Documentation (en)

    • introduction

      • AWB - Introduction (en) - General Remarks
      • AWB - Einfhrung (en) - History
      • AWB - Introduction (en)
      • AWB - Introduction (en) - Elements: New-Window
      • AWB - Introduction (en) - Elements: Options
      • AWB - Introduction (en) - Elements: Structure-Window

    • links

      • AWB - References and Links (en)

    • macros

      • AWB - Macros (en) - Dicomplement Operations
      • Dicomplement.omf
      • AWB - Macros (en) - Dihedral Groups
      • Dieder_groups.omf
      • dieder_groups_en.pdf
      • AWB - Macros (en) - Filtermacro
      • AWB - Macros (en) - Idempotent
      • Idempotent_unary_polynoms_axn_in_groups.omf
      • Idempotent_unary_polynoms_axn_plus_b_in_rings.omf
      • idpot_tools.omf
      • AWB - Macros (en)
      • makrolanguage.htm
      • prod23.jpg
      • prod23_2.jpg

    • theory

      • AWB - Theoretical Background (en) - Vermutung ber 0,1-simple Verbnde
      • conjecture_en.pdf
      • AWB - Theoretical Background (en) - Dedekind-MacNeille Completion
      • dedekind_macneille_en.pdf
      • AWB - Theoretical Background (en)
      • AWB - Theoretical Background (en) - Beweis einer Komplement-Behauptung
      • proofcomplement_en.pdf
      • AWB - Theoretical Background (en) - Order Theory 1
      • theory1a_en.pdf
      • AWB - Theoretical Background (en) - Order Theory 2
      • theory1b_en.pdf
      • AWB - Theoretical Background (en) - Order Theory 3
      • theory1c_en.pdf
      • AWB - Theoretical Background (en) - Order Theory 4
      • theory1d_en.pdf
      • AWB - Theoretical Background (en) - Universal Algebra 1
      • theory2a_en.pdf
      • AWB - Theoretical Background (en) - Universal Algebra 2
      • theory2b_en.pdf
      • AWB - Theoretical Background (en) - Universal Algebra 3
      • theory2c_en.pdf
      • AWB - Theoretical Background (en) - Universal Algebra 4
      • theory2d_en.pdf

    • tutorial

      • AWB - Theoretical Background (en) - Introductory Problem 2
      • AWB - Tutorial (en)
      • AWB - Theoretical Background (en) - bersicht Einstiegsprobleme
      • AWB - Theoretical Background (en) - Introductory Problem 1
      • iprob1_en.pdf
      • AWB - Theoretical Background (en) - Introductory Problem 2
      • AWB - Theoretical Background (en) - Introductory Problem 3
      • AWB - Theoretical Background (en) - Introductory Problem 4
      • AWB - Theoretical Background (en) - Introductory Problem 5
      • AWB - Theoretical Background (en) - Introductory Problem 6
      • AWB - Theoretical Background (en) - Introductory Problem 7
      • AWB - Theoretical Background (en) - Introductory Problem 8
      • AWB - Theoretical Background (en) - Introductory Problem 9
      • AWB - Theoretical Background (en) - Introductory Problem 10
      • AWB - Theoretical Background (en) - ubersicht der Makroprobleme
      • AWB - Theoretical Background (en) - Macroproblem 1
      • AWB - Theoretical Background (en) - Macroproblem 2
      • AWB - Theoretical Background (en) - Macroproblem 3
      • AWB - Theoretical Background (en) - Macroproblem 4
      • AWB - Theoretical Background (en) - Macroproblem 5
      • AWB - Theoretical Background (en) - Macroproblem 6
      • AWB - Theoretical Background (en) - Macroproblem 7
      • AWB - Theoretical Background (en) - Macroproblem 8
      • AWB - Theoretical Background (en) - Macroproblem 9
      • makroproblems.html
      • probleme.html

  • download

    • AWB - Download (en) - Archive
    • AWB - Download (en)

  • faq

    • AWB - FAQ (en)

  • forum

    • AWB - Forum (en)

  • stuff

    • AWB - Stuff (en)
    • AWB - Stuff (en) - Syllabus WS06/07
    • syllabus_ws_06_en.pdf

• images

  • cja.gif
  • de.gif
  • download.jpg
  • en.gif
  • front.jpg
  • gegenbeispiel.jpg
  • home.jpg
  • KleinerGleich6.jpg
  • logo.jpg
  • logos.gif
  • M.jpg
  • ms.gif
  • N.jpg
  • N_V_2.jpg
  • posets.jpg
  • subdirekt_2.jpg
  • theory.jpg
  • underconstruction.gif
  • unicode.jpg

  • experimental

    • cja.psd
    • frontold.jpg
    • logos.jpg
    • ms.psd

  • introimg

    • 0-1-einfache.jpg
    • 10_LeftRight.jpg
    • 11_Brint.jpg
    • 12_TopDown.jpg
    • 13_Autoarr.jpg
    • 14_Circle.jpg
    • 15_Appear.jpg
    • 16_skin.jpg
    • 17_Rename.jpg
    • 18_complete.jpg
    • 19_Comtool.jpg
    • 1_Move.jpg
    • 20_Copy.jpg
    • 21_SubStGen.jpg
    • 22_OpTable.jpg
    • 23_Question.jpg
    • 24_refresh.jpg
    • 25_SaveArchive.jpg
    • 26_SaveFile.jpg
    • 27_SaveBmp.jpg
    • 28_Print.jpg
    • 29_Undo.jpg
    • 2_Area.jpg
    • 30_Delete.jpg
    • 3_NewElem.jpg
    • 4_NewRel.jpg
    • 5_DelElem.jpg
    • 6_DelRel.jpg
    • 7_NewBot.jpg
    • 8_NewTop.jpg
    • 9_UpDown.jpg
    • _Comtool2.jpg
    • _New.jpg
    • andere-register.jpg
    • Ausdruckseditor.jpg
    • changelang_de.jpg
    • changelang_en.jpg
    • ep1img1_de.jpg
    • ep1img1_en.jpg
    • ep1img2_de.jpg
    • ep1img2_en.jpg
    • ep1img3_de.jpg
    • ep1img3_en.jpg
    • ep1img4_de.jpg
    • ep1img4_en.jpg
    • ep1img6_de.jpg
    • ep1img6_en.jpg
    • extensionenregister.jpg
    • Kongruenzen.jpg
    • kongruenzenregister.jpg
    • l.jpg
    • l232_2.jpg
    • L3^2.jpg
    • menubar_de.png
    • menubar_en.png
    • Morphismen_3.jpg
    • morphismenregister.jpg
    • N5_2.jpg
    • newposet_de.jpg
    • newposet_en.jpg
    • Operationsbearbeitung.jpg
    • posetfenster.jpg
    • predefined_de.jpg
    • predefined_en.jpg
    • produktregister.jpg
    • S2.jpg
    • strukturfensterbuttons.jpg
    • substrukturenfenster.jpg
    • substrukturenregister.jpg

• notes.html

  • blank.png
  • Checked.png
  • Collapsed.png
  • Expanded.png
  • index.html
  • LeafRowHandle.png
  • Mixed.png
  • Unchecked.png

The computer program "Algebra Workbench" (AWB) was created by Markus Sprenger. The documentation found here is based on a 2005 master thesis by Christoph Röthlisberger. The translation and adaptation of the material was done by Cindy-Jane Armbruster.

This page was designed by cja in 2006. It was last updated on March 17, 2007.