Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Research Institute for Symbolic Computation

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
We study anti-unification for unranked terms and hedges that may contain term and hedge variables. The anti-unification problem… Expand
Is this relevant?
2009
2009
We propose linear systems of hedge language equations as a formalism to represent regular hedge languages. This formalism is… Expand
Is this relevant?
Review
2007
Review
2007
The Cloud is often referred to as the next big thing in distributed computing. Cloud providers offer different kinds and… Expand
  • figure 6
Is this relevant?
2001
2001
We describe tools available and planned in the Theorema system for supporting the key issues of mathematical knowledge management… Expand
Is this relevant?
2001
2001
Mathematica is a modern and powerful computer algebra system offering all types of computational facilities (symbolic, numerical… Expand
Is this relevant?
Review
2000
Review
2000
Automated theorem proving is a well established subject in computer science. The advances made in the algorithmic techniques for… Expand
Is this relevant?
1998
Highly Cited
1997
Highly Cited
1997
 
Is this relevant?
1996
1996
This invention relates to a novel method for the treatment of parasitic diseases and the compositions used in said treatment… Expand
Is this relevant?
1995
1995
TMn Qu6’c Nam * Research Institute for Symbolic Computation RISC-Linz, Johannes Kepler University A–4040, Linz, Austria tqnam… Expand
  • figure 1
  • figure 2
Is this relevant?