Software space Dr. habil. Andreas Dolzmann

The Reduce package REDLOG (REDuce LOGic) provides symbolic algorithms for first-order logic over different languages and theories.


REMIS (Redlog Example Management and Information System) is a WEB based system for searching in and accessing both examples and publications about REDLOG and relevant topics.

Software for the DBwV

I wrote all necessary and useful software for the total evaluation of Deutscher BundeswehrVerband. This includes
  • an online survey for the members,
  • management software for the offline part of the survey,
  • special user friendly, interactive web pages for recording the offline data.
(c) A. Dolzmann Changed 2009-04-01 HTML 4.01 Tr. Impressum