• 

  The original Needleman-Wunsch algorithm (sequence alignment) - Algebraic Dynamic Programming

  http://bibiserv.techfak.uni-bielefeld.de/cgi-bin/adp_NeedlemanWunsch

  Keine Beschreibung vorhanden.

• 

  Local similarity (sequence alignment) - Algebraic Dynamic Programming

  http://bibiserv.techfak.uni-bielefeld.de/cgi-bin/adp_LocSim

  Keine Beschreibung vorhanden.

• 

  Global similarity with affine gap scores (sequence alignment) - Algebraic Dynamic Programming

  http://bibiserv.techfak.uni-bielefeld.de/cgi-bin/adp_AffineGlobSim

  Keine Beschreibung vorhanden.

• 

  Meine Studienarbeit

  http://wayback.archive.org/web/20120315040903/http://www.stefan-baur.de/priv.studies.studienarbeit.html

  Meine Studienarbeit realisiert einen Beweiser für die Presburger Arithmetik.

---

---