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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2016

We first extend the digital binomial identity as given by Nguyen et al. to an identity in an arbitrary base b, by introducing the…

2010

We present a case study in proof based constructive synthesis of sorting algorithms. Using a knowledge base containing the…

2009

The development of computer technology has brought forth a renaissance of algorithmic mathematics which gave rise to the creation…

2006

1 Summary We propose to concentrate on investigations of technology in support of advanced scientiic computation, based on a…

2001

We describe tools available and planned in the Theorema system for supporting the key issues of mathematical knowledge management…

2000

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…

1995

Simulation systems for NC machining that also provide an analysis and verification component are a powerful tool to detect errors…

1992

This paper describes the runtime kernel of paclib, a new system for parallel algebraic computation on shared memory computers…

1989