Category:Refactoring In Progress
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 864 total.
(previous page) (next page)A
- A.E. Equal Positive Measurable Functions have Equal Integrals
- Definition:Absolute Galois Group
- Definition:Absolute Value/Norm Theory
- Definition:Acceleration
- Definition:Ackermann-Péter Function
- Definition:Addition/Integers
- Definition:Addition/Natural Numbers
- Definition:Affine Frame
- Affine Group of One Dimension is Group
- Definition:Algebraic (Model Theory)
- Definition:Algebraic Element of Field Extension
- 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
- Definition:Alternating Bilinear Mapping
- Alternative Differentiability Condition
- Alternative Differentiability Condition/Proof 2
- Analytic Continuation of Riemann Zeta Function
- Definition:Angle Between Vectors
- Definition:Angle/Unit
- Definition:Annihilator of Ideal of Ring
- Definition:Antihomomorphism
- Area of Circle/Proof 3
- Artin's Theorem on Alternative Algebras
- Associated Legendre Function
- Definition:Atom (Logic)
- Definition:Auxiliary Relation
- Axiom:Axiom of Continuity
- Axiom:Axiom of Empty Set
- Axiom:Axiom of Pairing
- Axiom:Axiom of Subsets
- Axiom of Subsets Equivalents
B
- Definition:B-Algebra
- Definition:Balanced Incomplete Block Design
- Banach-Alaoglu Theorem
- Definition:Barrier
- Bertrand's Theorem
- Bessel's Inequality
- Definition:Between (Geometry)
- 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:Boolean Algebra/Definition 3
- Boolean Prime Ideal Theorem
- Definition:Borel Sigma-Algebra
- Bottom-Up Form of Top-Down Grammar defines same Formal Language
- Bound for Difference of Irrational Number with Convergent
- Definition:Bounded Lattice/Definition 2
- Definition:Bounded Mapping/Metric Space
- Definition:Bounded Minimization
- Bounded Minimization is Primitive Recursive
- Boundedness of Metric Space by Open Ball
- Boundedness of Sine and Cosine
- Bounds for Weierstrass Elementary Factors
- Brouwer's Fixed Point Theorem/One-Dimensional Version
- Definition:Bézout Domain
- 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
- Definition:Cardinality of Continuum
- Cardinality of Infinite Sigma-Algebra is at Least Cardinality of Continuum
- Cardinality of Linearly Independent Set No Greater than Dimension
- Definition:Cartesian Product
- Definition:Cartesian Product/Family of Sets
- Definition:Cartesian Product/Family of Sets/Definition 2
- Category Axioms are Self-Dual
- Definition:Cauchy Determinant
- Definition:Cauchy Principal Value
- Cayley-Menger Determinant
- Cesàro Mean
- Definition:CGS
- Characterisation of Local Rings
- Characterisation of Totally Ordered Fields
- Characteristic of Field by Annihilator
- Definition:Characteristic of Ring/Definition 2
- Definition:Characteristic Polynomial of Linear Operator
- Characteristics of Traversable Graph
- Characterization of Involution
- Church's Thesis
- Definition:Circumradius
- 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
- Definition:Closed Set
- 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
- Definition:Commutator Subgroup
- Compact Subspace of Linearly Ordered Space/Reverse Implication
- Compact Subspace of Linearly Ordered Space/Reverse Implication/Proof 1
- Compactness from Basis
- Compactness Theorem
- Comparison Principle for Extremal Length
- Definition:Compatible Module Structures
- Definition:Complement (Graph Theory)
- Definition:Complete Graph
- Definition:Completely Hausdorff Space
- Definition:Completely Multiplicative Function
- Definition:Complex Number/Definition 2
- Definition:Complex Riemann Integral
- Definition:Composition of Mappings
- Composition Series of Group of Prime Power Order
- Compositions of Closure Operators are both Closure Operators iff Operators Commute
- Definition:Concatenation (Topology)
- Condition for Set Equivalent to Cardinal Number
- Definition:Congruence (Number Theory)
- Congruence Relation on Group induces Normal Subgroup
- Definition:Conjugate (Group Theory)/Element
- Definition:Conjugate (Group Theory)/Subset
- Definition:Conjugate Point
- Definition:Connected Domain (Complex Analysis)
- Definition:Constant Polynomial
- Construction of Outer Measure
- Definition:Content of Polynomial
- Content of Polynomials is Multiplicative
- Definition:Continued Fraction Expansion
- Continued Fraction Identities/First/Infinite
- Definition:Continuous Complex Function
- Definition:Continuous Function
- Definition:Continuous Mapping (Topology)
- Definition:Continuous Real Function/Left-Continuous/Point
- Definition:Continuous Real Function/Right-Continuous/Point
- Definition:Continuous Real-Valued Vector Function
- Definition:Contour/Simple
- Definition:Contour/Simple/Complex Plane
- Definition:Convergence Almost Everywhere
- Convergence of Taylor Series of Function Analytic on Disk
- Definition:Convergent Sequence
- 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
- Definition:Conway Life
- Definition:Coprime/Integers
- 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
- Definition:Cosine/Complex Function
- Definition:Coulomb
- Countable Stability implies Stability for All Infinite Cardinalities
- Countable Union of Finite Sets is Countable
- Definition:Cube
- Definition:Cyclic Group
- Cyclic Group of Order 6
- Cyclic Groups of Order pq
- Definition:Cyclotomic Polynomial
D
- Definition:Definable
- Definition:Definite Integral
- Definition:Definite Integral/Limits of Integration
- Definition by Cases is Primitive Recursive
- Definition:Degenerate Distribution
- Definition:Degree of Polynomial/Field
- Definition:Degree of Polynomial/Ring
- Definition:Degree of Polynomial/Zero
- Definition:Density (Physics)
- Definition:Density (Physics)/Area
- Definition:Density (Physics)/Linear
- Dependent Choice for Finite Sets
- Definition:Depressed Polynomial
- Derivation of Hamilton-Jacobi Equation
- Derivative of Constant Multiple/Real/Corollary
- Derivative of Inverse Function
- Derivative of Monotone Function
- Definition:Derivative/Higher Derivatives/Second Derivative
- Definition:Derivative/Real Function/Derivative at Point
- Definition:Descending Chain Condition
- Definition:Diagonalizable Operator
- Diameter of N-Cube
- Definition:Differentiability Class
- Definition:Differentiable Mapping between Manifolds
- Definition:Differential/Real Function
- Definition:Differential/Real Function/Open Set
- Definition:Differential/Vector-Valued Function
- Definition:Dihedral Group
- Definition:Dimension (Linear Algebra)/Vector Space
- Dimension of Algebraic Dual
