Outcome of a Dagstuhl Seminar: Algebra, Geometry, and Software Systems 2003