Wikipedia:Requested articles/Mathematics: Difference between revisions

Content deleted Content added

Inline

Revision as of 00:47, 30 September 2008

Please follow the Wikipedia conventions of not capitalizing words in an article title except for the first letter and proper names. That is, write your request as This and such theorem instead of This And Such Theorem.

Abstract algebra

Approximately finite-dimensional (A sentence long) - Asymmetric range/Symmetric range - Basic perturbation lemma - Central factor - Cosocle - Dedimensionalisation - Defectless valuation - Descendant subgroup - Eigenvariety (needs to be defined and explained in brief detail) - Formal module - Freshman's dream theorem - Hopkin's theorem - Hyper-finite field - Lazard ring (redirects to formal group#Lazard ring) - Lüroth's theorem (redirects to rational variety) - Mittag-Leffler condition - Precrossed module (perhaps redirect to an expanded Crossed module?) - Predicative arithmetic - Pseudo-finite field - Reduced norm (quaternion algebra) - Saturated field - Serial subgroup - Square class (element of $F^{*}/(F^{*})^{2}$ for some field F) - Skew-symmetric ring - TaylorDix theorem- isoceles triangles-

Actuarial mathematics

Analog sum

Algebraic geometry

Algebraic cobordism - Berkovich space - Bruhat order - Cartier dual - Conjugate hyperbola - Devissage - Dianalytic structure - Elliptic modulus - Étale homotopy group - Formal scheme - Hilbert-Blumenthal surface - Kodaira identity - Lefschetz principle - Levi extension theorem - Linear complex (see, e.g., [1]) - Moebius configuration - Ordinary singularity - p-divisible group (p-divisible group in the sense of algebraic geometry!) - Plethystic algebra - Postulation - Rigid cohomology - Rigid geometry - Rosati involution - Secant-secant theorem - Semistable vector bundle - Simple algebraic group - Smooth morphism (own article) - Superabundance - Valuative criterion - Zernike moment - Isoperimetric quotient - Central quadric - Chow motive

Arithmetic geometry

Anabelian geometry - Bloch-Kato conjecture on special values of L-functions - Bogomolov conjecture - Criterion of Néron-Ogg-Shafarevich - Diamond operator - Dieudonné module - Drinfeld upper half plane - Eichler-Shimura relation - Faltings' product theorem - Fontaine-Mazur conjecture - Fundamental lemma (Langlands program) - Galois representation associated to a modular form - Generalized elliptic curve - Isocrystal - Katz-Lang finiteness theorem - Kodaira-Spencer isomorphism - Manin-Mumford conjecture - Modular elliptic curve (add the different equivalent formulations of "modular": analytic, geometric, arithmetic) - p-adic Hodge theory - Period domain - Section conjecture - Tate elliptic curve - Weil converse theorem - Zarhin trick -

Calculus of variations

Abstract comunitronics - Deformation theorem - Ekeland's variational principle - Geometric theory of regression- Lie point symmetries- point symmetries

Category theory

2-morphism - Atomic topos - Bar construction - Coquasitriangular Hopf algebra - Cosmos (mathematics) - Effective topos - Enriched limit (mathematics) - Final algebra (to be contrasted with initial algebra and linked with anamorphism as initial algebra is linked from catamorphism) - Frobenius category - Intertwining operators relations and number - lim^1 - Monadic length - Ribbon category - Rigid monoidal category - Semi-abelian category (with redirect from Semiabelian category) - Yoneda ext -

Coding theory

Brand quotient - Coding lemma - Disguise operation - Football pool problem - Satisfiability coding lemma - Context modeling - Asymmetric numeral systems

Combinatorics

MacMahon master theorem - Oligomorphic group - Polyhedral combinatorics - Stern's diatomic series (sequence A002487 in the OEIS), also called fusc() - combinatorial number theory - terminal series

Complex analysis

Boettcher coordinate - Formal Newton series - Gram polynomial - Hyperbolicity - Hyperbolic components - Neumann operator - Osgood's lemma - Paving lemma - Theta operator - Theta series - Z plane as corresponding to Z transforms as used in control engineering - recursive filter (IIR) float accuracy problem -

Complexity theory

Crossing sequence - Dimensional shrinkage - Homeokinetics -

Convex analysis / Optimization

Bundle method [2] The Bundle Method in Combinatorial Optimization] - Constrained conjugate gradient / Conjugate gradient with barriers (how does the barrier effects the conjugate gradient solution) - Error surface (see, e.g., [3]) - Grid search method - Hopscotch method - Monge-Kantorovich problem - Noisy optimization - Supporting functional - Waterfilling theorem - MathProg - Roman Polyak - Nonlinear rescaling- Mean field annealing -

