RISC
E846881
RISC is an Austrian research institute specializing in symbolic computation, computer algebra, and related areas of mathematics and computer science.
Statements (48)
| Predicate | Object |
|---|---|
| instanceOf |
computer science research institute
ⓘ
mathematical research institute ⓘ research institute ⓘ |
| abbreviationOf | Research Institute for Symbolic Computation NERFINISHED ⓘ |
| affiliation | Johannes Kepler University Linz NERFINISHED ⓘ |
| basedIn | Softwarepark Hagenberg NERFINISHED ⓘ |
| campus | Softwarepark Hagenberg NERFINISHED ⓘ |
| collaboratesWith | Johannes Kepler University Linz NERFINISHED ⓘ |
| country | Austria ⓘ |
| field |
computer algebra
ⓘ
computer science ⓘ mathematics ⓘ symbolic computation ⓘ |
| focus |
computer algebra algorithms
ⓘ
software for symbolic computation ⓘ theory and applications of symbolic computation ⓘ |
| foundedBy | Bruno Buchberger NERFINISHED ⓘ |
| founder | Bruno Buchberger NERFINISHED ⓘ |
| hasSubdivision |
Algebraic Methods in Symbolic Computation group
NERFINISHED
ⓘ
Algorithmic Combinatorics group NERFINISHED ⓘ Formal Methods group NERFINISHED ⓘ Symbolic Computation group NERFINISHED ⓘ |
| hostedBy | Johannes Kepler University Linz NERFINISHED ⓘ |
| knownFor |
algorithmic combinatorics research
ⓘ
development of computer algebra systems ⓘ research in Gröbner bases ⓘ symbolic integration ⓘ symbolic summation ⓘ |
| language |
English
ⓘ
German ⓘ |
| locatedIn |
Austria
ⓘ
Hagenberg im Mühlkreis NERFINISHED ⓘ Upper Austria NERFINISHED ⓘ |
| name | Research Institute for Symbolic Computation NERFINISHED ⓘ |
| notableResearcher | Bruno Buchberger NERFINISHED ⓘ |
| offers |
doctoral education in computer science
ⓘ
doctoral education in mathematics ⓘ |
| region | Europe ⓘ |
| shortName | RISC NERFINISHED ⓘ |
| specializesIn |
algebraic methods in computer science
ⓘ
algorithmic combinatorics ⓘ automated reasoning ⓘ computer algebra ⓘ discrete mathematics ⓘ formal methods ⓘ symbolic computation ⓘ theoretical computer science ⓘ |
| website | https://www.risc.jku.at/ ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.