J’ai toujours imaginé que l’adjectif était nécessaire
parce qu’il y avait sous un bureau quelque part, un
« petit collisionneur de hadrons », peut-être à pédales.
logiciel
typographie
fge
une police de caractères pour le
Grundgesetze der Arithmetik de Frege
bguq
un symbole quantificateur amélioré pour Begriffsschrift
numérique
mvpoly
une bibliothèque pour les calculs numériques avec les
polynômes multivariés
stečkin
algorithmes d'optimisation globale basée sur un lemme de
S. B. Stečkin
lcrp
la constante de Lipschitz de la projection radiale sur
$\ell_p(\mathbb{R})$ et $L^p[0,1]$