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 209 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:Closed Linear Span
- Definition:Cohomology Groups
- Combination of Recursive Functions
- Definition:Commutator Subgroup
- Compositions of Closure Operators are both Closure Operators iff Operators Commute
- Axiom:Content Axioms
- Continued Fraction Identities/First/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 Implication
- 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
- Definition:Euler Characteristic of Finite Graph
- Euler Formula for Sine Function/Real Numbers/Proof 1
- 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
- Extremal Length of Union
F
G
H
I
K
L
- Definition:Labeled Graph
- Lagrange's Four Square Theorem/Proof 2
- Definition:Language
- Left-Truncated Automorphic Number is Automorphic
- Lexicographic Order forms Well-Ordering on Ordered Pairs of Ordinals
- Definition:Limit of Complex Function
- Linearly Independent Set is Contained in some Basis
- Definition:Local Dimension of Topological Space
- 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:Multiplicity (Polynomial)
N
- Definition:N-Ary Operation Induced by Binary Operation
- Definition:Nagata Criterion
- Nakayama's Lemma
- Necessary Condition for Integral Functional to have Extremum/Two Variables/Lemma
- Newton's Identities
- Newton's Identities/Proof 2
- 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:Order Indiscernible
- Order is Preserved on Positive Reals by Squaring
- Order Isomorphism between Ordinals and Proper Class/Corollary
- 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 Notation (Algebra)/Infinite
- 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
- Range of Idempotent is Kernel of Complementary Idempotent
- Definition:Ratio
- Real and Imaginary Part Projections are Continuous
- Recurrence Formula for Bessel Function of the First Kind
- Definition:Ring of Formal Laurent 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
- 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
- Simple Infinite Continued Fraction is Uniquely Determined by Limit
- 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
- Definition:Sturm-Liouville Equation
- Sturm-Liouville Problem/Unit Weight Function
- Subalgebra of Finite Field Extension is Field
- Definition:Subset/Class
- Successor is Less than Successor
- Successor is Less than Successor/Sufficient Condition
- Sum of Elements of Invertible Matrix
- Definition:Sum of Ideals of Ring
- Sum of Trigonometric Functions over Power
- Summation of Powers over Product of Differences/Proof 3
- Definition:Support of Mapping to Algebraic Structure
- Symmetric Group on 3 Letters/Generators
T
- Telescoping Series/Example 1
- Definition:Tensor Product of Abelian Groups
- Definition:Tensor Product of Modules
- Definition:Tensor Product of Modules as Abelian Group
- Definition:Tetration
- Theories with Infinite Models have Models with Order Indiscernibles
- Time Hierarchy Theorem
- Definition:Time/Unit/Second/Symbol
- Definition:Topology on Extended Real Numbers
- Triangle Inequality/Vectors in Euclidean Space