Cryptography

Comp128v2 - Extension attack - Keystore - Laszlo Kish - Multilinear modular hashing - Online/offline signature [4] - Range proof - Yao's XOR lemma - Pseudo random large bit sequence using XOR feedback - Spyros Magliveras

Decision theory

no requests

Descriptive geometry

Parallel projection (currently a redirect to another article that's a bit too advanced for the general reader.) -

Differential equations

Backwards diffusion equation - Extended linearity principle - Majda's model - Microdifferential operator - Similarity solution - Singular limit - Convection-diffusion equation - involutive system - involutive form - differential Gröbner basis -

Differential geometry and topology

Atiyah-Hitchin-Singer theorem - Conjugate locus - Fedosov manifold - Gibbons-Hawking space - Grothendieck lemma - Last geometric statement of Jacobi - Light cone quantization - Myers–Steenrod theorem - Natural bilinear concomitant - Nonlinear connection - Orientation bundle - Partial tangent functor - Polyvector field - Pseudofunction and partie finie (with redirects from Hadamard's partie finie, Hadamard's finite part) - Randers manifold - Ricci's lemma - Symmetric part of a tensor - Symplectic connection - Tight surface (see, for example, [5]) - Toponogov theorem - Whitney forms -

Dynamical systems

CARIMA model - Zeeman catastrophe machine (see, e.g., [6]) Dimension theory of dynamical systems - Aubry-Mather theory - KAM theory applications and generalizations of KAM theorem - Wiener's ergodic theorem (ergodic theorems for $\mathbb {Z} ^{d}$ actions; see [7])

Elementary arithmetic

no requests

Functional analysis

Angelic space - Bornology (currently a redirect) - Banach-Mazur compactum - Codistribution - Convenient analysis - Extreme point disambig - Finite representability - Function algebra - Fundamental lemma of interpolation theory (see e.g. Cwikel et al., On the fundamental lemma of interpolation theory, J. Approx. Theory 60 (1990) 70-82) - Fundamental period - Fragmentability - Hermite-Gaussian - Namioka's theorem [8] - Nonlinear functional analysis (currently redirect to Category:Nonlinear functional analysis; Wikipedia has category but no article; AMS MSC 46Txx) - Nonlinear operator theory - Operator space - Quasinuclear operator - Separation theorem (the present article is about one in economics; there might be several theorems called separation theorem.) - Spectral triple - Super-reflexive space (or superreflexive space) Symbol filtered algebra

Game theory

Multi-perturbation Shapley value analysis (MSA) - Saddle value - Sandler: Marketmaking in a Panopticon - Search games - Strictly determined game and Strictly non-determined game

Geometry

Coarse function - Diametral circle - Diametral lens - Funk transform - Haruki's lemma - Killing-Hopf theorem - Longuerre's theorem - Moufang polygon - Noncommutative plane - Omnitruncated 120/600 cell - Operational mathematics - Peritrochoid - Plane of rotation (generalizable to more dimensions than axis of rotation) - Plücker's conoid - Shadowing lemma - Shape grammar theory - Synge's theorem - Sphere-cylinder intersection - Sphere-sphere intersection (see Plane-sphere intersection) - Stochastic geometry - Theory of proportions - Triangle midsegment conjecture (see [9], should probably be a redirect) - Weak separation property (fractal geometry) - Zonal harmonic -

Graph theory

Berge's lemma - Dark geometry - Dynamic segmentation - Elimination order - Ellentuck's theorem - Filled graph - Frerejaque number - Generalized net (extension to Petri net) - Graphoid - Horizontal constraint graph, Vertical constraint graph - Implicit and explicit domain and range - Intrinsically linked graph - Law of detachment - Linear referencing - Mass-distance relation - Midquad - Overlap coefficient - Restriction scaffold problem - Surface class - Tree measure / Tree metric - Uniconnected subgraph - Welch-Powell algorithm - Longest circuit- Grinberg's Theorem -

Group theory

Automata group - Cliquet theory - 2-cocycle - Cogroup (currently a redirect) - Floretion - Lattice-ordered group (also listed in Order theory) - Normalizer of Singer cycle - Recoupling theory - Reidemeister-Schreier rewriting process - Repeating group - Singer cycle - Garside theory -

History of mathematics

Ancient Chinese finger counting -[10] gives the basic numbering -but how do you do multiplication, division etc? — Calculus reform — Etymology of mathematical notation — Rigorization of analysis, usually referred to in 19th century — Hungarian mathematics [11] — Deutsche Mathematik ("German mathematics"), Nazi-era movement and mathematical journal (de:Deutsche Mathematik)

K theory

Bloch-Kato conjecture

Lie groups / Lie algebras

10-j symbol - 15-j symbol - Crystal graph [12] - Kač determinant (currently a redirect, gets one sentence) - Klimyk's formula - Lazard isomorphism - McKay correspondence - Miniscule representation - p-adic Lie group (currently a redirect, gets half a sentence) - Primitive invariant - Quantum double - Racah-Wigner algebra - Racah's multiplicity formula - Satake diagram - Schur functor - SE(3) (Lie group of rigid body transformations) - Steinberg formula - SU(2) - SU(3) - SU(5) - Tangent Lie group

Linear algebra

Componentwise inequality - Eigengap - Fast Givens rotation - Hotelling deflation - Leading 1 - Matrix lumping - Nazarova-Roiter algorithm - Nested dissection algorithm (also listed in Numerical analysis) - Test matrix - Kernel function ^[1] -

Mathematical analysis

Cauchy's estimate (currently redirected to Taylor's theorem) - Dyadic derivative - Friedrichs' lemma - Gauss transformation - Gevrey class - Infra-exponential type/function/growth, etc - Perfect differential - Percent recovery - Positive invariance - Spatial covariance - Ultradistribution [13] - Weyl calculus - Whittaker-Watson formula - Envelope of a function [14] -

