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 242 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
- Cauchy-Riemann Equations/Expression of Derivative
- Characterisation of Ordered Fields
- Characterization of Differentiability
- Characterization of Ergodicity in terms of Koopman Operator
- Chi-Squared Test for Goodness of Fit/Examples/Cast of Dice
- Chinese Remainder Theorem (Commutative Algebra)
- Definition:Closed Linear Subspace
- Definition:Closure Axioms (Matroid)
- Definition:Coloring
- Comparison Principle for Extremal Length
- Composition of One-Variable URM Computable Functions
- Definition:Composition of Relations
- Definition:Continued Fraction Expansion
- Definition:Convergent Sequence/Metric Space
- Definition:Convex Polygon/Definition 4
- 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
- Definition:Darboux Function
- 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
- Dimension of Proper Subspace is Less Than its Superspace
- Definition:Dirac Delta Function/Also defined as
- Definition:Direct Image Mapping/Mapping
- Directed Hamilton Cycle Problem is NP-complete
- Definition:Dirichlet Character
- Definition:Distributed Term of Categorical Syllogism/Predicate
- Definition:Distributed Term of Categorical Syllogism/Subject
- Division Algebra has No Zero Divisors
- Dot Product Operator is Bilinear
- Dot Product Operator is Commutative
- Dot Product with Self is Zero iff Zero Vector
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 Real Natural Logarithm
- Equivalence of Definitions of Tangent Vector
- Equivalence of Definitions of Transitive Closure (Relation Theory)
- Equivalent Conditions for Cover by Collection of Subsets
- Erdős-Moser Equation
- 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
- 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
- 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
- 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:Morphisms-Only Metacategory
- 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:Parallel (Geometry)/Lines
- Parallelogram Law
- Definition:Pi/Definition 1
- Definition:Pointwise Convergence
- Definition:Polar of Point/Circle
- Definition:Polar of Point/Ellipse
- 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 in terms of Eulerian Logarithmic Integral/Riemann Hypothesis Holds
- 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:Radical of Integer
- 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