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 732 total.
(previous page) (next page)A
- Definition:Addition/Integers
- Definition:Addition/Natural Numbers
- 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
- Alternative Differentiability Condition
- Alternative Differentiability Condition/Proof 2
- Analytic Continuation of Riemann Zeta Function
- Definition:Angle
- Artin's Theorem on Alternative Algebras
- Associated Legendre Function
- Definition:Auxiliary Relation
- Axiom of Choice Implies Zorn's Lemma/Proof 1
- Axiom:Axiom of Continuity
- Axiom of Subsets Equivalents
B
- Definition:B-Algebra
- Basel Problem/Proof 2
- Definition:Bernoulli Numbers/Recurrence Relation
- Definition:Bernoulli Numbers/Sequence
- Definition:Between (Geometry)
- Definition:Between (Geometry)/N-dimensional Euclidean space Intuition
- Definition:Bijection
- Bijection has Left and Right Inverse
- Definition:Bilinear Mapping
- Definition:Binary Biproduct
- Definition:Binary Tree
- Binet Form
- Axiom:Birkhoff's Axioms
- Bolzano-Weierstrass Theorem/General Form
- Definition:Boolean Algebra/Definition 3
- Definition:Boubaker Polynomials
- 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
C
- Cauchy's Convergence Criterion/Complex Numbers
- Cauchy's Convergence Criterion/Complex Numbers/Lemma 1
- Cauchy's Group Theorem/Proof 1
- Characterisation of Local Rings
- Characterisation of Ordered Fields
- Characterization of Differentiability
- Chinese Remainder Theorem (Commutative Algebra)
- Definition:Choice Function
- Definition:Choice Function/Use of Axiom of Choice
- Church's Thesis
- Definition:Class Mapping
- Definition:Classes of WFFs
- Definition:Classical Propositional Logic
- Classification of Finite Simple Groups
- Closed Real Interval is Compact
- Definition:Closed Set
- Definition:Closed Set/Closure Operator
- Definition:Closure Axioms (Matroid)
- Closure is Closed/Power Set
- CNF Satisfiability Problem is NP-Complete
- 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
- Complement of Irreducible Topological Subset is Prime Element
- Definition:Complementary Idempotent
- Definition:Complex Number/Definition 2
- Definition:Complex Riemann Integral
- Compositions of Closure Operators are both Closure Operators iff Operators Commute
- Definition:Concatenation of Ordered Tuples
- Conditions for Internal Group Direct Product
- Definition:Consequence
- Definition:Constant Polynomial
- Definition:Continued Fraction Expansion
- Continued Fraction Identities/First/Infinite
- Definition:Continued Fraction/Expansion of Real Number
- Definition:Continuous Complex Function
- Continuous Real Function is Darboux Integrable
- Definition:Convergent Net
- 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
- Definition:Coset Space
- Definition:Coset Space/Left Coset Space
- Countable Union of Finite Sets is Countable
- Cyclic Group of Order 6
- Cyclic Groups of Order p q/Proof 1
- Definition:Cyclotomic Polynomial
D
- Dedekind's Theorem
- Definition:Definable/Element
- Definition:Definite Integral
- 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
- Determinant of Linear Operator is Well Defined
- Definition:Diagonalizable Operator
- Definition:Diffeomorphism
- Definition:Differentiable Functional
- Definition:Differentiable Mapping between Manifolds
- Definition:Differential of Mapping/Functional
- Definition:Differential of Mapping/Real Function
- Definition:Differential of Mapping/Real Function/Open Set
- Definition:Differential of Mapping/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
- 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
- Definition:Dirichlet Character
- Definition:Discontinuous
- Disjunction and Implication
- Definition:Disk
- Definition:Distributed Term of Categorical Syllogism/Predicate
- Definition:Distributed Term of Categorical Syllogism/Subject
- Definition:Distributive Lattice
- Definition:Divergent Function
- Definition:Divergent Product
- Definition:Divide (Model Theory)
- Division Algebra has No Zero Divisors
- Division Theorem
- Division Theorem/Positive Divisor/Uniqueness
- Divisors of Repunit with Composite Index
- Double Negation Elimination implies Law of Excluded Middle
- Definition:Dual Statement (Category Theory)
- Duality Principle (Category Theory)/Formal Duality
E
- Element of Leibniz Harmonic Triangle is Sum of Numbers Below
- Element of Universe
- Definition:Element/Class
- Definition:Embedding (Differential Geometry)
- Definition:Embedding (Model Theory)
- Definition:Engineering Notation
- Epimorphism from Real Numbers to Circle Group
- Equality implies Substitution
- Equality of Polynomials
- Definition:Equidistance
- Equivalence of Definitions of Absolute Convergence of Product
- Equivalence of Definitions of Baire Space
- Equivalence of Definitions of Bernoulli Numbers
- Equivalence of Definitions of Bijection
- Equivalence of Definitions of Closed Linear Span
- Equivalence of Definitions of Closure Operator
- Equivalence of Definitions of Compact Topological Space
- Equivalence of Definitions of Distributive Lattice
- Equivalence of Definitions of Euler's Number
- Equivalence of Definitions of Euler's Number/Proof 1
- Equivalence of Definitions of Gamma Function
- Equivalence of Definitions of Inverse Mapping
- Equivalence of Definitions of Limit Point
- Equivalence of Definitions of Logical Consistence
- Equivalence of Definitions of Lower Set
- Equivalence of Definitions of Minimal Infinite Successor Set
- Equivalence of Definitions of Normal Subgroup
- Equivalence of Definitions of Null Set in Euclidean Space
- Equivalence of Definitions of Principal Ideal
- Equivalence of Definitions of Projective Module
- Equivalence of Definitions of Semiring of Sets
- Equivalence of Definitions of Sine and Cosine
- Equivalence of Definitions of Tangent Vector
- Equivalence of Definitions of Transitive Closure (Relation Theory)
- Equivalence of Definitions of Transitive Closure (Set Theory)
- Equivalences are Interderivable
- Equivalent Conditions for Cover by Collection of Subsets
- Equivalent Definitions for Finite Tree
- Axiom:Euclid's Axiom
- Euclid's Lemma for Unique Factorization Domain
- Definition:Euclidean Metric
- Definition:Euclidean Space
- Definition:Euler Characteristic of Finite Graph
- Euler Formula for Sine Function/Real Numbers/Proof 1
- Euler's Equation for Vanishing Variation in Canonical Variables
- Euler's Formula/Real Domain/Proof 3
- Every Tenth Power of Two Minus Every Third Power of Ten is Divisible By Three
- Definition:Exactness of Chain Complex at Object
- Existence and Uniqueness of Direct Limit of Sequence of Groups
- Existence and Uniqueness of Generated Topology