Institute of Theoretical Computer Science | ETH Zurich Research at the Institute of Theoretical Computer Science (TI) covers the foundations of computation, including algorithms, complexity theory, and combinatorics.
| ISSAC - International Symposium on Symbolic and Algebraic Computation ISSAC is the premier conference for research in symbolic and algebraic computation, sponsored by ACM SIGSAM.
|
Maple - The Essential Tool for Mathematics | Maplesoft Maple is the ultimate productivity tool for solving mathematical problems and creating interactive technical applications.
| RISC - Research Institute for Symbolic Computation RISC is an institute in the School of Engineering and Science (TNF) at the Johannes Kepler University (JKU) Linz, Austria.
|
Home 
Atrás 
Arriba
