University of Waterloo, Canada. Covers both symbolic computation and hybrid symbolic-numeric computation.

Based at the Darmstadt University of Technology, Germany. LiDIA is a C++ library for computational number theory which provides a collection of highly optimized implementations of various multiprecision data types and time-intensive algorithms.

Konrad-Zuse-Zentrum für Informationstechnik, Berlin, Germany. The main area of research and development is algorithmic discrete mathematics. Details of publications and meetings.

Part of the Centre for Experimental and Constructive Mathematics (CECM), Simon Fraser University, BC, Canada. Details of members, projects, meetings and publications.

Department of Information Science, the University of Tokyo. Research projects include Computational Algebra and Geometry. Details of members' research and publications.

Computer Algebra research group of the IWR, Heidelberg. People, research, teaching, activities, software and links.

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, research, and ...

Department of Computer Algebra. Members, research projects and computer algebra resources. Site in Hungarian and English.

English and Russian language resources on GAP. The LAGUNA package extends GAP for computations in group rings.

Resident consultant at RAND; research work includes symbolic and algebraic computation (especially REDUCE), scientific software, digital publication and computer networks.