Contributions de l’utilisateur
(les plus récentes | les plus anciennes) Voir (20 plus récentes | 20 plus anciennes) (20 | 50 | 100 | 250 | 500).
- 23 mai 2012 à 20:28 (diff | hist) . . (+4) . . m Développements
- 23 mai 2012 à 20:28 (diff | hist) . . (+507) . . N Intégrale de Fresnel (Page créée avec « Où l'on calcule une intégrale, a.k.a « la foire à Fubini ». Recasement : * [[236 -- Illustrer par des exemples quelques méthodes de calculs d'intégrales de fonction… »)
- 23 mai 2012 à 20:24 (diff | hist) . . (+25) . . Développements
- 28 avril 2012 à 12:34 (diff | hist) . . (+51) . . Discussion:Bibliographie
- 24 avril 2012 à 18:55 (diff | hist) . . (+4) . . 909 -- Langages rationnels. Exemples et applications.
- 24 avril 2012 à 18:50 (diff | hist) . . (+376) . . N Théorème de Higman (Page créée avec « Les antichaînes sont finies. == Développement == *24px Théorème de Higman *[[Fichier:Pdf.png|alt=Tex|link=|… »)
- 24 avril 2012 à 18:50 (diff | hist) . . (0) . . N Fichier:Dvt higman.tex (actuel)
- 24 avril 2012 à 18:50 (diff | hist) . . (0) . . N Fichier:Dvt higman.pdf (actuel)
- 24 avril 2012 à 18:48 (diff | hist) . . (+27) . . Développements
- 18 avril 2012 à 10:42 (diff | hist) . . (+1) . . m Fonction d'Ackermann (Cori number 2)
- 17 avril 2012 à 17:39 (diff | hist) . . (+319) . . N Fonction d'Ackermann (Page créée avec « Où l'on montre sept lemmes intermédiaires. *24px Fonction d'Ackermann *[[Fichier:Pdf.png|alt=Tex|link=|24p… »)
- 17 avril 2012 à 17:38 (diff | hist) . . (0) . . N Fichier:Dvt ackermann.tex (actuel)
- 17 avril 2012 à 17:38 (diff | hist) . . (0) . . N Fichier:Dvt ackermann.pdf (actuel)
- 17 avril 2012 à 17:37 (diff | hist) . . (+27) . . Développements
- 17 avril 2012 à 17:31 (diff | hist) . . (+444) . . N Théorème de Rice (Page créée avec « Où l'on montre que toutes les propriétés non triviales sont indécidables. *24px Théorème de Rice *[[Fichier… »)
- 17 avril 2012 à 17:28 (diff | hist) . . (+25) . . Développements
- 17 avril 2012 à 17:28 (diff | hist) . . (0) . . N Fichier:Dvt rice.tex (actuel)
- 17 avril 2012 à 17:27 (diff | hist) . . (0) . . N Fichier:Dvt rice.pdf (actuel)
- 11 avril 2012 à 18:29 (diff | hist) . . (+223) . . Problème de séparation par automate
- 9 avril 2012 à 10:06 (diff | hist) . . (0) . . N Fichier:Dvt psa.tex (actuel)
(les plus récentes | les plus anciennes) Voir (20 plus récentes | 20 plus anciennes) (20 | 50 | 100 | 250 | 500).