Sembolik Hesaplama Araştırma Enstitüsü - Research Institute for Symbolic Computation

Sembolik Hesaplama Araştırma Enstitüsü (RISC Linz) alanında lider bir araştırma enstitüsüdür sembolik hesaplama, dahil olmak üzere otomatik teorem kanıtlama ve bilgisayar cebiri. Hagenberg'deki Schloß Hagenberg'de yer almaktadır. Linz içinde Avusturya. RISC, 1987 yılında, Bruno Buchberger ve 1989'da Hagenberg'e taşındı. RISC'nin şu anki başkanı Peter Paule.

Dış bağlantılar