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 812 total.
(previous page) (next page)A
- A.E. Equal Positive Measurable Functions have Equal Integrals
- 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
- 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
- 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: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 Inverse Mapping
- Bijection has Left and Right Inverse
- Definition:Bilinear Mapping
- Definition:Binary Biproduct
- Definition:Binary Tree
- Binet Form
- Binomial Distribution Approximated by Poisson Distribution
- Axiom:Birkhoff's Axioms
- 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
- Bound for Analytic Function and Derivatives
- 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
- 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
- Definition:Cardinality of Continuum
- Cardinality of Infinite Sigma-Algebra is at Least Cardinality of Continuum
- 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
- Cayley-Menger Determinant
- Cesàro Mean
- Definition:CGS
- Characterisation of Local Rings
- Characterisation of Totally Ordered Fields
- Characteristic Function of Normal Distribution
- Characteristic of Field by Annihilator
- Definition:Characteristic of Ring/Definition 2
- Definition:Characteristic Polynomial of Linear Operator
- Characteristics of Traversable Graph
- Definition:Chess
- Definition:Choice Function/Use of Axiom of Choice
- 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 Ball/Normed Division Ring
- 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
- Combination Theorem for Limits of Functions/Combined Sum Rule
- Combination Theorem for Limits of Functions/Multiple Rule
- Combination Theorem for Limits of Functions/Sum Rule
- 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
- 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 Metrizable Topology
- Definition:Completely Multiplicative Function
- Definition:Complex Number/Definition 2
- Definition:Complex Riemann Integral
- Complex Sequence is Cauchy iff Convergent/Lemma 1
- Compositions of Closure Operators are both Closure Operators iff Operators Commute
- Definition:Concatenation (Topology)
- Definition:Concatenation of Ordered Tuples
- Condition for Set Equivalent to Cardinal Number
- Conditions for Internal Group Direct Product
- Definition:Congruence (Number Theory)
- Congruence Relation on Group induces Normal Subgroup
- Definition:Conjugate Point
- Definition:Connected Domain (Complex Analysis)
- Definition:Connected Domain (Complex Analysis)/Simply Connected Domain/Requirement
- Definition:Constant Polynomial
- Construction of Outer Measure
- Definition:Continued Fraction Expansion
- Continued Fraction Identities/First/Infinite
- Definition:Continuous Complex Function
- 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 Product/Normed Algebra
- Convergent Sequence with Finite Number of Terms Deleted is Convergent
- Convergents of Simple Continued Fraction are Rationals in Canonical Form
- Definition:Convolution
- Definition:Conway Life
- 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
- Definition:Coulomb
- Countable Stability implies Stability for All Infinite Cardinalities
- Countable Union of Finite Sets is Countable
- Definition:Cube
- Cyclic Group of Order 6
- Cyclic Groups of Order p q/Proof 1
- 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/Functional
- Definition:Differential/Real Function
- Definition:Differential/Real Function/Open Set
- Definition:Differential/Vector-Valued Function
- Definition:Dihedral Group
- Dihedral Group D4/Normal Subgroups/Subgroup Generated by a^2/Quotient Group/Subgroups
- Dimension of Algebraic Dual
- Definition:Directed Graph
- Directed Hamilton Cycle Problem is NP-complete
- Directed Smooth Curve Relation is Equivalence
