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/
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.informatik.tu-darmstadt.de/TI/LiDIA/
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/
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://orcca.on.ca/
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
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/
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 Poly http://www.cargo.wlu.ca/
Add URL
My Sites
My Account
Contact Us