Algorithmic Algebraic Combinatorics and Gröbner Bases -

. .

Résumé :
In 2006 a special semester on Gr? obner bases and related methods was or- nized by RICAM and RISC, directed by Bruno Buchberger and Heinz Engl. The main focus of the semester were the development of the formal theory of Gr? obner bases (brie?y GB), the e?cient implementation of all algorithms related to this theory, and the promotion of recent and new applications of GB. The workshop D1 Gr? obner bases in cryptography, coding theory and - gebraic combinatorics, Linz, May 1-6, 2006 (chairmen M. Klin, L. Perret, M. Sala) was one of the main ingredients of the semester. The last two days of this workshop, devoted to combinatorics, made it possible to bring together experts in algorithmic problems related to coherent con?gurations and as- ciation schemes with a community of people working in the area of GB. Each side was interested in understanding the computational problems and current algorithmicpossibilitiesoftheother,withaparticularobjectiveofintroducing the practical use of GB in algebraic combinatorics. Materials (mainly slides of lectures and posters) available from the site http://www.ricam.oeaw.ac.at/specsem/srs/groeb/schedule D1.htmlprovidea helpful and vivid picture of the successful exchange of scienti?c information during the workshop D1. Asafollow-uptothespecialsemester,10volumesofproceedingsarebeing published by di?erent publishers. The current collection of papers re?ects diverse investigations in the area of algebraic combinatorics (with or without explicit use of GB), but with a de?nite emphasis on algorithmic approaches.

Biographie:
Mikhail Klin graduated from Kiev State University. He has taught future engineers, chemists, teachers of mathematics, and programmers in Ukraine and Russia, serving as a Senior Research Associate in the USSR Academy of Sciences N.D.Zelinskii Institute of Organic Chemistry. Since 1992 he has lived in Israel, visiting universities in the USA, Germany and Fiji. He works in areas of algebraic combinatorics, computer algebra and permutation group theory, and is coauthor of a textbook and co-editor of several collections of papers. Gareth Jones graduated from Oxford University, and has spent his career at Southampton University where he is a professor of mathematics. He is co-author of three textbooks, and has published over 60 papers, mainly on group theory and its applications to combinatorics, Galois theory, topology, physics and chemistry. Aleksandar Jurisic received Ph.D. from the University of Waterloo in '95 in the field of algebraic combinatorics. He teaches mathematics, cryptography and computer security at the Faculty of Computer and Informatic Science, the University of Ljubljana. His main research interests are discrete mathematics and geometry. In 2005 he co-founded the Slovenian Society of Cryptology. Mikhail Muzychuk got his Ph.D. from Kiev State University in 1988. In 1991 he moved to Israel. Since then he has been teaching mathematical courses for students of different specialities. Nowadays he is a professor at Netanya Academic College. His main research areas are algebraic combinatorics and group theory. He had published 60 papers in these areas and edited two collections of papers. Ilya Ponomarenko graduated from the St.Petersburg (Leningrad) State University in 1979 with a degree in Operations Research. After working for 11 years as a programmer, he worked as a researcher (now leading researcher) in the V.A.Steklov Institute of Mathematics at St.Petersburg, Russian Academy of Sciences, Laboratory of Representation Theory and Computational Methods. In 1986 he obtained his PhD, working on polynomial-time isomorphism testing for graphs, and in 2006 his Dr.Sci., on automorphism groups of association schemes. He is interested in algebraic combinatorics (coherent configurations and permutation groups) and computational complexity (especially the Graph Isomorphism Problem). He has over 50 papers published in refereed mathematical journals.

Sommaire:
Tutorials.- Loops, Latin Squares and Strongly Regular Graphs: An Algorithmic Approach via?Algebraic Combinatorics.- Siamese Combinatorial Objects via Computer Algebra Experimentation.- Using Gr?bner Bases to Investigate Flag Algebras and Association Scheme Fusion.- Enumerating Set Orbits.- The 2-dimensional Jacobian Conjecture: A?Computational Approach.- Research Papers.- Some Meeting Points of Gr?bner Bases and?Combinatorics.- A Construction of Isomorphism Classes of?Oriented Matroids.- Algorithmic Approach to Non-symmetric 3-class Association Schemes.- Sets of Type (d 1,d 2) in Projective Hjelmslev Planes over Galois Rings.- A Construction of Designs from PSL(2,q) and?PGL(2,q), q=1 mod 6, on q+2 Points.- Approaching Some Problems in Finite Geometry Through Algebraic Geometry.- Computer Aided Investigation of Total Graph Coherent Configurations for Two Infinite Families of Classical Strongly Regular Graphs.