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.
2012
2012
  • V. Pan
  • Theor. Comput. Sci.
  • 2012
  • Corpus ID: 205346161
We recall some bibliography on fast polynomial multiplication related to the recent progress in the paper by Cenk and Ozbudak of… Expand
2011
2011
We study anti-unification for unranked terms and hedges that may contain term and hedge variables. The anti-unification problem… Expand
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
2006
2006
This paper describes a semantic extension to the Mathematical Services Query Language (MSQL). MSQL is a language for querying… Expand
  • figure 1
2001
2001
We describe tools available and planned in the Theorema system for supporting the key issues of mathematical knowledge management… Expand
1997
1997
Geometric problems arise in many areas. Computer graphics, robotics, manufacturing, and geographic information systems are some… Expand
1996
1996
The ultimate aim of thia work is to find a semantics for reasoning about actions and change in cooperating agent scenarios based… Expand
1996
1996
Given a rational algebraic plane curve C in implicit representation we analyze the bit complexity of an algorithm to describe C… Expand
1989
1989
Abstract The concept of Complete Synthetic Strategy (CSS) is defined. A CSS differs from most strategies found in the literature… Expand