Mathematical logic

Add your request in the most appropriate place below.
Before adding a request please: Search for existing articles on the same subject. If an article exists, but not at the title you expected, you can create a redirect. Check spelling and capitalization. Be sure the subject meets Wikipedia's inclusion criteria. Also, when adding a request, please include as much information as possible (such as webpages, articles, or other reference material) so editors can find and distinguish your request from an already-created article.

Model theory, proof theory, and recursion theory

Definitions of infinity:

Equilateral_triangle#Circumradius,_inradius,_and_exradii

Behavioral semantics - An axiomatic semantics of concurrent programming languages, (see Lamport 1985)
Herbrand consistency - might be enough to explain this term in the consistency article.
Homogeneous model - currently a redirect to Model theory
Method of indicators - Model-theoretic method used to prove the Paris–Harrington theorem without diagonalization
Proof identity - some references:

Straßburger, Lutz (20 October 2006), "Proof Nets and the Identity of Proofs", Technical Report 6013, INRIA
Kuznets, Roman (2007), "Proof Identity for Classical Logic: Generalizing to Normality", LFCS (PDF), pp. 332–348
MO thread

Subrecursion theory - The study of "levels of recursion", such as primitive recursion, double recursion and μ-recursive functions (noted by, for example: Rose, H.E., "Subrecursion: Functions and hierarchies", Oxford University Press, New York, USA, 1984. ISBN 0-19-853189-3). Possibly a foreshadowing to computational complexity theory.
Predicative arithmetic - currently a redirect to Impredicativity
Hyperhyperimmune set
Hyperhypersimple set
Regressive set
Retraceable set
Feferman-Levy model
Simple theory - there are at least two textbooks:

