Drexel dragonThe Math Forum

The Math Forum Internet Mathematics Library

Research Institute of Symbolic Computation (RISC-Linz)

Library Home || Full Table of Contents || Library Help

Visit this site: http://www.risc.uni-linz.ac.at/

Description: The Research Institute for Symbolic Computation, RISC, is an Austrian institute devoted to the field of symbolic computation. The site includes descriptions of various research areas, such as combinatorics, constraint solving, the theory of computation, applied and computational category theory, computational geometry, robotics, and symbolic programming, as well as lists of articles RISC has published in these fields. The site also includes information about combinatorics software programs that RISC has developed, including CASA, CFLP, DAJ, and Theorema, a program that assists with mathematical proof.

Levels: Research
Languages: English
Resource Types: Research Centers, Articles, Archives/Download Sites, Maple, Mathematica, General Software Miscellaneous, Web Interactive/Java
Math Topics: Combinatorics, Computational Geometry, Computer Science

[Privacy Policy] [Terms of Use]

Home || The Math Library || Quick Reference || Search || Help

© 1994- The Math Forum at NCTM. All rights reserved.