RISC RISC Research Institute for Symbolic Computation