Wagner-, Frank, (2011). Simple theories. Springer. ISBN 978-90-481-5417-3.{{cite book}}: CS1 maint: extra punctuation (link) CS1 maint: multiple names: authors list (link)
Kim, Byunghan (2013-10-17). Simplicity Theory. Oxford University Press. doi:10.1093/acprof:oso/9780198567387.001.0001.

Set theory

C-measurable set
Comprehensive set
Canonical representative
Extended set theory (D L Childs et al.)
Paris model
Quasi strategy - (Currently a redirect to an empty paragraph)
Scott analysis (should also have redirects from Scott sentence and Scott rank)
Unfolded Banach-Mazur game - Banach–Mazur game
Weakly homogeneously Suslin set
Yannakakis' algorithm

Relations

Economic logics/Economic logic/Economy logic/Economic reason/economy reason/economic reason Pareto, Vilfredo, (1971 [1906]), Manual of Political Economy, New York: A.M. Kelley [15] How Markets Fail: The Logic of Economic Calamities here, here, here, here, here, here, here, here, here, here, here, here
Bichotomous relation
Dichotomettic relation
Trichotomous relation (currently a redirect to Law of trichotomy)
Contact relation (currently a redirect to binary relation)
Regular relation
Normalizing relation
Consistent relation
Definite relation
Weakly dense relation
Determinant relation
Terminating relation - (currently a redirect to abstract rewriting system)
Convergent relation
Orthogonal relation
Rooted relation
Transitively connected relation
Deterministic relation
Cyclical relation
Weakly connected relation

Other

Requests listed in this section may belong somewhere else. Please help by moving them to a suitable location.

