Projet:Mathématiques/Articles par branches

Articles à développer

À classer

Articles sur des domaines généraux

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

Biographies

Théorèmes

Articles à Nettoyer

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)[répondre]

C'est fait et j'ai fait la page d’homonymie. Anarkman 11 juin 2006 à 10:34 (CEST)[répondre]

Articles à Fusionner

...

États des articles sur l'algèbre ou algèbre générale

Articles à remanier et à compléter

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

Un modèle Algèbre linéaire est maintenant disponible.

Réorganisation

12 avril 2006 : Réorganisation des artciles relatifs à la diagonalisation (mathématiques)

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

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

Sous-espace caractéristique - définition
Bloc de Jordan
Décomposition de Dunford
Forme linéaire
Matrice unitaire
Rang
Interpolation

Articles à compléter

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

États des articles sur l'analyse

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)[répondre]

Articles à créer

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

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)[répondre]
équivalent ajouter des exemples
Formule de Stirling

États des articles sur l'analyse fonctionnelle

Un Modèle:Palette Analyse fonctionnelle existe.

Articles à créer

C-étoile-algèbre
Espace de Hölder
Espace L^p,
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

Articles à compléter

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

Articles à créer

États des articles sur la topologie

Un Modèle:Topologie devrait être crée.
le Glossaire topologique devrait être complété et réorganisé.

Articles à créer

Articles à compléter

à finir -> j'ai rajouté la démo, que manque-t-il d'autre ? --Thomasdeniau 1 mai 2005 à 14:12 (CEST)[répondre]

Valeur d'adhérence

États des articles sur la topologie algébrique

Articles à compléter

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

Articles à créer

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

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

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))[répondre]
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

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

Géométrie grecque
Intersection de coniques
La topologie à dimensions basse (topologie géométrique)