Continuum mathématique des ENS

                                        Hwî lum cynniges þegn
guma gilphlæden,        gidda genyndig,
sê ðe ealfela        ealdgesegena
worn gemunde,        word ôþer fand
sô ðe gebunden·        secg eft ongan
sîð Bêowulfes         snyttrum styrian
ond on spêd wrecan        spel gerâde
wordum wrixlan

Beowulf, v. 866-874


Éditorial

        Hubris entre dans sa troisième année d'existence, et voici le quatrième numéro de ce qui devait, à l'origine, être un trimestriel... L'ardeur et la persévérence de ses responsables n'ont pas faibli pour autant ; le nombre croissant de lecteurs nous indique que ce projet a tout son avenir devant lui.

        Le lecteur découvrira dans le présent numéro, des exposés clairs de la façon dont les recettes de calcul peuvent être décrites rigoureusement sous forme d'algorithmes et comment la notion de calcul peut elle-même être mécanisée.

        Enfin, nous profitons de l'occasion pour souhaiter une bonne année à nos lecteurs.

La rédaction.
 

Sommaire

Bases de Gröbner    (Vincent Zoonekynd)

Lambda calcul    (Alexandre Boisseau)

Petits problèmes    (Nicolas Markey)

Livres    (Vincent Zoonekynd)


Vous pouvez récupérer la version intégrale au format PostScript :

Hubris - Numéro 3


Le comité de rédaction attend vos articles

Bill d'Allombert
Jean-David Dahan
Gabriel Dos Reis
Nicolas Markey
Fabrice Noilhan
Vincent Zoonekynd