Category:Basic Refactoring
Jump to navigation
Jump to search
(previous page) (next page)
These are pages which are in the process of being refactored.
The required work is believed to be of basic level.
See the {{Refactor}}
template.
Pages in category "Basic Refactoring"
The following 200 pages are in this category, out of 238 total.
(previous page) (next page)A
B
C
- Characterisation of Local Rings
- Definition:Chebyshev Polynomials/First Kind
- Definition:Chebyshev Polynomials/Second Kind
- Definition:Choice Function/Use of Axiom of Choice
- Definition:Chord
- Chord Length for Regular Polygon
- Definition:Closed Linear Span
- Definition:Cohomology Groups
- Combination of Recursive Functions
- Compositions of Closure Operators are both Closure Operators iff Operators Commute
- Conditions for Integer to have Primitive Root
- Axiom:Content Axioms
- Continued Fraction Identities/First/Infinite
- Definition:Continued Product/Infinite
- Continuous Real Function is Darboux Integrable
- Definition:Convergent Net
- Convergent Sequence with Finite Number of Terms Deleted is Convergent
- Correspondence between Rational Numbers and Simple Finite Continued Fractions
- Cyclic Group of Order 6
D
- Dependent Choice for Finite Sets
- Derivative of Constant Multiple/Real/Corollary
- Definition:Derivative/Higher Derivatives/Second Derivative
- Determinant of Matrix Exponential is Non-Zero
- Definition:Diagonalizable Operator
- Definition:Differentiable Mapping between Manifolds
- Definition:Differential of Mapping/Vector-Valued Function
- Definition:Dihedral Group
- Disjunction and Conditional
- Definition:Disk
- Divisors of Repunit with Composite Index
- Definition:Dual Statement (Category Theory)
- Duality Principle (Category Theory)/Formal Duality
E
- Definition:Embedding (Differential Geometry)
- Definition:Embedding (Model Theory)
- Epimorphism from Real Numbers to Circle Group
- Equality implies Substitution
- Definition:Equidistance
- Equivalence of Definitions of Absolute Convergence of Product
- Equivalence of Definitions of Closed Linear Span
- Equivalence of Definitions of Gamma Function
- Equivalence of Definitions of Norm of Linear Functional
- Equivalence of Definitions of Null Set in Euclidean Space
- Equivalence of Definitions of Sigma-Algebra
- Equivalence Relation induced by Congruence Relation on Quotient Structure is Congruence
- Euler Formula for Sine Function/Real Numbers/Proof 1
- Euler's Homogeneous Function Theorem
- Existence and Uniqueness of Direct Limit of Sequence of Groups
- Existence and Uniqueness of Generated Topology
- Existence of Abscissa of Absolute Convergence
- Existence of Abscissa of Convergence
- Existence of Banach Limits
- Existence of Real Logarithm
- Extremal Length of Union
F
G
H
I
K
L
- Definition:Labeled Graph
- Lagrange's Four Square Theorem/Proof 2
- Definition:Language
- Definition:Language of Propositional Logic
- Definition:Language of Propositional Logic/Formal Grammar
- Definition:Language of Propositional Logic/Formal Grammar/Bottom-Up Specification
- Definition:Lebesgue Integral
- Left-Truncated Automorphic Number is Automorphic
- Lexicographic Order forms Well-Ordering on Ordered Pairs of Ordinals
- Limit Inferior of Inclusion Net is Supremum of Directed Subset
- Limit Inferior of Repetition Net
- Definition:Limit of Complex Function
- Definition:Linear Recurrence Relation
- Linearly Independent Set is Contained in some Basis
- Definition:Local Dimension of Topological Space
- Definition:Local Ring
- Definition:Localization of Ring
- Lower Bounds for Denominators of Simple Continued Fraction
M
- Meet Preserves Directed Suprema
- Definition:Metagraph
- Definition:Minimization
- Definition:Model (Boolean Interpretations)
- Definition:Module Defined by Ring Homomorphism
- Monotonicity of Real Sequences
- Morley's Trisector Theorem
- Morley's Trisector Theorem/Proof 2
- Multiplication of Real and Imaginary Parts
- Definition:Multiplicatively Closed Subset of Ring
- Definition:Multiplicity (Polynomial)
N
- Definition:N-Ary Operation Induced by Binary Operation
- Definition:Nagata Criterion
- Definition:Natural Isomorphism between Covariant Functors
- Necessary Condition for Integral Functional to have Extremum/Two Variables/Lemma
- Newton's Identities
- Newton's Identities/Proof 2
- Definition:Nicely Normed Star-Algebra
- No Largest Ordinal
- Definition:NP Complexity Class
- Definition:Null Polynomial
- Definition:Null Set
- Number is Sum of Five Cubes
- Number of Characters on Finite Abelian Group
- Definition:Numerators and Denominators of Continued Fraction
O
- One-to-Many Relation Composite with Inverse is Coreflexive
- Open and Closed Sets in Multiple Pointed Topology
- Definition:Operation
- Definition:Order Indiscernible
- Order is Preserved on Positive Reals by Squaring
- Order Isomorphism between Ordinals and Proper Class/Corollary
- Definition:Orientable Manifold
- Definition:Orthogonal Group
- Definition:Orthogonal Projection
- Definition:Outer Product
P
- P-adic Norm forms Non-Archimedean Valued Field/P-adic Numbers
- Axiom:Pasch's Axiom (Tarski's Axioms)
- Definition:Pointwise Operation/Real-Valued Functions
- Definition:Pole of Complex Function
- Definition:Polynomial Function/Complex
- Definition:Polynomial Function/Real
- Definition:Polynomial Ring/Indeterminate
- Positive Power Function on Non-negative Reals is Strictly Increasing
- Power Sets of Equinumerous Sets are Equinumerous
- Definition:Pre-Abelian Category
- Primary Decomposition Theorem
- Primitive of Reciprocal/Corollary 2
- Probability of Occurrence of At Least One Independent Event
- Definition:Product of Ideals of Ring
- Product of Powers in B-Algebra
- Product of Rationally Expressible Numbers is Rational
- Properties of Affine Spaces
- Properties of Grötzsch and Teichmüller Moduli
- Properties of Legendre Symbol
- Properties of Ordered Field
- Properties of Ordered Ring
- Properties of Semi-Inner Product
- Pumping Lemma for Regular Languages
R
- Definition:Ramification
- Range of Idempotent is Kernel of Complementary Idempotent
- Definition:Ratio
- Real and Imaginary Part Projections are Continuous
- Definition:Real Vector Space
- Recurrence Formula for Bessel Function of the First Kind
- Definition:Regular Continued Fraction
- Riemann-Hurwitz Formula
- Definition:Ring of Formal Laurent Series
- Definition:Ring of Formal Power Series
- Ring of Integers Modulo 2/Cayley Tables
- Rokhlin's Theorem on Bounded Manifolds and Induced Spin Structures
- Rule of Transposition/Formulation 2/Forward Implication/Proof
S
- Definition:Saturation of Multiplicatively Closed Subset of Ring
- Second Borel-Cantelli Lemma
- Definition:Separably Closed Field
- Sequence of Powers of Number less than One
- Definition:Set of Literals
- Set Operations on Primitive Recursive Relations
- Shape of Cotangent Function
- Shape of Tangent Function
- Definition:Simple Function
- Simultaneous Equation With Two Unknowns
- Singleton Equality
- Definition:Singular Conjunction
- Definition:Space of Bounded Linear Transformations
- Definition:Space of Simple Functions
- Spectral Theorem for Compact Hermitian Operators
- Spectrum of Self-Adjoint Densely-Defined Linear Operator is Real and Closed
- Definition:Stability (Differential Equations)
- Definition:Stencil
- Strictly Well-Founded Relation determines Strictly Minimal Elements/Lemma
- Strong Separation Theorem
- Definition:Structure Sheaf of Spectrum of Ring