# Research Institute for Symbolic Computation
**Wikidata**: [Q874389](https://www.wikidata.org/wiki/Q874389)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Research_Institute_for_Symbolic_Computation)  
**Source**: https://4ort.xyz/entity/research-institute-for-symbolic-computation

## Summary
The Research Institute for Symbolic Computation (RISC Linz) is an Austrian research institute founded in 1987, affiliated with Johannes Kepler University Linz, specializing in computer science with a focus on symbolic computation. It develops algorithms and software for mathematical expression manipulation, serving as a leading center in this niche field.

## Key Facts
- Founded in 1987 in Austria.
- Parent organization: Johannes Kepler University Linz.
- Field of work: computer science.
- Official alias: RISC Linz.
- Website: https://risc.jku.at/ (in English).
- Instance of: research institute.
- Freebase ID: /m/04gplhd.
- Wikipedia title: Research Institute for Symbolic Computation.
- Oesterreichwiki ID: 12523.
- Affiliated researcher: Werner Johannes Krandick (mathematician, computer scientist; born 1959-11-19; Ph.D., The Ohio State University, 1992).

## FAQs
### Q: What is the Research Institute for Symbolic Computation?
A: It is an Austrian research institute founded in 1987, affiliated with Johannes Kepler University Linz, specializing in computer science with a focus on symbolic computation.

### Q: When was the Research Institute for Symbolic Computation established?
A: It was established in 1987.

### Q: What is the primary research focus of the institute?
A: The institute specializes in computer science, particularly symbolic computation, which involves algorithmic manipulation of mathematical expressions and symbolic data.

### Q: Who is a notable affiliated researcher?
A: Werner Johannes Krandick, a mathematician and computer scientist born in 1959, is affiliated with the institute and earned his Ph.D. from The Ohio State University in 1992.

### Q: What is the institute's relationship to Johannes Kepler University Linz?
A: It is a parent organization of the institute, providing institutional support and affiliation.

## Why It Matters
The Research Institute for Symbolic Computation advances computational mathematics by developing algorithms for symbolic manipulation, enabling breakthroughs in automated theorem proving, computer algebra, and artificial intelligence. Its work underpins critical applications in engineering, physics, and cryptography, where exact symbolic solutions are essential. As a specialized center in Austria, it bridges theoretical computer science and practical problem-solving, influencing global research standards and fostering innovation in mathematical software. Its long-standing affiliation with Johannes Kepler University Linz ensures sustained academic rigor and industry relevance.

## Notable For
- Pioneering research in symbolic computation since 1987, a niche field within computer science.
- Development of specialized algorithms for mathematical expression manipulation, distinct from numerical methods.
- Affiliation with Werner Johannes Krandick, a researcher with expertise in both mathematics and computer science.
- Continuous operation under Johannes Kepler University Linz for over 35 years, demonstrating institutional stability.
- Digital presence through its English-language website and Wikipedia entry, ensuring global accessibility.

## Body
### Overview
The Research Institute for Symbolic Computation (RISC Linz) is an Austrian research institute established in 1987. It operates under the parent organization Johannes Kepler University Linz and focuses exclusively on computer science, with emphasis on symbolic computation.

### Affiliation and Structure
- Parent organization: Johannes Kepler University Linz (since inception).
- Instance of: research institute.
- Field of work: computer science.
- Alias: RISC Linz.

### Research Focus
- Specializes in symbolic computation, involving algorithmic manipulation of mathematical expressions and symbolic data.
- Develops software and methodologies for automated reasoning and computer algebra systems.

### Key Personnel
- Werner Johannes Krandick is affiliated as a researcher.
  - Born: 1959-11-19.
  - Occupations: university teacher, mathematician, computer scientist.
  - Education: Ph.D., The Ohio State University, 1992.

### Digital Presence
- Website: https://risc.jku.at/ (in English).
- Wikipedia entry exists in English under the title "Research Institute for Symbolic Computation".
- Oesterreichwiki ID: 12523.
- Freebase ID: /m/04gplhd.
- Microsoft Academic ID (discontinued): 52924058.

### Historical Context
- Founded in 1987.
- Maintains continuous affiliation with Johannes Kepler University Linz.

## References

1. [Source](https://risc.jku.at/)