Web Directory

» Algorithmic Algebra and Number Theory
   Computer Algebra research group of the IWR, Heidelberg. People, research, teaching, activities, software and links.
   http://www.iwr.uni-heidelberg.de/groups/compalg/

» Anthony C. Hearn
   Resident consultant at RAND; research work includes symbolic and algebraic computation (especially REDUCE), scientific software, digital publication and computer networks.
   http://www.rand.org/about/contacts/personal/hearn/

» 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, research, and teac
   http://www.mathematik.uni-kl.de/~zca/Welcome.html

» Centre for Interdisciplinary Research in Computational Algebra
   University of St Andrews. Coordinates the international efforts to develop maintain and promote the GAP (groups, algorithms and programming) software package. People, project, meetings, reports, theses, library and teaching material.
   http://turnbull.mcs.st-and.ac.uk/CIRCA/

» Computational Algebra Group
   Producers of MAGMA. Based at the University of Sydney, Australia.
   http://www.maths.usyd.edu.au/res/CompAlg.html

» 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/

» Computer Algebra Research Group (CARGO)
   Department of Physics and Computer Science of Wilfrid Laurier University, Waterloo, Ontario, Canada. Research interests include Gröbner Bases, Implicitization on Polynomial Curves and Surfaces, Enumerating Regular Mixed-Cell Configurations, Symmetric Pol
   http://www.cargo.wlu.ca/

» 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

» Groups, Algorithms and Programming
   Group at the University of St. Andrews developing GAP, a free system for computational discrete algebra.
   http://www-gap.dcs.st-and.ac.uk/

» Hungarian Academy of Sciences
   Department of Computer Algebra. Members, research projects and computer algebra resources. Site in Hungarian and English.
   http://compalg.inf.elte.hu/

» 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/

» 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/

» LiDIA Group
   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.
   http://www.cdc.informatik.tu-darmstadt.de/TI/LiDIA/

» Ontario Research Centre for Computer Algebra (ORCCA)
   University of Western Ontario and University of Waterloo. Carries out fundamental research in and development of mathematical software. Details of research project, members and meetings.
   http://www.orcca.on.ca/

» Programming and Symbolic Computation Team
   Department of Mathematics and Computer Science, University of La Rioja, Logroño, Spain. Research has been focused on the design, specification and construction of symbolic computation systems for Algebraic Topology.
   http://www.unirioja.es/dptos/dmc/psycotrip

» 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 and s
   http://www.risc.uni-linz.ac.at/

» Symbolic Computation Group
   University of Waterloo, Canada. Covers both symbolic computation and hybrid symbolic-numeric computation.
   http://www.scg.uwaterloo.ca/

» Ukrainian GAP User Group
   English and Russian language resources on GAP. The LAGUNA package extends GAP for computations in group rings.
   http://ukrgap.exponenta.ru/index.htm