Instytut Badawczy Obliczeń Symbolicznych

Instytut Badawczy Obliczeń Symbolicznych (RISC Linz) jest instytutem badawczym w dziedzinie obliczeń symbolicznych , w tym automatycznego dowodzenia twierdzeń i algebry komputerowej . Znajduje się w Schloß Hagenberg w Hagenberg koło Linzu w Austrii . Firma RISC została założona w 1987 roku pod przewodnictwem Bruno Buchbergera i przeniosła się do Hagenberg w 1989 roku. Obecnym prezesem RISC jest Peter Paule .

Linki zewnętrzne

• RISC Linz
• Park oprogramowania Hagenberg