Incubator escapee wiki:Requested articles/Mathematics

AC Method -<ref>{{#invoke:citation/CS1|citation

|CitationClass=web }}</ref>

Albert–Penico–Taft theorem -<ref>Template:Cite book</ref>
BC-domain - <ref>Template:Cite book</ref>
Capelli polynomial -<ref>Template:Cite book</ref>
Centroid of a ring -<ref>Template:Cite book</ref>
Conic algebra (not the algebra of conic sections)<ref>Template:Cite journal</ref><ref>Template:Cite journal</ref>
Demailly's conjecture (strengthening of Chudnovsky's conjecture + need to mention Containment Problem, Harbourne's conjecture)
Dimer algebra -<ref>Template:Cite journal</ref>
Discriminant algebra -<ref name=invol128>Template:Cite book</ref>
Group valuation (not the same as Valuation group) -
Haiman's conjectures (conjectures on quotient ring by diagonal invariants + conjectures on Kazdhan-Lusztig basis elements of the Hecke algebra)
H-structure -<ref name=McC1977>Template:Cite journal</ref>
Hecke algebra of Bost and Connes [1] -
Hopf algebra of Feynman diagrams
Isotonicity (mathematics) (Lattice theory, etc.) -
κ-algebra, κ-structure
Kronecker function ring
Levi's reduction process [2]
Martindale's theorem -<ref>Template:Cite book</ref>
Mixed discriminant
Module index [3]
Morita context -
Multiplicative filter
Nagata–Higman theorem -<ref>Template:Cite book</ref>
Oort embedding theorem
Onsager algebra
Penico series -<ref>Template:Cite book</ref>
Polynomial composition -<ref>Template:Cite book</ref>
Predicative arithmetic - currently a redirect to Impredicativity
Principle of permanence of identities -
Principle of specialization of integral dependence
Quasiassociative algebra
Quaternionic roots of polynomials
Pseudo-orthonormal basis – needed to link to from WP, a widely used term, a generalization of but distinct from orthonormal basis in that it allows an indefinite nondegenerate bilinear form.
RC-algebra -<ref>Template:Cite book</ref>
Regular basis
Riesz interpolation property (interpolation property in an ordered abelian group, mentioned in approximately finite dimensional C*-algebra; weakly unperforated, a related property with ordered abelian semigroups, is listed below)-
Ring of constructible functions<ref>Template:Cite arXiv</ref>
Ring of divided congruences
Ringfield (math structure in which div and mul are same operation, should have nice de Moivre complex exponential change in div mul phase?!)
RL–condition for Hopf algebra -<ref>Template:Cite book</ref>
Samuel's conjecture
semi-tropical algebra<ref>Template:Cite arXiv</ref>
Sikorski extension theorem - <ref>Template:Cite book</ref><ref>Template:Cite book</ref>
Singularity category
Skew-symmetric ring
Skolem ring <ref>Template:Cite journal</ref>
Swan module <ref>Template:Cite book
Template:Cite book</ref>
Syntactic algebra, Syntactic ideal <ref>Template:Cite book</ref>
Taylor–Dix theorem (isosceles triangles)
Weak Cayley table group
Weakly injective module (maybe redirect?)
Weakly projective module
Weakly unperforated
Z.P.I. ring -<ref>Template:Cite book</ref>

Algebraic geometryEdit

