KANT Based at the Technische Universität, Berlin. Producers of KANT/KASH, a computer algebra system for sophisticated computations in algebraic number fields. http://www.math.tu-berlin.de/algebra/ Tu-berlin.de~Site InfoWhoisTrace RouteRBL Check
Research Institute for Symbolic Computation (RISC-Linz) An institute of the Johannes Kepler University in Linz, Austria, founded in 1987 by Prof. Bruno Buchberger. Research focuses on the interaction and integration of mathematics and computer science. Site has project descriptions, publications, courses an http://www.risc.uni-linz.ac.at/ Uni-linz.ac.at~Site InfoWhoisTrace RouteRBL Check
Imai Laboratory Department of Information Science, the University of Tokyo. Research projects include Computational Algebra and Geometry. Details of members' research and publications. http://naomi.is.s.u-tokyo.ac.jp/ U-tokyo.ac.jp~Site InfoWhoisTrace RouteRBL Check
Computer Algebra Group Part of the Centre for Experimental and Constructive Mathematics (CECM), Simon Fraser University, BC, Canada. Details of members, projects, meetings and publications. http://www.cecm.sfu.ca/CAG/ Sfu.ca~Site InfoWhoisTrace RouteRBL Check
Department of Optimization Konrad-Zuse-Zentrum für Informationstechnik, Berlin, Germany. The main area of research and development is algorithmic discrete mathematics. Details of publications and meetings. http://www.zib.de/Optimization/index.en.html Zib.de~Site InfoWhoisTrace RouteRBL Check
Centre for Computer Algebra A scientific institution of the departments of Mathematics , Computer Science , and Electrical Engineering at the University of Kaiserslautern. The goal of the centre is to advance and to support the use of Computer Algebra in industry, researc http://www.mathematik.uni-kl.de/~zca/Welcome.html Uni-kl.de~Site InfoWhoisTrace RouteRBL Check