RISC
E846881
RISC is an Austrian research institute specializing in symbolic computation, computer algebra, and related areas of mathematics and computer science.
All labels observed (1)
| Label | Occurrences |
|---|---|
| RISC canonical | 2 |
How this entity was disambiguated
This entity first appeared as the object of triple T10197141 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: RISC Context triple: [Research Institute for Symbolic Computation, shortName, RISC]
-
A.
RISC architecture
RISC architecture is a CPU design philosophy that uses a small, highly optimized set of simple instructions to achieve high performance and efficiency.
-
B.
RISC I
RISC I is an early experimental reduced instruction set computer (RISC) processor design developed at UC Berkeley that helped pioneer and popularize the RISC architecture approach.
-
C.
MIPS
MIPS is a RISC (Reduced Instruction Set Computer) processor architecture widely used in embedded systems, networking equipment, and academic settings.
-
D.
CISC
CISC is an Organization of American States body that coordinates the management of Inter-American summits and promotes civil society participation in those processes.
-
E.
CISC
CISC (Complex Instruction Set Computer) is a type of computer architecture characterized by a large, rich set of instructions that can execute complex operations in a single command, often used to enhance code density and ease of programming.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: RISC Target entity description: RISC is an Austrian research institute specializing in symbolic computation, computer algebra, and related areas of mathematics and computer science.
-
A.
RISC architecture
RISC architecture is a CPU design philosophy that uses a small, highly optimized set of simple instructions to achieve high performance and efficiency.
-
B.
RISC I
RISC I is an early experimental reduced instruction set computer (RISC) processor design developed at UC Berkeley that helped pioneer and popularize the RISC architecture approach.
-
C.
MIPS
MIPS is a RISC (Reduced Instruction Set Computer) processor architecture widely used in embedded systems, networking equipment, and academic settings.
-
D.
CISC
CISC is an Organization of American States body that coordinates the management of Inter-American summits and promotes civil society participation in those processes.
-
E.
CISC
CISC (Complex Instruction Set Computer) is a type of computer architecture characterized by a large, rich set of instructions that can execute complex operations in a single command, often used to enhance code density and ease of programming.
- F. None of above. chosen
Statements (48)
| Predicate | Object |
|---|---|
| instanceOf |
computer science research institute
ⓘ
mathematical research institute ⓘ research institute ⓘ |
| abbreviationOf | Research Institute for Symbolic Computation ⓘ |
| affiliation | Johannes Kepler University Linz ⓘ |
| basedIn |
Softwarepark Hagenberg
ⓘ
linked to:
Hagenberg Software Park
|
| campus |
Softwarepark Hagenberg
ⓘ
linked to:
Hagenberg Software Park
|
| collaboratesWith | Johannes Kepler University Linz ⓘ |
| 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 ⓘ |
| founder | Bruno Buchberger ⓘ |
| hasSubdivision |
Algebraic Methods in Symbolic Computation group
ⓘ
linked to:
Research Institute for Symbolic Computation
Algorithmic Combinatorics group ⓘ
linked to:
Algorithms and Complexity Department
Formal Methods group ⓘ Symbolic Computation group ⓘ
linked to:
Research Institute for Symbolic Computation
|
| hostedBy | Johannes Kepler University Linz ⓘ |
| 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 ⓘ
linked to:
Hagenberg
Upper Austria ⓘ |
| name | Research Institute for Symbolic Computation ⓘ |
| notableResearcher | Bruno Buchberger ⓘ |
| offers |
doctoral education in computer science
ⓘ
doctoral education in mathematics ⓘ |
| region | Europe ⓘ |
| shortName | RISC ⓘ |
| 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/ ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: RISC Description of subject: RISC is an Austrian research institute specializing in symbolic computation, computer algebra, and related areas of mathematics and computer science.
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.