Ph.D. thesis "Algorithms Computing Grobner Bases and Syzygies" (PDF). A computational introduction to Grobner Basis Theory and its applications: polynomials, Laurent polynomials, syzygies, inverse FIR filter and unimodular matrix completion.
Director, Centre for Interdisciplinary Research in Computational Algebra, University of St. Andrews. Leads the international consortium developing GAP. Publications, software.
University of St Andrews. Computational group theory, computational semigroup theory and algebra in general. Papers, seminars, teaching material and software.
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 a...
Based at the Technische Universität, Berlin. Producers of KANT/KASH, a computer algebra system for sophisticated computations in algebraic number fields.
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.
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.