Projet:Mathématiques/Articles par branches
Articles à développer[modifier | modifier le code]
À classer[modifier | modifier le code]
- Forme linéaire
- Interpolation
- Mathématiques récréatives
- Mathématisation de la physique
- Méthode des trapèzes
- Matrice unitaire
- Nombre complexe (mathématiques élémentaires)
- Nombre entier (mathématiques élémentaires)
- Oracle (machine de Turing)
- Propriété B
- Rang
- Représentation linéaire
- Trissectrice
- série harmonique
Articles sur des domaines généraux[modifier | modifier le code]
- Analyse p-adique
- Équation aux dérivées partielles
- Géométrie algébrique
- Géométrie différentielle
- Géométrie non commutative
- Géométrie projective, éventuellement à séparer en sous-articles moins volumineux.
- K-théorie
- Lemme (mathématiques)
- Raisonnement par induction
- Représentation des groupes
Articles sur des objets mathématiques[modifier | modifier le code]
- Algèbre de Lie
- Automorphisme de Frobenius
- Bloc de Jordan
- Bouteille de Klein
- caractéristique
- Cohomologie
- Extension algébrique
- Extension de Galois
- Géodésique
- Polynômes de Tchebychev
- Schéma
- Somme de Riemann
- Suite (mathématiques)
- Suite spectrale
- Transformée de Fourier
- Variété et Variété topologique
- Liste classée d'exemples de catégories (mathématiques)
Biographies[modifier | modifier le code]
- Bourbaki
- Henri Cartan
- Alain Connes
- Girard Desargues
- Joseph-Louis Lagrange
- Laurent Schwartz
- John Wallis
- Anatolii Alexevich Karatsuba
Théorèmes[modifier | modifier le code]
- Conjecture d'Artin sur les fonctions L
- Décomposition de Dunford
- Équation d'Einstein
- Théorème de convergence dominée
- Théorème d'Abel pour les séries
- Théorème des gendarmes
Articles à Nettoyer[modifier | modifier le code]
- Différentielle
- Espace projectif incompréhensible. En cours de réécritureMichelbailly.
- Limite (mathématiques) (confer la Discuter:Limite (mathématiques) pour voir les suggestions déjà faites et éventuellement proposer une alternative).
- Notation de Landau éventuellent à déplacer dans "Domination" ou "Prépondérance"...
- Singularité (il est vampirisé par le big bang)
- Mdr, il faudrait créer l'article Singularité (Mathématiques) plutôt. :-)) Oxyde 15 mai 2006 à 21:14 (CEST)
- C'est fait et j'ai fait la page d’homonymie. Anarkman 11 juin 2006 à 10:34 (CEST)
Articles à Fusionner[modifier | modifier le code]
- ...
États des articles sur l'algèbre ou algèbre générale[modifier | modifier le code]
Articles à remanier et à compléter[modifier | modifier le code]
- Formule du binôme de Newton (les plus ou moins partout... et manque d'exemples)
- binôme (mathématique) (les indéteminées n'ont pas la définition habituelle)
États des articles sur l'algèbre linéaire[modifier | modifier le code]
- Un modèle Algèbre linéaire est maintenant disponible.
Réorganisation[modifier | modifier le code]
Les articles relatifs à la diagonalisation nécessitent d'être réorganisés. Ils sont en effet sur le points de comporter plein de redondances... Je propose d'ouvrir une discussion sur la page Discuter:Application linéaire, afin de trouver une bonne structure, puis de réformer les articles.
Articles à créer[modifier | modifier le code]
- Endomorphisme linéaire ou endomorphisme (algèbre linéaire) mériterait peut-être un article autonome, ou à la limite un redirect vers [[Application linéaire]] à condition que la partie endomorphisme y soit nettement développée
- Espace vectoriel quotient
- Décomposition matricielle
- Valeur spectrale
Ébauches[modifier | modifier le code]
- Sous-espace caractéristique - définition
- Bloc de Jordan
- Décomposition de Dunford
- Forme linéaire
- Matrice unitaire
- Rang
- Interpolation
Articles à compléter[modifier | modifier le code]
- Algèbre linéaire - Point de vue historique à compléter
- Application linéaire - Manque la partie sur la représentation sous forme de matrice, et une meilleure formulation des exemples.
- Base (algèbre linéaire)
- Comatrice - A structurer
- Dimension - Manque la notion de codimension
- Espace dual - Manque les différentes propriétés de l'espace dual et la notion de base antédual
- Espace_vectoriel - Manque un point de vue historique
- Élimination de Gauss-Jordan
- Matrice (mathématiques) - Nombreuses lacunes
- Matrice de passage - les démonstrations
- Matrice diagonale - Manque des notions de diagonalisation
- Multiplication des matrices - Manque la multiplication Strassen
- Polynôme caractéristique - Manque des détails sur les polynômes minimaux
- Polynôme minimal
- Projecteur
- Projection (géométrie) dans l'état actuel, c'est un article d'infographie, pas de mathématique. Faut-il le fusionner avec projecteur?
- Règle de Cramer
- Rotation affine
- Théorème de la base incomplète
- Théorème de Cayley-Hamilton
- Valeur propre
- Vecteur propre
Articles complets[modifier | modifier le code]
États des articles sur l'analyse[modifier | modifier le code]
que pensez-vous de restructurer la catégorie analyse, en sous-catégories comme Analyse réelle, Analyse complexe (qui existe déjà celle*ci), éventuellement Analyse fonctionnelle, Analyse à plusieurs variables, etc.? --Rachitique 5 fev 2005 à 23:20 (CET) C'est fait --Rachitique 8 mai 2005 à 17:57 (CEST)
Articles à créer[modifier | modifier le code]
- Logarithme complexe : il y a déjà un article Logarithme naturel dans lequel le logarithme complexe est survolé.
- Fonction réglée : en donner une définition et quelques propriétés. (catégorie analyse réelle)
- Singularité apparente et Singularité essentielle: les définir, donner les théorèmes qui les caractérisent (Riemann, etc.) (catégorie analyse complexe)
Articles à compléter[modifier | modifier le code]
- Famille sommable
- Série entière
- Série de Fourier : on pourrait peut-être ajouter les théorèmes qui assurent la convergence d'une fonction vers sa Série de Fourier, les sommes de Fejer, préciser les séries de Fourier dans les espaces de Banach complexes,... fait en partie, n'hésitez pas venir ajouter votre grain de sel. Peps 22 février 2006 à 14:44 (CET)
- équivalent ajouter des exemples
- Formule de Stirling
États des articles sur l'analyse fonctionnelle[modifier | modifier le code]
- Un Modèle:Palette Analyse fonctionnelle existe.
Articles à créer[modifier | modifier le code]
- C-étoile-algèbre
- Espace de Hölder
- Espace Lp,
- Théorème d'Ascoli
- Théorème de Baire - Voir Espace de Baire
- Théorème de Banach-Alaoglu
- Théorème spectral
- Topologie faible
- Théorème de Riesz-Fischer à réécrire.
Note : de nombreux théorèmes sont déja présents dans wikipédia, mais dans d'autres articles, comme par exemple le théorème de Baire dans Espace de Baire. Est-il nécessaire de créer de nouveaux articles, où faut-il juste faire des redirections ?
Ébauches[modifier | modifier le code]
Articles à compléter[modifier | modifier le code]
- Base de Hilbert
- Analyse fonctionnelle - À structurer et manque de nombreux détails et points historiques.
- Espace de Banach
- Espace de Baire
- Espace vectoriel normé
- Norme - Donner des exemples de normes plutôt que d'espaces vectoriels normés, intégrer les images parlante de la version anglaise.
- Théorème de Hahn-Banach
États des articles sur la théorie de la mesure et intégration[modifier | modifier le code]
Articles à créer[modifier | modifier le code]
États des articles sur la topologie[modifier | modifier le code]
- Un Modèle:Topologie devrait être crée.
- le Glossaire topologique devrait être complété et réorganisé.
Articles à créer[modifier | modifier le code]
- Compactifié d'Alexandrov
- Compactifié de Stone-Čech
- Espace de Fresnel
- Espace d'Hausdorff
- Espace localement connexe par arcs
- Espace paracompact
- Espace topologique quotient
- Théorème de Tychonov
- Théorème de Heine-Borel
Articles à compléter[modifier | modifier le code]
à finir -> j'ai rajouté la démo, que manque-t-il d'autre ? --Thomasdeniau 1 mai 2005 à 14:12 (CEST)
États des articles sur la topologie algébrique[modifier | modifier le code]
Articles à compléter[modifier | modifier le code]
- Conjecture de Poincaré
- Homotopie - Introduire rapidement la notion de groupe fondamental
- Je pense que le groupe fondamental mérite bien son propre article, sans vouloir relancer l'éternel débat sur la taille des articles... Dévilès °o° 25 jan 2005 à 02:28 (CET)
- Tu as sûrement raison, je pense. D'ailleurs, je te félicite vraiment pour cet article, on rêverait d'avoir pour chaque lien listé ici des articles de cette qualité :). Que penses-tu de le proposer comme article de qualité ? OsMoSe 26 jan 2005 à 22:39 (CET)
États des articles sur la logique[modifier | modifier le code]
Articles à créer[modifier | modifier le code]
Certains liens sont en bleu ; soit que l'article n'est pas répertorié en catégorie:logique_mathématique, soit qu'il y aura homonymie
- Arithmétique du second ordre
- Axiome non logique
- Démonstration (formel)
- Élimination des quantificateurs
- Ensembles constructibles (l'univers 'L' de Gödel ; c'est de la théorie des ensembles)
- Équivalence (en particulier élémentaire)
- Extension conservative (fonction de Skolem)
- Forcing (c'est de la théorie des ensembles)
- Formules (formel)(formule close, énoncé, etc.)
- Interprétation
- Langage du premier ordre
- Modèle (formel)
- Structure (formel)
- Théorème (formel)
- Théorème d'Herbrand
- Théorème de Novikov (= Principe de cohérence de Novikov ?)
- Théorèmes de Church (d'où d'autres entrées)
- Théorie axiomatisée (formel) : article Théorie axiomatique créé, ça doit correspondre ?
- Théorie de la démonstration
- Théorie du premier ordre
"J'en passe, et des meilleurs" (V. Hugo, Hernani)
Ebauches[modifier | modifier le code]
- Axiomes de Peano (non marqué ébauche) Manque au moins de la formalisation et les différentes façons de le faire
- Décidable (non marqué ébauche)
- Ensemble récursif (non marqué ébauche)
- Fonction calculable, Fonction récursive, récursivité (non marqués ébauche) On ne devrait pas faire de "calculable" et "récursive" des synonymes stricto sensu
- Théorie de la calculabilité. On ne devrait pas faire de "théorie de la calculabilité" et "théorie de la récursivité" des synonymes stricto sensu (et "théorie de la récursion" est un anglicisme).
- Hiérarchie polynomiale
- Oracle (machine de Turing) il n'y a que la base.
- Logique mathématique. Cet article dont la première architecture et le premier contenu étaient très médiocres est en refonte. Cette refonte complète concernera aussi les articles connexes. Nous (Laurent de Marseille et Pierre de Lyon) avons besoin d'aide. Voir Discuter:Logique mathématique.
- Logique d'ordre supérieur Riche en mots qui devraient renvoyer à un article (logique formelle, calcul des prédicats, etc.) N. B. C'est le rôle de l'article logique mathématique en refonte.
- Isomorphisme de Curry-Howard devrait être appelé Correspondance de Curry-Howard.
- Démonstration constructive.
- Théorème de Gentzen pour l'instant c'est une redirection sur Gerhard Gentzen.
- Théorie de la démonstration.
- Logique linéaire
- Expression rationnelle et Théorie des expressions rationnelles qu'un inconnu a créé le 26 janvier 2006.
- Logique argumentative. Cet article ne fait-il pas double emploi avec l'article argumentation? Est-ce de la logique?
Articles à compléter[modifier | modifier le code]
- Arithmétique de Presburger Suggestions dans la discussion de l'article
- Calcul des séquents de Gentzen.
- Diophantien Petites corrections à faire (au moins "récursivement dénombrable" à remplacer par "récursivement énumérable")
- Fonction récursive primitive Mettre un peu plus de français pour faire moins catalogue. Un peu d'histoire aussi, etc.
- Indécidable Revoir au moins la terminologie (système logique)
- Langage formel Voir langage formel/logique formelle/système formel. Intéressant mais contient trop peu de choses sur la part logique mathématique.
- Problème de décision Un peu trop "informatique". Parle mais ne nomme pas le "problème du voyageur de commerce". On devrait aussi y trouver le nom en allemand qu'on trouve souvent tel quel.
- Problème de l'arrêt Ici, comme ailleurs d'ailleurs, un peu d'histoire ne ferai pas de mal
- Système T Mettre un peu plus de français pour faire moins catalogue. Un peu d'histoire aussi (étonnant que Gödel ait inventé un langage de programmation théorique comme il est dit), etc.
- Théorème de Rice Un peu trop "informatique" alors qu'il est classé en catégorie "logique mathématique" et non en "informatique" ! (Je trouve cet article très bien fait et très équilibré entre math et info. Pierre de Lyon 26 avril 2006 à 14:57 (CEST))
- Théorie axiomatique voir discussion de l'article
- Turing-complet Quel est le "pouvoir" d'une machine de Turing ? Et liens après développement.
États des articles sur la géométrie[modifier | modifier le code]
Après quelques mois de contributions et quelques dialogues sur l'Oracle, je prends conscience d'un gros manque pour une encyclopédie, le manque d'articles sur une géométrie non-analytique telle qu'elle est pratiquée depuis plusieurs millénaires. Par exemple une personne demandait à l'Oracle: Intersection de deux coniques-Bonjour à toutes et à tous. Parmi les problèmes célèbres de l'Antiquité (duplication du cube...) il en est un que je n'arrive pas à bien comprendre etc.? les seules réponses apportées étaient en termes d'équation de degré 4, ce qui manifestement ne permet pas de bien comprendre le fond des choses. d'où besoins:
Besoins d'articles[modifier | modifier le code]
- Géométrie grecque
- Intersection de coniques
- La topologie à dimensions basse (topologie géométrique)