Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2013
Review
2013
This is an overview over standard techniques for holonomic functions, written for readers who are new to the subject. We state… 
Review
2012
Review
2012
We review our algebraic framework for linear boundary problems (concentrating on ordinary differential equations). Its starting… 
2011
2011
We study anti-unification for unranked terms and hedges that may contain term and hedge variables. The anti-unification problem… 
2007
2007
Generalization problems arise in many areas of software science: code clone detection, program reuse, partial evaluation, program… 
2001
2001
We describe tools available and planned in the Theorema system for supporting the key issues of mathematical knowledge management… 
1996
1996
The ultimate aim of thia work is to find a semantics for reasoning about actions and change in cooperating agent scenarios based… 
1992
1992
This paper describes the runtime kernel of paclib, a new system for parallel algebraic computation on shared memory computers…