Comment implémenter les bases de Gröbner pour les opérades
Implementing Gröbner bases for Operads
Séminaires et Congrès | 2013
Anglais
Nous décrivons comment implémenter l'algorithme, dû au premier auteur et à A. Khoroshkin, qui calcule les bases de Gröbner pour les opérades. Nous étudions les algorithmes actuels, les choix effectués pour les plateformes d'implémentation et pour la représentation des données. Nous discutons aussi des forces et des faiblesses de notre approche.
Algorithme de Buchberger, bases de Gröbner, Haskell.