Category:Refactoring In Progress
Jump to navigation
Jump to search
(previous page) (next page)
These are pages which are in the process of being refactored.
Usually this means being split into several pages (probably as subpages transcluded into a master page).
See the refactor template.
Pages in category "Refactoring In Progress"
The following 200 pages are in this category, out of 822 total.
(previous page) (next page)A
- A.E. Equal Positive Measurable Functions have Equal Integrals
- Symbols:Abbreviations
- Definition:Ackermann-Péter Function
- Definition:Addition/Integers
- Definition:Addition/Natural Numbers
- Definition:Aleph Number
- Definition:Algebraic (Model Theory)
- Algebraic Element of Field Extension is Root of Unique Monic Irreducible Polynomial
- Algebraic Element of Field Extension is Root of Unique Monic Polynomial of Minimal Degree
- Definition:Algorithm/Analysis
- All Infima Preserving Mapping is Upper Adjoint of Galois Connection
- Definition:Alternating Bilinear Mapping
- Alternative Differentiability Condition
- Alternative Differentiability Condition/Proof 2
- Definition:Altitude
- Analytic Continuation of Riemann Zeta Function
- Definition:Angle
- Definition:Angle Between Vectors
- Definition:Angle/Unit
- Definition:Annihilator of Ideal of Ring
- Area of Circle/Proof 3
- Artin's Theorem on Alternative Algebras
- Associated Legendre Function
- Definition:Atom (Logic)
- Definition:Auxiliary Relation
- Axiom of Choice Implies Zorn's Lemma/Proof 1
- Axiom:Axiom of Continuity
- Axiom of Pairing from Powers and Replacement
- Axiom:Axiom of Specification
- Axiom of Subsets Equivalents
- Definition:Axis
B
- Definition:B-Algebra
- Definition:Balanced Incomplete Block Design
- Basel Problem/Proof 2
- Definition:Bernoulli Numbers/Recurrence Relation
- Definition:Bernoulli Numbers/Sequence
- Bernstein's Theorem on Unique Global Solution to y''=F(x,y,y')
- Bertrand's Theorem
- Definition:Between (Geometry)
- Definition:Between (Geometry)/N-dimensional Euclidean space Intuition
- Definition:Big-Omega
- Definition:Bijection
- Bijection has Left and Right Inverse
- Definition:Bilinear Mapping
- Definition:Binary Biproduct
- Definition:Binary Tree
- Binet Form
- Axiom:Birkhoff's Axioms
- Definition:Block Matrix
- Bolzano-Weierstrass Theorem/General Form
- Definition:Boolean Algebra/Definition 3
- Boolean Prime Ideal Theorem
- Definition:Borel Sigma-Algebra
- Bottom-Up Form of Top-Down Grammar defines same Formal Language
- Definition:Boundary (Graph Theory)
- Definition:Bounded Lattice/Definition 2
- Definition:Bounded Minimization
- Bounded Minimization is Primitive Recursive
- Boundedness of Metric Space by Open Ball
- Bounds for Finite Product of Real Numbers
- Bounds for Weierstrass Elementary Factors
- Definition:Bézout Numbers
- Bézout's Theorem
C
- Definition:Canonical Injection (Abstract Algebra)
- Definition:Canonical Order
- Definition:Cantor Normal Form
- Carathéodory's Theorem (Measure Theory)
- Definition:Cardinal
- Definition:Cardinality of Continuum
- Category Axioms are Self-Dual
- Definition:Cauchy Determinant
- Cauchy's Convergence Criterion/Complex Numbers
- Cauchy's Convergence Criterion/Complex Numbers/Lemma 1
- Cauchy's Group Theorem/Proof 1
- Cayley-Menger Determinant
- Definition:Centroid
- Definition:Centroid/Set of Points
- Cesàro Mean
- Characterisation of Local Rings
- Characterisation of Ordered Fields
- Characteristic Function of Normal Distribution
- Definition:Characteristic of Ring/Definition 2
- Definition:Characteristic Polynomial of Linear Operator
- Characteristics of Traversable Graph
- Characterization of Differentiability
- Definition:Choice Function
- Definition:Choice Function/Use of Axiom of Choice
- Church's Thesis
- Definition:Class Mapping
- Definition:Class/Zermelo-Fraenkel
- Definition:Classes of WFFs
- Definition:Classes of WFFs/Plain WFF
- Definition:Classical Propositional Logic
- Classification of Compact One-Manifolds
- Classification of Compact Two-Manifolds
- Classification of Finite Simple Groups
- Closed Real Interval is Compact
- Definition:Closed Set
- Closed Set in Linearly Ordered Space
- Definition:Closed Set/Closure Operator
- Closure is Closed/Power Set
- Closure of Real Interval is Closed Real Interval/Proof 2
- CNF Satisfiability Problem is NP-Complete
- Definition:Coefficient of Polynomial
- Coefficients of Product of Two Polynomials
- Definition:Cohomology Groups
- Definition:Coloring
- Combination of Recursive Functions
- Combination Theorem for Sequences/Complex/Product Rule
- Combination Theorem for Sequences/Complex/Product Rule/Proof 1
- Definition:Commutator Subgroup
- Compact Subspace of Linearly Ordered Space/Reverse Implication
- Compactness from Basis
- Compactness Theorem
- Comparison Principle for Extremal Length
- Definition:Compatible Module Structures
- Complement of Irreducible Topological Subset is Prime Element
- Definition:Completely Metrizable Topology
- Definition:Completely Multiplicative Function
- Definition:Completion (Metric Space)
- Complex Algebra/Examples/z^2 (1 - z^2) = 16/Proof 2
- Definition:Complex Number/Definition 2
- Definition:Complex Riemann Integral
- Compositions of Closure Operators are both Closure Operators iff Operators Commute
- Definition:Concatenation (Topology)
- Definition:Concatenation of Ordered Tuples
- Condition for Bipartite Graph to be Hamiltonian
- Condition for Set Equivalent to Cardinal Number
- Conditions for Internal Group Direct Product
- Definition:Congruence (Number Theory)
- Definition:Conjugate Point (Calculus of Variations)
- Definition:Connected Domain (Complex Analysis)
- Definition:Connected Domain (Complex Analysis)/Simply Connected Domain/Requirement
- Definition:Consequence
- Definition:Constant Polynomial
- Construction of Outer Measure
- Definition:Continued Fraction Expansion
- Continued Fraction Identities/First/Infinite
- Definition:Continued Fraction/Expansion of Real Number
- Definition:Continuous Complex Function
- Continuous Complex Function is Complex Riemann Integrable
- Continuous Real Function is Darboux Integrable
- Definition:Contour/Simple
- Definition:Contour/Simple/Complex Plane
- Definition:Convergence Almost Everywhere
- Convergence of Taylor Series of Function Analytic on Disk/Lemma
- Definition:Convergent Product/Normed Algebra
- Convergent Sequence with Finite Number of Terms Deleted is Convergent
- Definition:Convergent Sequence/Metric Space
- Convergents of Simple Continued Fraction are Rationals in Canonical Form
- Definition:Convolution of Real Sequences
- Coproduct of Ordered Sets
- Correspondence between Linear Group Actions and Linear Representations
- Correspondence between Rational Numbers and Simple Finite Continued Fractions
- Correspondence Theorem for Localizations of Rings
- Correspondence Theorem for Ring Epimorphisms
- Cosine Function is Absolutely Convergent
- Definition:Cosine/Complex Function
- Countable Stability implies Stability for All Infinite Cardinalities
- Countable Union of Finite Sets is Countable
- Definition:Cycle Graph
- Cyclic Group of Order 6
- Cyclic Groups of Order p q/Proof 1
- Definition:Cyclotomic Polynomial
D
- Dedekind's Theorem
- Definition:Definable
- Definition:Definite Integral
- Definition by Cases is Primitive Recursive
- Definition:Degenerate Distribution
- Definition:Degree of Polynomial/Field
- Definition:Degree of Polynomial/Ring
- Definition:Degree of Polynomial/Zero
- Dependent Choice for Finite Sets
- Definition:Depressed Polynomial
- Derivation of Hamilton-Jacobi Equation
- Derivative of Complex Power Series/Proof 1
- Derivative of Complex Power Series/Proof 2
- Derivative of Constant Multiple/Real/Corollary
- Derivative of Inverse Function
- Definition:Derivative/Higher Derivatives/Second Derivative
- Definition:Descending Chain Condition
- Definition:Diagonalizable Operator
- Definition:Diffeomorphism
- Definition:Differentiable Functional
- Definition:Differentiable Mapping between Manifolds
- Definition:Differential/Functional
- Definition:Differential/Real Function
- Definition:Differential/Real Function/Open Set
- Definition:Differential/Vector-Valued Function
- Definition:Digital Root
- Definition:Dihedral Group
- Dihedral Group D4/Normal Subgroups/Subgroup Generated by a^2/Quotient Group/Subgroups
- Definition:Dimension (Measurement)/Units
- Dimension of Algebraic Dual
- Definition:Dirac Delta Function
- Direct Image Mapping of Injection is Injection
- Directed Hamilton Cycle Problem is NP-complete
- Directed Smooth Curve Relation is Equivalence
- Definition:Directed Smooth Curve/Parameterization/Complex Plane