Drexel dragonThe Math ForumDonate to the Math Forum

The Math Forum Internet Mathematics Library

Research Institute of Symbolic Computation (RISC-Linz)

_____________________________________
Library Home || Full Table of Contents || Suggest a Link || Library Help
_____________________________________

Visit this site: http://www.risc.uni-linz.ac.at/
Author:
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-2013 Drexel University. All rights reserved.
http://mathforum.org/
 The Math Forum is a research and educational enterprise of the Goodwin College of Professional Studies.The Math Forum is a research and educational enterprise of the Drexel University School of Education.