Система компьютерной алгебры GAP - Computational Algebra at the NUI, Galway
Добрый день!
Высылаю информацию о передовом опыте в преподавании компьютерной алгебры.
С уважением,
Коновалов А.Б.
National University of Ireland, Galway
Mathematics Master's Programme in Applied Computational Algebra
The School of Mathematics, Statistics and Applied Mathematics is offering a one-year master's programme in Applied Computational Algebra, starting September 2008.
It is designed for students with a BA or BSc in Mathematics (or a closely related field) who want to pursue advanced topics in discrete mathematics underlying modern computer algebra systems and applications. The programme will give a solid foundation for research in computational aspects of Mathematics, Biosciences and Engineering. This master's programme is one of the activities of the de Brun Centre for Computational Algebra which has just been established at NUI Galway with support from Science Foundation Ireland. Other activities of the Centre in 2008-2009 include three graduate level workshops with courses by Gunnar Carlsson (Stanford), Gerhard Hiss (Aachen), John McKay (Concordia), Mike Stillman (Cornell), Bernd Sturmfels (Berkeley) and others.
Master's students will be expected to attend a number of these courses. In 2009 NUI Galway will also host the British Mathematics Colloquium where computational algebra is a designated theme. Course
description Computational algebra is an area of symbolic computation concerned with the design, analysis and practical implementation of algorithms for investigating mathematical problems endowed with rich algebraic structure. Algorithms in computational algebra manipulate mathematical expressions in symbolic form, as opposed to manipulating the approximations of specific numerical quantities represented by those symbols. Computational algebra is increasingly being used as
a tool to tackle problems in engineering, molecular biology, statistics and mathematics itself. In Semester I students will take eight 12-lecture courses:
Introduction to computational commutative algebra (+ CoCoA labs).
Introduction to computational number theory (+ PARI/GP labs).
Introduction to computational geometry (+ Polymake labs).
Introduction to computational group theory (+ GAP labs).
Algebraic statistics for computational biology.
Topological
Data Analysis.
Formal theory of differential equations.
Computational molecular biology.
Students will sit a qualifying examination at the end of Semester I, and those who perform satisfactorily will prepare a research thesis for submission in August 2009. (There is also the possibility for students to apply to have their thesis converted into a 3-year PhD thesis.) Funding opportunities The de Brun Centre has SFI funding for a limited number of students (though
preference will be given to those aiming for a PhD thesis). Students can also apply to the IRCSET postgraduate research scheme (2008 second call).