adic space <ref>Template:Cite book
Notes by Torsten Wedhorn</ref> - currently a redirect to Rigid_analytic_space#Other_formulations
Adelic analysis (developed by Ivan Fesenko)
Adelic geometry (developed by Ivan Fesenko)
ALE surface
algebraic variety of general type (maybe redirect?)
Batyrev–Borisov mirror construction -
Belyi cuspidalization (developed by Shinichi Mochizuki)
Belyi map, with the sub-kind 'Noncritical Belyi map' (studied by Shinichi Mochizuki)
bunched ring [4]
Campana–Peternell Conjecture for Fano manifolds
Central quadric -
Chow regularity theorem
Conical curve (note that this is not the same as conic section)
Convergent cohomology, convergent topos
Coregular space -<ref name=BH13>Template:Cite arXiv</ref>
Debarre–de Jong conjecture (needs mention of Beheshti–Starr conjecture with Langsberb and Tommasi generalization and Canning generalization)
Deligne pairing
Drinfeld compactification
Equisingular connection
F-conjecture
Feynman motive -<ref name=Marcolli2010>Template:Cite book</ref>
Formal quantization
Futaki invariant - currently a redirect to K-stability
Gabber rigidity theorem
Galois deformation - currently a redirect to Deformation ring
Gamma conjectures
Gersten's conjecture -<ref>Template:Cite book</ref>
Green–Griffiths–Lang–Vojta conjecture (aka Green–Griffiths–Lang, combines Lang–Vojta conjecture and Green–Griffiths conjecture)
Grothendieck’s anabelian conjectures
Hartshorne’s conjecture on complete intersections
Hodge-D-conjecture (by Bellinson, don't confuse with the millennium problem or with Hodge standard conjecture on algebraic cycles)
Hodge stack
Hom-stack
Hotta-Kashiwara construction
Impose independent conditions
Incidence variety
Iwahori's theorem
Kodaira dimension conjectures (non-vanishing, Campana–Peternell, Viehweg, Kebekus-Kovács, Iitaka, Popa superadditivity…)
Kodaira lemma
Kontsevich moduli stack
Kuga–Satake abelian variety
Levi extension theorem -
Landau variety -<ref name=Marcolli2010/>
Logarithmic differential operator
Luna–Vust theory -<ref>Template:Cite book</ref>
MacPherson's local Euler obstruction
Möbius sphere - also known as an M-sphere
Modularity lifting theorem
Mori's bend and break argument (cf. [5])
Motivic complex [6]
Mumford relations
NMMP conjectures (also mention relation to D-euqivalence conjecture and Dubrovin's conjecture)
Noether–Lefschetz number
Noether's factorization theorem
Optimal basis
Orbifold cohomology
Parabolic Higgs bundle
Parabolic Trigonometry
Positroid variety -<ref>Template:Cite arXiv</ref>
Postulation (algebraic geometry)
Purity lemma -
Quantum Schubert calculus
Quasiparabolic bundle, Quasiparabolic homomorphism
Radiciel morphism
Relatively ample invertible sheaf -
Relative quantization
Samaksh(Sammy's) Conjecture
Semiabelian variety (currently a redirect)
Serre's intersection formula [7] (redirect is ok)
Serre's invariant
Severi bound
Shatz stratification
Simple algebraic group -
Skoda's theorem on ideal generation (perhaps a redirect)
Sommese vanishing theorem - (perhaps a Dab page)
Speciality function -
Tame stack
Triangle midsegment theorem
Uncertain geometry (paper 2008 Simon Jackson commutative representation of Quantum Mechanics?) - also listed under "Differential geometry and topology" and under "Geometry".
Weak factorization conjecture
Welschinger invariant -<ref>Template:Cite journal</ref><ref>Template:Cite book</ref>

AlgorithmsEdit

Wolf and Pate correlation (capillary tubes)
L-PLS (extends Partial Least Squares regression to 3 connected data blocks)
OPLS-DA (Orthogonal Projections to Latent Structures - Discriminant Analysis) (Partial Least Squares with discrete variables)

Applied mathematicsEdit

econometry of economists [8] [9]<ref>A cross-verified database of notable people, 3500BC-2018AD {{#if:2052-4463|Template:Catalog lookup link{{#if:Template:Trim|{{#ifeq:Template:Yesno-no|yes|Template:Main other|{{#invoke:check isxn|check_issn|Template:Trim|error=Template:Error-small Template:Main other}}}}{{#if:Template:Trim|{{#ifeq:Template:Yesno-no|yes|Template:Main other|{{#invoke:check isxn|check_issn|Template:Trim|error=Template:Error-small Template:Main other}}}}{{#if:Template:Trim|{{#ifeq:Template:Yesno-no|yes|Template:Main other|{{#invoke:check isxn|check_issn|Template:Trim|error=Template:Error-small Template:Main other}}}}{{#if:Template:Trim|{{#ifeq:Template:Yesno-no|yes|Template:Main other|{{#invoke:check isxn|check_issn|Template:Trim|error=Template:Error-small Template:Main other}}}}{{#if:Template:Trim|{{#ifeq:Template:Yesno-no|yes|Template:Main other|{{#invoke:check isxn|check_issn|Template:Trim|error=Template:Error-small Template:Main other}}}}{{#if:Template:Trim|{{#ifeq:Template:Yesno-no|yes|Template:Main other|{{#invoke:check isxn|check_issn|Template:Trim|error=Template:Error-small Template:Main other}}}}{{#if:Template:Trim|{{#ifeq:Template:Yesno-no|yes|Template:Main other|{{#invoke:check isxn|check_issn|Template:Trim|error=Template:Error-small Template:Main other}}}}{{#if:Template:Trim|{{#ifeq:Template:Yesno-no|yes|Template:Main other|{{#invoke:check isxn|check_issn|Template:Trim|error=Template:Error-small Template:Main other}}}}{{#if:Template:Trim|{{#ifeq:Template:Yesno-no|yes|Template:Main other|{{#invoke:check isxn|check_issn|Template:Trim|error=Template:Error-small Template:Main other}}}}}}}}}}}}}}}}}}}}}}|Template:Error-small}}</ref>
sociomathematics or Science of sociomathematics:

Mathematics and Its Applications Nonlinear Stochastic Evolution Problems in Applied Sciences [1 ed.] Template:ISBN
Researching the Socio-Political Dimensions of Mathematics Education: Issues of Power in Theory and Methodology (Mathematics Education Library) [1 ed.] Template:ISBN

Analog sum (actuarial mathematics)
Game theory in cancer research - somatic evolution in cancer
List of applied mathematicians
List of mathematical biophysicists
List of mathematical physicists
Mathematical genomics -
Nucleotide polymorphism (population genetics, is Single-nucleotide polymorphism sufficient?)
Rational mechanics - (currently redirects to a Disambiguation neither Classical mechanics or Clifford Truesdell mentions the exact phrase)
Ultracomplexity - higher-dimensional algebra

Arithmetic geometryEdit

Anderson motive
Automorphic vector bundle - the notion due to Milne?
Capacity pairing
Dieudonné–Manin classification
Discriminant of an elliptic curve
Endomotive - <ref>Template:Cite book</ref>
Finiteness theorem of Faltings
Frobenius flow -<ref>Template:Cite book</ref>
Galois representation associated to a modular form
Generalized elliptic curve
Horizontal divisor
Shimura–Shintani–Waldspurger correspondence
Skolem–Abouzaid theorem -<ref>Template:Cite arXiv</ref>

BooksEdit

Ray's Arithmetic (Ray’s Arithmetic teaches arithmetic in an orderly fashion, starting with basic mathematical rules and principles and building upon those rules as students progress in their studies) ( Mott Media's Ray's Arithmetics - 8 Volume Set, Archive.org's Collection of Ray's Arithmetic Series, Biography of Joseph Ray)

Category theoryEdit

Anabelioid (defined by Shinichi Mochizuki, 2004 and 2006)
Arrow function
Atomic topos
Bartosz Milewski
Coamoeba -<ref>Template:Cite book</ref>
Compactly generated category
Constructible object
Coquasitriangular Hopf algebra
Cylinder functor
Doctrine (category theory) (cf. http://ncatlab.org/nlab/show/doctrine)
Double algebroid s - higher dimensional algebra
Dual functor (Opposite functor)
Effective epimorphism
Final coalgebra (to be contrasted with initial algebra and linked with anamorphism as initial algebra is linked from catamorphism)
Homotopy quantum field theory
Intertwining operators relations and number
Lax algebra -
Lax monad -
Linear functor
Loop category
Mal'cev category -
Monadic length
Prefunctor Prefunctor form precategory (https://doi.org/10.1016/S1571-0661(05)80315-9) , \mathscr{I}-prefunctor (https://doi.org/10.1007/BFb0097613 p.73)
Pro-representable functor
Protomodular category -
Quasi-inverse functor
Ultracomplexity - higher dimensional algebra
Waldhausen localization
Yoneda ext / Yoneda Ext / Yoneda Ext-algebra / Yoneda Ext algebra (cf. Ext-algebra)

Coding theoryEdit

Coding lemma
Disguise operation
Fuzzy vault - encryption scheme. A well written wiki page by Buffalo University already exists with references included.
Scroll code - <ref>Template:Cite journal</ref>

CombinatoricsEdit

Bilinear generating function
Christoffel word
Core partition
Entropic discriminant -<ref>Template:Cite journal</ref>
Hamming ball*
Gilles Schaeffer Mathematician, recipient of European Prize in Combinatorics 2007, http://www.lix.polytechnique.fr/~schaeffe/index-en.html
Gowers' dichotomy
Greedoid language -<ref>Template:Cite book</ref>
Lecture hall partition, a type of integer partition
MacMahon squares
Middle levels conjecture Is there a Hamiltonian path in the graph defined by bitstrings with of length 2n+1 with n or n+1 ones (with an edge between any two vertices for which the corresponding bitstrings differ in exactly one bit)? Note: resolved. [10]
MacNeish's Conjecture [11];
Metric Inequality
Park–Park–Song–Suehiro sequences -<ref>Template:Cite journal</ref>
Polynomial Szemerédi theorems
Positroid -<ref>Template:Cite arXiv</ref>
Ray-Chaudhuri–Wilson theorem about set intersections
Semimodular function
Jay Elroy Sulzberger
Sylvester's bijection, an explicit bijection between strict partitions and odd partitions
Terminal series
Toeplitz word
Gyration series

Complex analysisEdit

Artin's theorem on the solutions of analytic equations
Bernstein–Walsh lemma
Boettcher coordinate (currently redirects to Boettcher equation, the correct spelling of the name is Böttcher)
Equilibrium measure -
Fatou coordinate - see Fatou coordinate
Formal Newton series
Fuchsian uniformisation -<ref>Template:Cite book</ref>
Hyperbolic components
Hyperbolicity (complex geometry) (not the same as Gromov hyperbolic space, could be included in Kobayashi metric)
Koebe function currently a redirect
Kuranishi space
(Louis) Brands Formula
Neumann operator
Natural coordinate system
Paving lemma
Polysign numbers
Proper mapping theorem
Recursive filter (IIR) float accuracy problem
Schlicht function currently a redirect
Schottky uniformisation -<ref>Template:Cite book</ref>
Z plane as corresponding to Z transforms as used in control engineering

Convex analysis / OptimizationEdit

Chordal sparsity
Constrained conjugate gradient / Conjugate gradient with barriers (how does the barrier effects the conjugate gradient solution) -
Error surface (see, e.g., [12]) -
Forward backward algorithm (operator splitting) (see same reference as for POCS)
Hildreth-d'Esposo algorithm - [13] [14]
Hopscotch method -
Noisy optimization -
Parameter errors in nonlinear regression mentioned here
Preference description language (see, e.g., [15] (pdf)) -
Roman Polyak -
Waterfilling theorem -

CryptographyEdit

Comp128v2
Hierarchical Hash-Chain Broadcast Encryption Scheme - see paper and glossary (further docs available in 'broadband bundle')
LASH (cryptography) see paper, NIST 2006 workshop, cryptoanalysis, analysis(2), authors PhD. thesis, (german) Diplomathesis about LASH (see 4.3.2)
Multilinear modular hashing
Online/offline signature [16]
Patterson's algorithm
Post-alien cryptography - see IETF internet draft, paper, IACR paper, website, website.
Pseudo random large bit sequence using XOR feedback
Range proof
Ratcheting (cryptography) - Disambiguate from Ratcheting. Redirect from Ratcheted encryption, Key ratcheting, and Ratcheted key exchange. Wikilink from Double Ratchet algorithm. See Signal: Advanced cryptographic ratcheting, Cryptography Stack Exchange: What is a ratchet?, and Ratcheted Encryption and Key Exchange: The Security of Messaging.
The Card-Chameleon Cipher - see irc forumları source
Post-compromise security or otherwise known as Future secrecy (similar to but more advanced than Forward secrecy), a category of encryption whereby individual messages can not be decrypted even when an attacker breaks a single key - they need to intercept all messages in order to do so. This is apparently a feature of the Signal protocol and also mentioned in Double ratchet algorithm.
Lightweight cryptography, or cryptography on embedded systems. NIST has a competition for this.
Ascon (cryptography) - a family of lightweight algorithms for authenticated encryption and hashing. Went well in the CAESAR competition.

Differential equationsEdit

Calderon's uniqueness theorem
Carleman estimates
Complex differential equation (ordinary and partial differential equations with complex numbers)
De Giorgi's conjecture
Differential Gröbner basis
Extended linearity principle
Fuchsian system -<ref>*Fuchsian System -- from Wolfram MathWorld</ref>
Heaviside transform
Green current -<ref>*Template:Cite book</ref>
Hypercomplex differential equation (ordinary and partial differential equations with quaternions, octionions and other hypercomplex numbers, from hypercomplex analysis)
Involutive form
Microdifferential operator
Point symmetries
Pseudo-differential equation (e.g. with p-adic numbers, in a non-Archimedean space, therefore 'ultrametric pseudo-differential equation')
quantum differential equation
semi-linear wave equation, a generalization of the classical wave equation, e.g., [17]
Singular limit
Stehfest algorithm for inverse Laplace transform
Universal limit theorem

Please make a page on linearization of ordinary differential equations. More precisely, consider the system x dot = f(x,u,t) wherex and u are vectors. Then it is a standard result used in the theroy of control systems (in engineering disciplines) that it can be linearized as

x dot = Ax + Bu where A = partial f / partial x and B = partial / partial u. However, in the engineeiring books or web resources no proof is offered for it. Many textbooks cite the following book [*] as a reference for its proof, but unfortunately I do not have access to it. In the engineering field many researchers will benefit from its proof.

[*] H. Amann. Ordinary Differential Equations: An Introduction to Nonlinear Analysis, volume 13 of De Gruyter Studies in Mathematics. De Gruyter, Berlin - New York, 1990. Template:Unsigned4

This is a simple application of the concept of a Total derivative. Whether there is justification for having a whole article on the specific application you have in mind I am not sure. The editor who uses the pseudonym "JamesBWatson" (talk) 14:59, 13 October 2015 (UTC)

I have made a draft article on Quasilinearization in response to the request above. It is awaiting approval at Draft:Quasilinearization. Rob.Corless (talk) 20:46, 31 March 2022 (UTC)

Differential geometry and topologyEdit

Birkhoff curve shortening process -
Cartan–Tits ﬁxed point theorem
Casson–Donaldson invariant
clean intersection
Colding–Minicozzi theorem on embedded minimal surfaces [18] [19] [20]
Conjugate locus -
Formality conjecture
geometric Satake correspondence
Bounded geometry (in the sense of Gromov)
Grothendieck lemma -
Groenewold–van Hove's no go theorem (maybe redirect)
Hamilton's compactness theorem -
Hamilton's tensor maximum principle -
Heat equation proof of the Atiyah–Singer index theorem
Hopf problem (source: Template:Arxiv). This is the open problem of whether there is a complex structure on the 6-sphere.
Initial submanifold
Lacunary principle
Lefschetz decomposition -
Light cone quantization -
Metric measure space
Mukai vector
Multijet (mathematics)
Natural bilinear concomitant -
Newstead–Ramanan conjecture - [21]
Nonlinear connection -
Pfaffian line bundle
Partial tangent functor -
Pseudofunction and partie finie (with redirects from Hadamard's partie finie, *Hadamard's finite part) -
Pseudospherical surface now redirects to pseudosphere but there are many more pseudo spherical surfaces (of which 2 types are smooth ones) see https://en.wikipedia.org/wiki/Talk:Pseudosphere#Pseudospherical_surface_redirects_wrongly_to_this_page
Quantum knot
quantum tangle
Randers manifold -
Reshetikhin–Turaev tangle calculus
Ricci's lemma -
Symplectic connection -
Symplectic resolution
Tight surface (see, for example, [22]) -
Total surgery obstruction
Transvection (geometry)
Uncertain geometry (paper 2008 Simon Jackson commutative representation of Quantum Mechanics?) - also listed under "Algebraic geometry" and under "Geometry".
Weyl's theorem on invariants (cf. [23])
Whitney forms -

Dynamical systemsEdit

Aubry–Mather theory -
Twist maps (see, e.g., [24]; related to Aubry–Mather theory; classic example is Dynamical billiards, although that page does not contain this perspective)
CARIMA model -
Denef–Loeser zeta function or topological zeta function
Dimension theory of dynamical systems -
Earthquake flow -<ref>Template:Cite journal</ref>
Hilbert–Arnold problem ru:Проблема Гильберта — Арнольда
Kolmogorov model, a more generalised form of the Lotka–Volterra equations (cited at end of the lead)
Lifshitz sphere (reference to Casimir effect through Evgeny Lifshitz?)
Nilflow, e.g., as studied by Bill Parry (mathematician)
Palis conjecture (finitude of attractors)<ref name="BonattiDíaz2006">Template:Cite book</ref>[25]
Period-doubling monoid - currently redirects to De Rham curve#Properties
Pseudo-torus -<ref>Template:Cite book</ref>
Topological pressure -<ref>Template:Cite book</ref>
Wiener's ergodic theorem (ergodic theorems for <math>\mathbb{Z}^d</math> actions; see [26]) -
Zeeman catastrophe machine (see, e.g., [27])

Elementary arithmeticEdit

1+1(Elementary arithmetic)(ja:1+1)
Proportion, see the page content currently being overshadowed by a redirect, and the talk page for the entry.
Swinging factorial NegativeZ (talk) 03:34, 24 September 2021 (UTC)

Functional analysisEdit

Angelic space -
Bartle–Dunford–Schwartz theorem -
Brown–Douglas–Fillmore theory (classification of essentially normal operators by their essential spectrum and Fredholm index; introduces also a K-homology, a homology theory on topological spaces defined using C*-extensions.)
Cayley–Neumann transformation -<ref name=AII83/>
Choi–Effros lifting theorem (stating that a *-homomorphism, from a C*-algebra into a quotient has a completely positive lift if the *-homomorhism is nuclear, in particular when the C*-algebra is nuclear.)
Choi–Effros theorem for operator systems (abstract characterization of operator systems, plays the same role as the GNS theorem for C*-algebras.)
Codistribution -
Collectively compact linear operators
Complete convergence -
Convenient analysis -
Finite representability -
Fundamental period -
Fragmentability -
Hermite–Gaussian -
Kac–Takesaki operator
Modular operator - (Modulo operator)
Nehari's theorem -
Nekrasov's integral equation describes surface waves and is named for Aleksandr Nekrasov. See, for example, Kuznetsov's article on John Wehausen [28] or this issue in the Mathematica Journal [29] or the entry in the EOM [30]. The Google turns up plenty more articles citing Nekrsov's work.
Nonlinear operator theory -
Potapov–Ginzburg transformation -<ref name=AII83>Template:Cite journal</ref>
Prime Banach space -
Pseudomeasure Ref: [31]
Quasi-hyperbolic metric -
Quasinuclear operator -
Quaternionic Hilbert space - (see, e.g., <ref>Template:Cite journal</ref><ref>Template:Cite journal</ref>)
Stampacchia theorem -
Super-reflexive space (or *superreflexive space) -
Symbol filtered algebra -
Tensor product of C*-algebras
Uniformly smooth Banach space -
Voiculescu's theorem (stating that if the image a representation of a concrete C*-algebra does not contain any compact operators, then, up to unitary equivalence modulo the compacts, it is absorbed by the identity representation as a direct summand.)

Field theoryEdit

Baer–Krull correspondence
Brauer field -<ref name=Jac96>Template:Cite book</ref><ref name=Whap57/>
Brauer–Witt theorem
Dedekind field -<ref>Template:Cite book</ref>
Frobenius field -<ref>Template:Cite book</ref>
Kaplansky field - <ref name=Whap57>Template:Cite journal</ref>
Kronecker conjugacy, Kronecker class -<ref>Template:Cite book</ref>
Locality (field)
Pasch field
Pólya field -<ref>Template:Cite journal</ref>
Pre-Hilbert field -<ref>Template:Cite book</ref>
Quadratic form scheme -<ref>Template:Cite book</ref>
Ramification pairing
Saturated field

Galois theoryEdit

Automorphic Galois representation
Class invariant homomorphism (due to Waterhouse)
Tate–Nakayama duality

Game theoryEdit

Marketmaking in a Panopticon (by Sandler)
Multi-perturbation Shapley value analysis (MSA)
Average Cost Threshold Protocol (A protocol for the funding of public goods) ([32])
Timeless decision theory.

GeometryEdit

Line-cube intersection
Ammann tilings
Anisotropic triangles
Antipodal symmetry
Apeirogonal dipyramid (apeirogonal prism dual)
Arnold's invariants (or Arnold invariants) (J± and St) see https://en.wikipedia.org/wiki/Draft:Arnold_invariants
Bourgain's conjecture [33]
Circle plane
Construction of conic sections 00:31, 17 March 2011 (UTC)
Cut-and-project -
Decakismyriagon (100000-sided polygon)
Diametral circle
Diametral lens
Differences between a catenary, parabola, and hyperbola
Divider dimension
Euler segment
Geometric figures or List of common geometric figures. As it is, I can't find the names of some simple figures. I shouldn't have to go searching and searching in "polygons" and "curvilinear figures" and "three-dimensional figures." A simple list or table with illustrations and either short descriptions or Wikipedia links would be fine. I'm not looking for some complicated technically correct dense mathematical discussion, just a way to find out the basics.
Geometric triality, briefly mentioned at triality but a different concept
Haruki's lemma
Hexad
Milnor's theorem [34] Note: half the theorem is stated at Growth rate (group theory), I don't think much more is needed apart from adding the other half and maybe a redirect (with a more precise page name then simply "Milnor's theorem).
Mixed geometry
Model set (cf Harmonious set)
Nesting polygons
Noncommutative plane
Operational mathematics
Parabolic spandrel
Pentacontahenagon (51-sided polygon)
Peritrochoid
Petersen–Schoute theorem -<ref>Template:Cite book</ref>
Polystix, Similar to Tetrastix but for sticks of different cross-sections, such as equilateral triangles (tristix) and regular hexagons (hexastix).<ref>Template:Cite book</ref> I don't own the reference book myself, but from the limited google books preview, I gather that they are related to crystalline structures and regular spherical packings of 3d space. As such it may be better to add a redirect to a page about one of those topics, or to the Tetrastix page, and also add complimentary material there explaining the relationship.
Quasilattice
Purser's theorem From http://mathworld.wolfram.com/PursersTheorem.html but I don't understand how one chooses those <math>\pm</math> signs. So a bit clearer statement is needed.
Shape grammar theory
Stevanović's Circle http://mathworld.wolfram.com/StevanovicCircle.html
Tripling a square
Theory of proportions
Triangle midsegment conjecture (see [35], should probably be a redirect)
Uncertain geometry (paper 2008 Simon Jackson commutative representation of Quantum Mechanics?) - also listed under "Algebraic geometry" and under "Differential geometry and topology".
Weak separation property (fractal geometry)
directed angles, an extremely useful result in euclidean geometry, simplifying many problems.
Wise's conjecture, explanation on https://ldtopology.wordpress.com/2012/03/06/wises-conjecture/, in fact there should probably be a page on CAT(0) cube complexes or at least a section in the page for CAT(0) space, which would include this.
Geometric manifold
Sutured manifold (could probably be a redirect to Thurston norm, though the page currently lacks substantial info on the topic and should be edited before such a redirect)

Graph theoryEdit

Confusion graph<ref>Template:Cite book</ref>, also Confusability graph<ref>Template:Cite book</ref>
Connection matrix
Dark geometry
Dynamic segmentation
Elimination order
Ellentuck's theorem
Explosive percolation
Filled graph
Frerejaque number
Generalized net (extension to Petri net)
Implicit and explicit domain and range
Longest circuit
Mass-distance relation
Maximum vertex biclique
Midquad
Minimum broadcast graph
Minimum semidefinite rank of a graph
Minimum skew rank of a graph
Natural equation
Plabic graph -<ref>Template:Cite journal</ref>
Restriction scaffold problem
Surface class
Toppling ideal -<ref>Template:Cite journal</ref>
Tree measure / Tree metric
Topological Tutte polynomial - <ref>Template:Cite book</ref>
Uniconnected subgraph
Welsh–Powell algorithm<ref>Template:Cite journal</ref>

Group theoryEdit

Cliquet theory
Floretion (Numbers with digits 1,2,4,7 when written in base 8, equipped with group multiplication [36], could also be in Abstract Algebra or Number Theory. For floretions of order 1 (quaternions) or 2, see Mathar, R. [37] and [38])
Garside theory
Melnikov group -<ref>Template:Cite book</ref>
Recoupling theory
Reidemeister–Schreier rewriting process
Repeating group
Schreier basis, Schreier system -<ref>Template:Cite book</ref>
Singer cycle (should be in Geometry of field planes)
Uniform pro-p-group

Harmonic analysisEdit

Harmonic regression analysis
Higher-order Fourier analysis -<ref name=TaoHOFA>Template:Cite book

</ref>

Kunze–Stein operator
Local smoothing conjecture (the most general one, implies Restriction conjecture)
Parahoric Hecke algebra
Polynomial phase -<ref name=TaoHOFA92/>
Restriction conjecture (implies Kakeya conjecture, implied by Bochner–Riesz conjecture, now a redirect)

History of mathematics and other cultural aspectsEdit

~~Ancient Chinese finger counting - [39] gives the basic numbering - but how do you do multiplication, division etc.? —~~
Calculus reform —
Etymology of mathematical notation —
History of one million
List of mathematical notation by country A table containing each country's standard symbols for math expressions
Rigorization of analysis , usually referred to in 19th century —
economics of reason

History of mathematics JournalsEdit

Homological algebraEdit

Integrable systemsEdit

Donagi–Markman construction

K theoryEdit

Additive dilogarithm
Arithmetic K-theory
cyclotomic trace
Dirac morphism
E-theory of Higson and Connes, e.g., Equivariant E-theory for C*-algebras
Geometric K-theory
Grothendieck period conjecture
Levine's localisation theorem
Motivic fundamental group
p-adic K-theory
Quillen's localization theorem
Suslin's rigidity theorem
(equivariant) Tamagawa number conjecture (currently a redirect)
Tate spectrum [40]

Lie groups, Algebraic groups / Lie algebrasEdit

12-j symbol
15-j symbol
Belavin–Drinfeld classification
Borel density theorem
Cartan calculus [41] (maybe redirect?) -
Cartan–Iwahori decomposition This is the non-archimedian version of the Cartan decomposition for real Lie groups; probably should be a redirect to this page after the relevant content is added.
Casimir connection
Contact Lie group
Deligne groupoid
Dynkin's π-system
Formality theorem
Kac diagram
Kazama–Suzuki supercharge operator
Klimyk's formula -
Kostant section
Kostant–Weierstrass slice
Lacing number
Lie colour algebra -<ref>Template:Cite book</ref>
Motivic Lie algebra
Olshanskii semigroup
p-adic Lie group (currently a redirect, gets half a sentence) -
Polar representation [42]
Primitive invariant -
Racah-Wigner algebra -
Racah's multiplicity formula -
Slodowy slice
θ-group
Uhlenbeck space
Wakimoto module
z-extension

Linear algebraEdit

Anderson–Jury Bezoutian [43]
Anisotropic group [44]
Fast Givens rotation -
Horn's conjecture (on Hermitian matrices proved by Tao) -
Hotelling deflation -
Leading 1 -
Levitzki's theorem (not the same as Levitzky's theorem or Amitsur–Levitzki theorem or Hopkins–Levitzki theorem) -<ref>Template:Cite book</ref>
Loewner matrix -
Matrix lumping -
Monotone matrix function -
Nazarova–Roiter algorithm -
Point matrix -
Test matrix -
scheduled relaxation Jacobi method - [45]
Kruskal rank -

Mathematical analysisEdit

Bernstein–Walsh theorem -
Central function
Exhaustion function (in the sense, for example, a Stein manifold admits an plurisubharmonic exhaustion function) -
Friedrichs' lemma
Lagrangian distribution
Percent recovery
Strong–Riesz mean
Whittaker–Watson formula
Division by infinity: Indeterminate form, Cantor's Theorem, Well-defined
Newton integral
Bourbaki integral

Mathematics educationEdit

Open Middle - Open Middle is an educational website for teachers founded by Robert Kaplinsky in 2013. It features "open middle" math problems, which are problems where the method to find the desired answer is up to the student. They are aligned with Common Core and Depth of Knowledge (DOK) levels 2-3. [46][47][48][49]
socio-mathematics or socio mathematics<ref>Template:Cite journal</ref>
Theory of didactical situations - ICMI Awards - Didactic engineering - Raymond Duval
Quantrell Award - “The Quantrell Award is believed to be the nation’s oldest prize for undergraduate teaching. Based on letters of nomination from students, the award is among the most treasured by faculty. Nobel Laureate James Cronin, University Professor in Physics, said he was “bowled over to be receiving this Quantrell prize.” from https://www.uchicago.edu/about/accolades/35/

Mathematical logicEdit

Template:Requested articles subpage

Mathematical physicsEdit

Belavin–Knizhnik theorem, Holomorphic anomaly -<ref>Template:Cite book</ref>
Belavin S-matrix -<ref>Template:Cite journal</ref>
Coleman's Principle
Epsilon-expansion
Chiral integral
Kustaanheimo-Stiefel transform -<ref>Template:Cite journal</ref> (See: Universal variable formulation)
Lifshitz sphere
Sugawara construction
STU model
Uhlenbeck's weak compactness theorem
Arnold web [50]
Johar M. Ashfaque [RSS Fellow, MInstP, AMIMA, Data Scientist, Mathematical Physicist]

MathematiciansEdit

Prior to creating an article, any biographical details can be added to: Wikipedia:WikiProject Mathematics/missing mathematicians.

A–GEdit

Mohammed Abouzaid [51] [52]
~~Gottfried Achemmel~~
Takashi Agoh (Agoh–Giuga conjecture)
William Kenneth Allard [53]
Gregory Balk
Antony Bartholomay
Bonaventure Berloty
~~Mitya Boyarchenko~~
Margaret Edward Boyle [54]
Yann Brenier
David Burns (mathematician) (the mathematician)
Buttimore, Nigel Maths-physicists, Professor Emeritus, Fellow Emeritus, Trinity College, University of Dublin, Departmental Homepage
Gulbank Don Chakerian (USA)
Seok-jeong Choi (1646-1715) Korean aristocrat and author of Gu-Su-Ryak
Louis Crane
Xianzhe Dai AMS Fellow
Hernandez David, [[55]]
Eric Dollard
John Duncan (mathematician) (the mathematician)
Robert Duncan Edwards : de:Robert Duncan Edwards, pt:Robert Duncan Edwards
William N. Everitt – William Everitt – mathematician
~~Jonathan David Farley~~
Zuming Feng
Achim Flammenkamp home page
Bengt Fornberg
J. Franel (France – 19th century–20th century) ? Jérôme Franel (1859–1939), Swiss mathematician
Carl August Adolph Gauss – grandson of Carl Friedrich Gauss (1849–1927)
Sergei Gelfand
Giuseppe Giuga (Agoh–Giuga conjecture, Giuga number)
James F. Glazebrook
Rajaram Goundar
Georges Gras
~~Benjamin Greenleaf~~ (1786-1864) -<ref>Template:Cite journal</ref>
James Grime
Allan Wechsler – helped John Horton Conway and Richard K. Guy to develop one of the systems for naming very large numbers

H–NEdit

Denis Hanson (Bertrand's postulate#Generalizations)
Lothar Heffter already an article on German wikipedia (https://de.wikipedia.org/wiki/Lothar_Heffter)
Heintze, Ernst
Melvin Henriksen (Pierce–Birkhoff conjecture, Leonard Gillman#Biography)
Hildebrandt, Theophil Henry (T. H.)
Hirsch, Warren author of the Hirsch conjecture, [NYU obituary]
Helmut Hofer, a founder of symplectic topology, IAS announcement – he's not this same-named Helmut Hofer
Seymour Jablon (1918–2012), American statistician and key member of the ABCC/RERF [56]
Jaffard, Paul
Jarvis, Frazer
Katsevich, Gene
Kaull, Donald
Kelley, Kyle
Kempf, Dr. Karl
Kim, Myung-hwan
Kings, Guido
Knoer, Alvin
Knus, Max-Albert (algebraist)
Kominers, Scott Duke
Kreyszig, Herbert
Langberg, Valerie
Lansey, Jonathan
Legnani, Tom
Lehert, Philippe (Belgian scientist, researcher and Senior Consulting Statistician at the United Nations. Lehert has developed innovative statistical modelling and analysis techniques in the field of epidemiology) (https://findanexpert.unimelb.edu.au/profile/13492-philippe-lehert)
Linderholm, Carl
Liu, Qing (the mathematician)
Lockhart, Paul (mathematical educator)
Mandel, Stefan Romanian, ran a "lotto syndicate" that bought out the Virginia lottery in the 90s
Mircea M. Marinescu - physicist
Mad Mathmos (a group at Cambridge University)
Matsumura, Hideyuki
Mazzeo, Rafe - Mathematician, currently a Department Chair at the Mathematics Department at Stanford University [57]. He obtained his PhD at MIT in 1986 under R.B. Melrose [58]. His research areas are Differential Geometry, Microlocal Analysis, and Partial Differential Equations [59]. He published over 100 mathematics papers in many prestigious journals [60], [61], including Annals of Mathematics [62]. His work has been cited over 5000 times [63]. He is the founder of the Stanford University Mathematics Camp [64] This entry was added on the 16th of November, 2020.
Michal, Aristotle
Murphy, Timothy G. Mathemitican working in the area of Group Representations, Professor Emeritus, Trinity College, University of Dublin Departmental webpage
Nicoara, Andreea C.
Norden, Aleksandr Petrovich
Evgeny Mukhin (American-Russian mathematician studying high-level algebra, while directing graduate services at IUPUI in Indianapolis Indiana. His works have been cited thousands of times on google scholar. His research has been published in numerous prestigious magazines, and he is internationally recognized, often traveling the world presenting his research.) (https://link.springer.com/article/10.1007/s002200000323, https://www.ams.org/journals/jams/2009-22-04/S0894-0347-09-00640-7/)

O–ZEdit

Pang, Jong-Shi – Prize-winning American mathematician at University of Illinois.
Papin, Isaac q.v. fr:Isaac Papin
Pemantle, Robin - Rollo Davidson Prize winner, Professor at UPenn
Pimenov, Revolt Ivanovich
E. G. Poznyak (also E. G. Pozniak) – Soviet mathematician, he wrote many articles on the Soviet Encyclopedia of Mathematics. http://ru.wikipedia.org/wiki/Позняк,_Эдуард_Генрихович
Landon Rabern - American mathematician, https://doi.org/10.1016/j.disc.2023.113507
Prabhakar, Tilak Raj
Rong, Xiaochun -American Mathematical Society Fellow at Rutgers
Rooney, Caoimhe – mathematician from Belfast, researcher of distant planets, founder of Methematigals for women in STEM, listed in Forbes 30 Under 30 [65]
Saito, Shuji
Sato, Kanemoto
Schedler, Travis
Agnes Mary Scott [66]
Sendova, Eugenia
Shult, Ernest
Ivan Stephen Sokolnikoff (Russian, Ph.D. 1930 University of Wisconsin, ended career teaching at U.C.L.A)
Stone, Lawrence D.- Recipient of the 1975 Frederick W. Lanchester Prize (INFORMS)
Eva Marie Strawbridge
Szamuely, Tamás
Tamagawa, Akio
Template:Ill, Tsfasman-Vladut-Zink bound, Niederreiter-Rosenbloom-Tsfasman metrics
Garret N. Vanderplaats – active in optimization, winner of Wright Brothers Medal
Venjakob, Otmar
Vieille, Nicholas - Recipient of the 2003 Frederick W. Lanchester Prize (INFORMS)
Wiegand, Roger (see Sylvia Wiegand)
Willis, George (see Totally disconnected group)
Wunderlich, Walter
Knut Wittkowski
Yuri Yatsenko
Yetter, David N. (see HOMFLY_polynomial)
Zacks, Shelemyahu
Zygmunt Zahorski
Yuri Zarhin
A.A. Zykov Important early figure in graph theory, used a method called Zykov symmetrization to prove Turan's theorem (https://en.wikipedia.org/wiki/Tur%C3%A1n%27s_theorem#Zykov_Symmetrization), already an article on Russian wikipedia (https://ru.wikipedia.org/wiki/%D0%97%D1%8B%D0%BA%D0%BE%D0%B2,_%D0%90%D0%BB%D0%B5%D0%BA%D1%81%D0%B0%D0%BD%D0%B4%D1%80_%D0%90%D0%BB%D0%B5%D0%BA%D1%81%D0%B0%D0%BD%D0%B4%D1%80%D0%BE%D0%B2%D0%B8%D1%87)

MatricesEdit

Centered in describing the columns or rows of a matrix Template:Clarification needed (Is this different from Centering matrix?)
Contraction equivalence -<ref>Template:Cite book</ref>
Matrix-matrix transport -
Mixed discriminant -<ref>Template:Cite book</ref>
Term rank -<ref name=Gut08>Template:Cite book</ref>
Pseudo covariance (Also called of "complementary covariance". The pseudo-covariance is defined whenever a complex random vector z and its conjugate z* are correlated, making the covariance matrix C = cov(z) = E zz^H not describe entirely the second order statistics of z.)

Measure TheoryEdit

Besicovitch–Federer projection theorem

Number theoryEdit

Prime number distribution series -

<ref>http://nuclearstrategy.co.uk/prime-number-distribution-series</ref> <ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref>

32760_(number) -- lowest number evenly divisible by all integers from 1 to 16; factorisation 2 * 2 * 2 * 3 * 3 * 5 * 7 * 13. [Comment: 32760 is not divisible by 16 or 11. The correct lowest number divisible by 1 through 16 is 720720.]
7920 (number) -- see http://www.numbergossip.com/7920 -- as far as I can see, the only unique thing about this number is that it's the order of the smallest sporadic simple group

Numerical analysisEdit

Absorbing boundary condition (with redirect from *absorbing boundary conditions and mentioning *perfectly matched layer) -
Alphacertified e.g. [67]
Essentially non-oscillatory (ENO) -
Faure sequence -
Gregory's integration formula See [68]
Homotopy continuation method for solving for roots. e.g. [69]
Lentz's algorithm (for the evaluation of continued fractions) -
Orthomin(1) algorithm (for approximating Ax = b) -
Peano kernel e.g., see page 149 of [70]
Primorial factorization -
Watson transformation -
Wexler's algorithm - (referenced in the alt-text of xkcd.com/69)
Zero stability (of linear multistep methods) -

Order theoryEdit

Adjoint functor theorem (order theory) -
Continuous poset -
Galois insertion
Greechie diagram -
Ideal completion -
Irreducible element (order theory) -
Join-dense set -
Kaucher arithmetic -
Localic group -
Mathematical relaxation (order theory) -
Meet-dense set -
Powerdomain (order theory) -
Prime element (order theory) -
Suzumura consistency -<ref>Template:Cite book</ref>

OrganisationsEdit

Art of Problem Solving Foundation
European Consortium for Mathematics in Industry - ECMI (Note see article in French Wikipedia [71] )
European Society for Mathematical and Theoretical Biology - ESMTB
Mathematical Society of South Eastern Europe - MASSEE
Albanian Mathematical Society
Belarusian Mathematical Society
Belgian Statistical Society
Bosnian Mathematical Society
Croatian Mathematical Society
Indonesian Mathematical Society
Italian Association of Mathematics Applied to Economic and Social Sciences
Società Italiana di Matematica Applicata e Industriale
Lithuanian Mathematical Society
Macedonian Society Association Mathematics/Computer Science
Mexican Mathematical Society (Sociedad Matemática Mexicana)
Network Science Society [72]
Ural Mathematical Society
Vietnam Mathematical Society
Voronezh Mathematical Society
Union of Slovak Mathematicians and Physicists - JSMF
Sociedad Española de Matemática Aplicada (Spanish Soc. of Appl. Math.)
Societat Catalana de Matemàtiques (Catalanian Society of Mathematics)
Swedish Statistical Society
Ukrainian Mathematical Society

Probability theoryEdit

Bayesian mapping
Bhattacharyya bound
Bus theorem
Cameron–Martin development
Causal Bayesian network
Constant parameters process
Continuous tree
Convergence in variation
Cramér–Lundberg approximation
Derived distribution
Do-calculus [73]
Doob's upcrossing inequality
Feinstein's fundamental lemma<ref>Template:Cite book</ref>
Feldman–Hajek theorem<ref>Template:Cite book</ref><ref>Template:Cite journal</ref>
Finite set statistics
Hawkes process
Heavy-traffic diffusion approximations to queueing systems
Kantorovich–Rubinstein theorem
Luders rule
Marked point process
Martin boundary
Noncommutative probability theory, maybe even merged with free probability: quantum stochastic processes, quantum stochastics calculus, etc. One might see Noncommutative geometry for a general idea.
Objective chance
Probability Hypothesis Density Filter
Probability summation
Random covering
Stein's two-sample procedure
Stress–strength model
Threshold function and their relation to combinatorics/graph theory, number theory, etc. -
Track-to-track fusion
Transformation law of probabilities
Verdu–Han lemma
Watson Distribution

Quantum stochastic calculusEdit

Evans–Hudson flow see Robin Lyth Hudson

Real analysisEdit

Bi-Pareto distribution -
Correct value as opposed to final value. this is seen when talking about true mean AND mean in statistics. But there is no article explaining this difference.
Hake's theorem (see *Henstock–Kurzweil integral) -
Leibniz transmutation method -
n-dimensional singularity -
Probability inequalities -
Sierpinski–Erdős duality theorem -
Statistical convergence -
List of Lebesgue integration identities -

Recreational mathematicsEdit

Representation theory (incl. harmonic analysis)Edit

Semigroup theoryEdit

Special functionsEdit

Confluent hypergeometric limit function (i.e. ₀F₁; currently redirects to generalized hypergeometric function, or _pF_q)
Gram–Charlier polynomials (currently redirects to Edgeworth series, which does not tell what a Gram–Charlier polynomial is)
Harmonic polylogarithms (or HPL's, appear e.g. in the expansion of hypergeometric functions when computing multi-loop Feynman diagrams. See e.g. [75])
Hyperlogarithm -<ref>Template:Cite book</ref>
Inverse tangent integral (currently redirects to polylogarithm; see also [76] §18)
Nielsen's generalized polylogarithm (for the subject matter see e.g. [77] §19)
Polylogarithm factorial
Prabhakar function (a 3-parameter Mittag-Leffler function that has many applications in fractional calculus and plays a fundamental role in the description of the anomalous dielectric properties in disordered materials and heterogeneous systems manifesting simultaneous nonlocality and nonlinearity and, more generally, in models of Havriliak–Negami type. See e.g. [78])