Pages les plus modifiées
Afficher ci-dessous jusqu’à 50 résultats dans la série #101 à #150.
Voir (50 précédentes | 50 suivantes) (20 | 50 | 100 | 250 | 500).
- 923 -- Analyses lexicale et syntaxique : applications. (11 versions)
- 901 -- Structures de données : exemples et applications. (11 versions)
- Théorème de Hahn-Banach (11 versions)
- 917 -- Logique du premier ordre : syntaxe et sémantique. (10 versions)
- 263 -- Variables aléatoires à densité. Exemples et applications. (10 versions)
- Productions 4A (10 versions)
- 222 -- Exemples d'équations aux dérivées partielles linéaires. (10 versions)
- 244 -- Fonctions développables en série entière, fonctions analytiques. Exemples. (10 versions)
- Comportement des nombres premiers dans un corps de nombre (10 versions)
- 903 -- Exemples d’algorithmes de tri. Complexité. (10 versions)
- 140 -- Corps des fractions rationnelles à une indéterminée sur un corps commutatif. Applications. (9 versions)
- 180 -- Coniques. Applications. (9 versions)
- Loi de réciprocité quadratique (9 versions)
- 217 -- Sous-variétés de Rn. Exemples. (9 versions)
- 254 -- Espaces de Schwartz S(R^d) et distributions tempérées. Transformation de Fourier dans S(R^d) et S'(R^d). (9 versions)
- 910 -- Langages algébriques. Exemples et applications. (9 versions)
- 921 -- Algorithmes de recherche et structures de données associées. (9 versions)
- 191 -- Exemples d'utilisation des techniques d'algèbre en géométrie. (9 versions)
- 915 -- Classes de complexité : exemples. (9 versions)
- Problème de séparation par automate (9 versions)
- Lemme de Morse (9 versions)
- 906 -- Programmation dynamique : exemples et applications. (8 versions)
- Borne de Bézout (8 versions)
- Sous-groupes compacts de GL n (8 versions)
- 918 -- Systèmes formels de preuve en logique du premier ordre : exemples. (8 versions)
- Ellipse de Steiner (8 versions)
- 920 -- Réécriture et formes normales. Exemples. (8 versions)
- 110 -- Caractères d'un groupe abélien fini et transformée de Fourier discrète. Applications. (8 versions)
- 265 -- Exemples d'études et d'applications de fonctions usuelles et spéciales. (8 versions)
- Guide de rangement (8 versions)
- 142 -- PGCD et PPCM, algorithmes de calcul. Applications. (8 versions)
- 110 -- Structure et dualité des groupes abéliens finis. Applications. (8 versions)
- 232 -- Méthodes d'approximation des solutions d'une équation F(X)=0. Exemples. (8 versions)
- 143 -- Résultant. Applications. (8 versions)
- 922 -- Ensembles récursifs, récursivement énumérables. Exemples. (8 versions)
- Formule d'inversion de Fourier (8 versions)
- 912 -- Fonctions récursives primitives et non primitives. Exemples. (8 versions)
- 913 -- Machines de Turing. Applications. (8 versions)
- 924 -- Théories et modèles en logique du premier ordre. Exemples. (8 versions)
- 925 -- Graphes : représentations et algorithmes. (8 versions)
- Lectures dirigées (8 versions)
- 926 -- Analyse des algorithmes : complexité. Exemples. (8 versions)
- 916 -- Formules du calcul propositionnel : représentation, formes normales, satisfiabilité. Applications. (8 versions)
- 928 -- Problèmes NP-complets : exemples de réductions. (7 versions)
- Nombre de matrices diagonalisables sur Fq (7 versions)
- 908 -- Automates Finis, exemples et applications (7 versions)
- Sous-groupes finis de SO(3) (7 versions)
- Théorème de Burnside (7 versions)
- Groupe circulaire (6 versions)
- 216 -- Étude métrique des courbes. Exemples. (6 versions)
Voir (50 précédentes | 50 suivantes) (20 | 50 | 100 | 250 | 500).
