Personal tools
You are here: Home / Recent Changes

Recent Changes

This collection shows recently changed items.
RISC Forum Mar 16, 2009 from 01:30 PM to 02:00 PM RISC seminar room,
Camelia Rosenkranz: Thesis Defense "Retrieval and Structuring of Large Mathematical Knowledge Bases in Theorema"
RISC Forum Mar 09, 2009 from 01:30 PM to 02:15 PM RISC seminar room,
Brian Moore: Design of dynamically balanced parallel mechanisms
RISC Forum Jan 12, 2009 from 01:30 PM to 02:00 PM RISC seminar room,
Wolfgang Windsteiger: Algorithmic Methods Book (Volume 1)
Previous Forums
Collection of RISC Forums in the past.
Image JPEG image NewHagenberg.jpg
File PDF document 396.pdf
File PDF document Hagenberg-Pregarten.pdf
File PDF document Hagenberg_Guide_1.pdf
File PDF document Linz_donauHoersching_flughafen.pdf
Computer-Based Working Environments
Information on parts of this course (1) Vesion Control, (2) Collaborative Editing and Content Management.
The Census Taker Problem
Fun Problems
I provide these problems only for people who enjoy to challenge their minds. The site is not for people who just want to know a solution without taking the effort of finding a solution themselves. Don't write to me if you haven't got a solution. It's just a waste of time, because I will simply ignore such e-mails. Have fun!
Members of the RISC Combinatorics Group
The 11+1 Balls Problem
Anton's Problem
ALLPROSE
ALLPROSE is an Aldor Literate Programming Support Environment.
Emacs Support for Aldor
Research
Ralf Hemmecke
Aldor at RISC
April 2018 »
April
MoTuWeThFrSaSu
1
2345678
9101112131415
16171819202122
23242526272829
30
Upcoming Events
RISC Forum Nov 25, 2019 01:30 PM - 01:45 PM
RISC Forum Dec 02, 2019 01:30 PM - 01:45 PM
RISC Forum Dec 09, 2019 01:30 PM - 01:45 PM
RISC Forum Dec 16, 2019 01:30 PM - 01:45 PM
NO RISC Forum Dec 23, 2019 01:30 PM - 01:45 PM
Previous events…
Upcoming events…