|
|
back
|
October 31, November 7 and 14 - Manuel Delgado
|
O GAP (Groups, Algorithms and Programming) é um sistema computacional
com origem em meados dos anos 80 em Aachen, Alemanha. Embora
originalmente concebido para trabalhar com grupos, rapidamente conheceu
desenvolvimentos em diversas outras direcções. Em finais dos anos 90, o
seu centro de coordenação foi transferido para St Andrews, Escócia,
tendo sido, nessa altura, completamente redesenhado. Surgiu então o GAP
4. Actualmente, com o aparecimento da versão 4.5 no horizonte, a
coordenação do GAP está dividida por 4 centros: Aachen e St Andrews, já
referidos, Fort Collins (USA) e Braunschweig (Alemanha). Além da
coordenação, há a referir o desenvolvimento do sistema que conta com
colaborações que vêm do mundo inteiro. O Centro de Matemática da
Universidade do Porto, por meio de M. Delgado e J. Morais, tem
contribuído significativamente ao promover o desenvolvimento de
pacotes: - "automata", dedicado aos autómatos finitos (com a
colaboração de S. Linton); - "numericalsgps", dedicado aos semigrupos
numéricos (com a colaboração de P. A. García Sánchez); - "sgpviz",
dedicado à "visualização" de semigrupos finitos. O objectivo principal
do "sgpviz" é tornar amigável a utilização do GAP quando se pretende
trabalhar com semigrupos finitos. Depois de uma introdução genérica ao
GAP, darei uma ideia de como o tenho usado na minha investigação na
área de semigrupos finitos. O mini-curso terá então uma forte
componente prática, para a qual se contará com a colaboração de José
João Morais. Serão tratados alguns exemplos e propostos exercícios
simples, os quais deverão ajudar a criar/consolidar na audiência alguma
ideia sobre as potencialidades do GAP. Os participantes serão nessa
altura convidados a propor e explorar exemplos. Nesse processo contarão
quer com a minha colaboração quer com a de J. Morais. |
back |
|
|