Research Institute for Symbolic Computation

The Research Institute for Symbolic Computation (RISC Linz) is a leading research institute in the area of symbolic computation, including automated… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1989-2016
012319892016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2009
Review
2009
The Cloud is often referred to as the next big thing in distributed computing. Cloud providers offer different kinds and… (More)
  • figure 4
  • figure 3
  • figure 3
  • figure 4
  • table 1
Is this relevant?
2008
2008
Rewriting induction (Reddy, 1990) is an automated proof method for inductive theorems of term rewriting systems. Reasoning by the… (More)
  • table 1
  • figure 4
  • figure 7
  • figure 8
  • figure 7
Is this relevant?
2007
2007
1 Summary We propose to concentrate on investigations of technology in support of advanced scientiic computation, based on a… (More)
Is this relevant?
2007
2007
This project paper describes the Joint Research Activity (JRA) of the EU Framework VI SCIEnce project, aimed at providing generic… (More)
  • figure 1
Is this relevant?
2006
2006
1 Summary We propose to concentrate on investigations of technology in support of advanced scientiic computation, based on a… (More)
Is this relevant?
Review
2005
Review
2005
While most of the Automated Reasoning systems (see e.g. [8]) are based on purely logical approaches, many researchers started… (More)
Is this relevant?
Review
1996
Review
1996
Since 1989, the author has tried to show that it is possible to put a complete semester-long course in machine-held form. Several… (More)
Is this relevant?
1995
1995
Acknowledgements I would like to thank my thesis advisor, Bruno Buchberger for introducing me to the subject of the connection… (More)
  • figure 2.3
Is this relevant?
1990
1990
 
Is this relevant?