Research Institute of Symbolic Computation (RISC-Linz)
Library Home || Full Table of Contents || Library Help
|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.|
|Resource Types:||Research Centers, Articles, Archives/Download Sites, Maple, Mathematica, General Software Miscellaneous, Web Interactive/Java|
|Math Topics:||Combinatorics, Computational Geometry, Computer Science|
© 1994- The Math Forum at NCTM. All rights reserved.