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 866 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
- 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:Axiom of Empty Set/Set Theory
- Axiom of Pairing from Powers and Replacement
- Axiom:Axiom of Specification
- Axiom of Subsets Equivalents
B
- Definition:B-Algebra
- Definition:Balanced Incomplete Block Design
- Definition:Ball
- Banach-Alaoglu Theorem
- 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
- Bessel's Inequality
- 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
- Binomial Distribution Approximated by Poisson Distribution
- 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 Mapping/Metric Space
- 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
- Definition:Cardinality of Continuum
- Cardinality of Infinite Sigma-Algebra is at Least Cardinality of Continuum
- Category Axioms are Self-Dual
- Definition:Cauchy Determinant
- Cauchy's Group Theorem/Proof 1
- Cayley-Menger Determinant
- 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/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
- 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 Limits of Functions/Combined Sum Rule
- Combination Theorem for Limits of Functions/Multiple Rule
- Combination Theorem for Limits of Functions/Product Rule
- Combination Theorem for Limits of Functions/Quotient 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: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
- 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 Bipartite Graph to be Hamiltonian
- 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: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: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
- 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
- Convergents of Simple Continued Fraction are Rationals in Canonical Form
- 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:Curvilinear Coordinates
- 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:Derivative/Real Function/Derivative at Point
- Definition:Descending Chain Condition
- Definition:Diagonalizable Operator
- Definition:Diffeomorphism
- Definition:Differentiability Class
- Definition:Differentiable Functional
- Definition:Differentiable Mapping between Manifolds
- Definition:Differential/Functional
- Definition:Differential/Real Function
