Research Institute of Symbolic Computation (RISC-Linz)
Library Home || Full Table of Contents || Suggest a Link || 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- Drexel University. All rights reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.