Category:Intermediate 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 intermediate level.
See the {{Refactor}} template.
Pages in category "Intermediate Refactoring"
The following 200 pages are in this category, out of 231 total.
(previous page) (next page)A
B
- Definition:Bernoulli Numbers/Recurrence Relation
- Definition:Between (Geometry)/N-dimensional Euclidean space Intuition
- Definition:Bijection
- Bijection has Left and Right Inverse
- Definition:Bilinear Mapping
- Axiom:Birkhoff's Axioms
- Bolzano-Weierstrass Theorem/General Form
- Bounds for Weierstrass Elementary Factors
C
- Cauchy's Convergence Criterion/Complex Numbers
- Cauchy's Convergence Criterion/Complex Numbers/Lemma 1
- Characterisation of Ordered Fields
- Characterization of Differentiability
- Characterization of Ergodicity in terms of Koopman Operator
- Chinese Remainder Theorem (Commutative Algebra)
- Definition:Closed Linear Subspace
- Definition:Closure Axioms (Matroid)
- Definition:Coloring
- Comparison Principle for Extremal Length
- Definition:Composition of Relations
- Definition:Continued Fraction Expansion
- Definition:Convergent Sequence/Metric Space
- Coproduct of Ordered Sets
- Correspondence between Linear Group Actions and Linear Representations
- Definition:Coset Space
- Definition:Coset Space/Left Coset Space
- Countable Union of Finite Sets is Countable
D
- Dedekind's Theorem
- Deduction Theorem for Hilbert Proof System for Predicate Logic
- Definition:Definable/Element
- Definition:Definite Integral
- Definition:Definite Integral/Darboux
- Definition:Definite Integral/Riemann
- Definition:Degree of Polynomial/Field
- Definition:Degree of Polynomial/Ring
- Definition:Degree of Polynomial/Zero
- Derivative of Complex Power Series/Proof 1
- Derivative of Complex Power Series/Proof 2
- Derivative of Inverse Function
- Definition:Diffeomorphism
- Definition:Differentiable Functional
- 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:Dirac Delta Function
- Definition:Direct Image Mapping/Mapping
- Directed Hamilton Cycle Problem is NP-complete
- Definition:Dirichlet Character
- Definition:Discontinuous Mapping
- Definition:Distributed Term of Categorical Syllogism/Predicate
- Definition:Distributed Term of Categorical Syllogism/Subject
- Division Algebra has No Zero Divisors
E
- Element of Leibniz Harmonic Triangle is Sum of Numbers Below
- Epsilon Induction
- Equality of Polynomials
- Equivalence of Definitions of Baire Space
- Equivalence of Definitions of Bernoulli Numbers
- Equivalence of Definitions of Euler's Number
- Equivalence of Definitions of Tangent Vector
- Equivalence of Definitions of Transitive Closure (Relation Theory)
- 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 Space
- Euler's Formula/Real Domain/Proof 3
- Definition:Exactness of Chain Complex at Object
- Existence of Base-N Representation
- Existence of Field of Quotients
- Expansion Theorem for Determinants
- Definition:Exponential Function
- Definition:Exponential Function/Real
- Exponential Sequence is Uniformly Convergent on Compact Sets
- Exponential Tends to Zero and Infinity
- Definition:Extended Real Number Line
- Extended Rolle's Theorem
- Definition:Exterior Derivative
- Definition:Extremal Length
F
- Definition:Field of Rational Fractions
- Filter on Product of Hausdorff Spaces Converges iff Projections Converge
- Filter on Product Space Converges iff Projections Converge
- Finite Character for Sets of Mappings
- Five Color Theorem
- Definition:Fourier Transform
- Free Module is Isomorphic to Free Module on Set
- Friedrichs' Inequality
G
H
I
- Idempotent Semigroup/Examples/Relation induced by Inverse Element
- Definition:Image (Relation Theory)/Relation/Element/Singleton
- Definition:Image (Relation Theory)/Relation/Subset
- Definition:Imaginary Number
- Definition:Immersion
- Definition:Independent Statements
- Indexed Iterated Operation does not Change under Permutation
- Induced Outer Measure Restricted to Semiring is Pre-Measure
- Infinitely Many Programs for URM Computable Function
- Definition:Inner Product on Cotangent Space
- Definition:Instance
- Integer whose Digits when Grouped in 3s add to Multiple of 999 is Divisible by 999
- Integers under Addition form Abelian Group
- Definition:Integrable Function/Complex
- Definition:Integral Sign
- Integral Test
- Definition:Internal Group Direct Product
- Definition:Internal Group Direct Product/General Definition
- Definition:Intuitionistic Propositional Logic
- Inverse of Vandermonde Matrix
- Inverse of Vandermonde Matrix/Corollary
- Inverse of Vandermonde Matrix/Eisinberg Formula
- Inverse of Vandermonde Matrix/Proof 2
- Isometry Preserves Sequence Convergence
- Definition:Iterated Binary Operation
L
M
- Manipulation of Exterior Derivative
- Definition:Mathematical Theory
- Matrix Space Semigroup under Hadamard Product
- Measurable Sets form Algebra of Sets
- Measure Space from Outer Measure
- Definition:Metagraph
- Method of Undetermined Coefficients/Sine and Cosine/Particular Solution/i b is Root of Auxiliary Equation/Exponential Form
- Definition:Minimal (Model Theory)
- Definition:Minimal Polynomial
- Moment Generating Function of Geometric Distribution/Formulation 2/Examples
- Definition:Multiset
N
- Napier's Rules for Right Angled Spherical Triangles
- Definition:Natural Deduction System/Copi
- Necessary Condition for Existence of BIBD
- Necessary Condition for Integral Functional to have Extremum for given Function/Dependent on Nth Derivative of Function
- Necessary Condition for Integral Functional to have Extremum for given Function/Non-differentiable at Intermediate Point
- Definition:Net (Preordered Set)
- Definition:Norm/Ring
- Definition:Null Polynomial
O
P
- P-adic Norm forms Non-Archimedean Valued Field/Rational Numbers
- Definition:P-Sequence Space
- Definition:Parallel (Geometry)/Lines
- Parallelogram Law
- Definition:Pi/Definition 1
- Definition:Pointwise Convergence
- Positive-Term Generalized Sum Converges iff Supremum
- Definition:Power (Algebra)/Exponent
- Preceding iff Join equals Larger Operand
- Prime Ideal in Lattice
- Prime Number Theorem
- Prime-Counting Function is Theta of x over Logarithm of x
- Definition:Primitive (Calculus)/Indefinite Integral
- Primitive Root is Generator of Reduced Residue System
- Principle of Stationary Action
- Probability of no 2 People out of 53 Sharing the Same Birthday
- Product of Triangular Matrices
- Proper Well-Ordering determines Smallest Elements
- Properties of 47,619
- Definition:Pythagorean Quadrilateral
R
- Definition:Ramsey Number
- Axiom:Real Number/Axioms
- Definition:Region
- Relational Closure Exists for Set-Like Relation
- Relationship between Limit Point Types
- Definition:Right Circular Cone
- Definition:Ring Extension
- Ring of Algebraic Integers
- Definition:Root of Unity Modulo m
- Rotation of Unit Cube about Vertical Axis
- Rule of Commutation
S
- Sample Matrix Independence Test
- Schur's Theorem (Ramsey Theory)
- Definition:Schwartz Test Function
- Sequentially Compact Metric Space is Lindelöf
- Series of Power over Factorial Converges
- Set is Not Element of Itself
- Set is Open iff Neighborhood of all its Points
- Set is Open iff Union of Open Balls
- Symbols:Set Theory/Mapping
- Definition:Similar Figures
- Solution of Constant Coefficient Linear nth Order ODE