Computational verb logic
First-degree entailment
Nominal logic - perhaps related to Nominal terms (computer science) and Nominal techniques, see also [16]
Nominal sets
Order-sorted equational logic
Propositional linear temporal logic
Trivial truth - currently a redirect to Triviality; a previous comment stated: there is an article vacuous truth, and triviality but no article trivial truth, was thinking about making it an link to Tautology but then thought not all tautologies are trivial (obvious) truths, maybe P -> P is the only tautology that really is an trivial truth)
Event semantics (A semantics for first-order logic wherein one declares predicates to be true in relation to some event or some action resulting from an event e.g. $Occurs(e,Alice,a)\wedge Walk(a,the\_dog)Quick(e)$ would mean "An event $e$ occurs wherein Alice does action $a$ . Action $a$ is 'walk the dog'. The event is quick".

References

^ a redirect to Positive definite kernel for the moment; relates to Fredholm kernel I suspect, and has applications to support vector machines and other kernel methods in statistical classification

Mathematicians

(a redirect page using only the last name should also be created for each of these, if the last name is both famous and unambiguous. For example: Bourgain should redirect to Jean Bourgain and so on.)

A-G:

Achemmel, Gottfried
Aczel, Peter
Arbarello, Enrico
Arfken, George
Beauville, Arnaud
Berloty, Bonaventure
Bezrukavnikov, Roman
Bickel, Peter
Bloch, Spencer
Boettcher, Lucjan E
Bol, Gerrit
Boyarchenko, Mitya
Braverman, Alexander
Brenier, Yann
Bruck, Richard Hubert
Burns, David (the mathematician)
Chakerian, Gulbank Don (USA)
Clozel, Laurent
Cohen, Teresa
Cobb, Charles (article is presumably about a different Charles Cobb)
Cuntz, Joachim (see de:Joachim Cuntz)
Dold, Albrecht
Donoho, David
Dunfield, Nathan
Edixhoven, Bas
Faddeev, Dmitrii Konstantinovich
Feng, Zuming
Fikhtengol'ts, Gregory M.
Filippov, Aleksei Fedorovich
Flach, Matthias
Flammenkamp, Achim
Fontaine, Jean-Marc
Franel, J. (France, 19th century-20th century)
Frenkel, Edward
Fuks, Dmitry (Fuchs)
Gabber, Ofer
Gelfand, Sergei
Goundar Rajaram
Grabowski, Janusz
Gratzer, George
Gras, Georges
Greenberg, Ralph

H-Z:

Hashiguchi, Kosaburo
Haynes, Martha Euphemia Lofton
Hida, Haruzo
Hildebrand, Francis B. ( 1915? -29 Nov 2002)
Hildebrandt, Theophil Henry (T. H.)
Hofmann, Steven (or Steven Hoffman?)
Hopkins, Michael (the mathematician, not the architect!)
Illusie, Luc
Isaacs, I. Martin
Jannsen, Uwe
Jarvis, Frazer
Karoubi, Max
Kato, Tosio (Konuma, Giappone, 25 Aug 1917 - Oakland, California, USA, 2 Oct 1999)
Katsevich, Gene
Kaull, Donald
Kelley, Kyle
Khovanski, Askold G.
Kings, Guido
Kisin, Mark
Knoer, Alvin
Kottwitz, Robert
Langberg, Valerie
Lansey, Jonathan
Laumon, Gérard
Legnani, Tom
Liu, Qing
Longyear, Judith Q.
Mad Mathmos (a group at Cambridge University)
Milne, James
Minding, Ferdinand
Misiurewicz, Michael
Mochizuki, Shinichi
Mukai Shigeru
Natanson, Isidor Pavlovich
Neeman, Amnon
Ngô, Bao-Châu
Norden, Aleksandr Petrovich
O'Nan, Michael
Pimenov, Revolt Ivanovich
Pop, Florian
Quadling, Douglas
Prabhakar, Tilak Raj
Preiss, David
Puppe, Dieter
Rapoport, Michael
Roquette, Peter
Rickert, John
Saito, Shuji
Sato, Kanemoto
Schapira, Pierre
Schlesinger Ludwig (see de:Ludwig Schlesinger)
Scholze, Peter (Three time gold medallist and 2007 runner up at International Mathematical Olympiad) (also see List of International Mathematical Olympiad exceptional participants)
Sendova, Eugenia
Shult, Ernest
Skinner, Christopher (Princeton University)
Ivan Stephen Sokolnikoff (Russian, Ph.D. 1930 University of Wisconsin, ended career teaching at U.C.L.A)
Sós, Vera, (Adviser of Laszlo Babai, co-founder of the notable St. Olaf's Budapest semesters in mathematics, 100+ papers on mathscinet, mostly combinatorics)
Soulé, Christophe
Stein, Sherman K.
Sujatha, Ramdorai
Szamuely Tamás
Tamagawa, Akio
Venjakob, Otmar
Villareal, Federico
Vinogradov, A. I. - number theorist, namesake of Bombieri–Vinogradov theorem
Weibel, Charles
Wielandt, Helmut (see de:Helmut Wielandt)
Wintenberger, Jean-Pierre
Wright, Margaret H.
Yatsenko, Yuri
Zahorski, Zygmunt
Zarhin, Yuri
Zhai, Alex

Unsorted

From the requested biographies page

William N. Everitt - William Everitt - (req. prior 2008-02-16) - mathematician
Boris Kordemsky - (req. prior 2008-02-16) - Russian mathematician
John Knox (scientist) vs John Knox (disambiguation) - (req. prior 2008-02-16) - meteorologist & mathematician, found new method of calculating e
Vasiliy Sergeyevich Vladimirov - Vasiliy Vladimirov - (req. prior 2008-02-16) - mathematician
Dionigi Galletto - (req. prior 2008-02-16) - physicist - mathematician