| dbo:abstract
|
- The Research Institute for Symbolic Computation (RISC Linz) is a research institute in the area of symbolic computation, including automated theorem proving and computer algebra. It is located in Schloß Hagenberg in Hagenberg near Linz in Austria. RISC was founded in 1987 under Bruno Buchberger and moved to Hagenberg in 1989. The present chairman of RISC is Peter Paule. (en)
- Институт исследований символьных вычислений (англ. Research Institute for Symbolic Computation (RISC Linz)) — один из ведущих исследовательских институтов в области символьных вычислений, включая автоматическое доказательство теорем и компьютерную алгебру. Институт расположен в Schloß Hagenberg в Хагенберге неподалёку от Линца в Австрии. RISC был основан в 1987 для Бруно Бухбергера и он переехал в Хагенберг в 1989 году. В 1999-м Франц Винклер занял место директора. (ru)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 604 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:comment
|
- The Research Institute for Symbolic Computation (RISC Linz) is a research institute in the area of symbolic computation, including automated theorem proving and computer algebra. It is located in Schloß Hagenberg in Hagenberg near Linz in Austria. RISC was founded in 1987 under Bruno Buchberger and moved to Hagenberg in 1989. The present chairman of RISC is Peter Paule. (en)
- Институт исследований символьных вычислений (англ. Research Institute for Symbolic Computation (RISC Linz)) — один из ведущих исследовательских институтов в области символьных вычислений, включая автоматическое доказательство теорем и компьютерную алгебру. Институт расположен в Schloß Hagenberg в Хагенберге неподалёку от Линца в Австрии. RISC был основан в 1987 для Бруно Бухбергера и он переехал в Хагенберг в 1989 году. В 1999-м Франц Винклер занял место директора. (ru)
|
| rdfs:label
|
- Research Institute for Symbolic Computation (en)
- Институт исследований символьных вычислений (ru)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:almaMater
of | |
| is dbo:institution
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:almaMater
of | |
| is dbp:workplaces
of | |
| is foaf:primaryTopic
of | |
