.:. Consultation > Par domaines > Théorie des groupes .:.

24 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

1 - 2 - 3

A Machine-Checked Proof of the Odd Order Theorem Gonthier G., Asperti A., Avigad J., Bertot Y., Cohen C., Garillot F., Le Roux S., Mahboubi A., O'Connor R., Ould Biha S. et al [hal-00816699 - version 1]

Torsors and ternary Moufang loops arising in projective geometry Bertram W., Kinyon M. [hal-00706771 - version 1]

Exponential Barycenters of the Canonical Cartan Connection and Invariant Means on Lie Groups Pennec X., Arsigny V. Dans Matrix Information Geometry, Springer (Ed.) (2012) [hal-00699361 - version 1]

Groupes de Kac-Moody déployés sur un corps local, II Masures ordonnées Rousseau G. (29/02/2012) [hal-00512853 - version 2]

Almost split Kac-Moody groups over ultrametric fields Rousseau G. (28/02/2012) [hal-00674912 - version 1]

The projective geometry of a group Bertram W. [hal-00664200 - version 1]

MIX is a 2-MCFL and the word problem in $\mathbb(Z)^2$ is solved by a third-order collapsible pushdown automaton Salvati S. (2011) [inria-00564552 - version 1]

A low-memory algorithm for finding short product representations in finite groups Bisson G., Sutherland A. V. Designs, Codes and Cryptography (2011) [inria-00560256 - version 1]

Masures affines Rousseau G. Pure and Applied Mathematics Quarterly 7, 3 (2011) 859-921 [hal-00333401 - version 1]

Structures immobilières pour un groupe de Kac-Moody sur un corps local Charignon C. (22/03/2010) [hal-00438095 - version 3]