Category:Expansion Required
This category lists pages which would benefit from expansion.
See the explain template.
Pages in category "Expansion Required"
The following 200 pages are in this category, out of 224 total.
(previous page) (next page)A
C
- Definition:Canonical Epimorphism
- Cartesian Product Distributes over Union
- Cartesian Product of Intersections
- Cauchy's Convergence Criterion
- Ceiling of Root of Ceiling equals Ceiling of Root
- Center of Group of Order Prime Cubed
- Definition:Cocone
- Combination Theorem for Continuous Functions/Combined Sum Rule
- Definition:Complement of Truth Function
- Definition:Cone (Category Theory)
- Definition:Constructed Semantics
- Definition:Continued Fraction
- Continuous Image of Closed Interval is Closed Interval
- Continuous Image of Path-Connected Set is Path-Connected
- Definition:Contravariant Hom Functor
- Definition:Coproduct
- Definition:Covariant Hom Functor
- Definition:Cross-Ratio
- Cubes which are Sum of Five Cubes
- Cubes which are Sum of Three Cubes
- Cuboid with Integer Edges and Face Diagonals
- Definition:Curvature
D
E
- Help:Editing
- Help:Editing/House Style
- Help:Editing/House Style/Linguistic Style
- Definition:Elementary Equivalence
- Embedding Theorem
- Definition:Enumeration
- Equation of Straight Line in Plane
- Equivalence of Definitions of Bounded Lattice
- Equivalence of Definitions of T3 Space
- Definition:Euclidean Space/Euclidean Topology/Real
- Definition:Euler-Lagrange Equation
- Even Integers not Sum of 2 Twin Primes
- Even Power is Non-Negative
- Template:ExampleCategory
- Existence and Uniqueness of Sigma-Algebra Generated by Collection of Subsets
- Existence of Sociable Chain of Order 3
- Exponent Combination Laws/Power of Power
- Definition:Exponential (Category Theory)/Evaluation
- Exponential Dominates Polynomial
- Exponentiation Functor is Functor
- Definition:Expression
- Extended Transitivity
- Definition:Extension of Rooted Tree
F
- Factor Principles/Conjunction on Left/Formulation 1
- Factorization Lemma
- Definition:Falsifiable/Formula
- Definition:Falsifiable/Set of Formulas
- Fatou's Lemma for Integrals/Positive Measurable Functions
- Fibonacci Number equal to Sum of Sequence of Cubes
- Finite Ordinal Times Ordinal
- Finite Sequences in Set Form Acyclic Graph
- Definition:First Fundamental Form
- Definition:Fixed Element
- Definition:Fixed Point
- Floor of Root of Floor equals Floor of Root
- Definition:Fractal
G
- Gamma Function is Smooth on Positive Reals
- General Positivity Rule in Ordered Integral Domain
- Definition:Generalized Sum
- Definition:Golden Mean Number System/Simplification
- Definition:Greedy Algorithm
- Symbols:Greek
- Symbols:Greek/Kappa
- Group Element is Self-Inverse iff Order 2
- Group of Order less than 6 is Abelian
H
I
- Identity Mapping is Continuous
- Definition:Inconsistent
- Index Laws/Product of Indices
- Index Laws/Sum of Indices
- Integers whose Number of Representations as Sum of Two Primes is Maximum
- Definition:Integral Transform/Operator
- Integration by Parts
- Interior of Convex Angle is Convex Set
- Definition:Intersection Measure
- Intersection of Relations is Relation
- Inverse Cosecant is Odd Function
- Inverse of Diagonal Matrix
- Inverse of Strictly Monotone Function
- Inverse Sine is Odd Function
- Inverse Tangent is Odd Function
L
- Definition:Labeled Tree
- Definition:Laplace Transform
- Largest Integer whose Smaller Odd Coprimes are Prime
- Law of Cosines
- Law of Cosines/Proof 2
- Book:Lawrence C. Evans/Partial Differential Equations
- Definition:Lebesgue Space
- Definition:Legendre Transform
- Definition:Limit Inferior
- Linear Subspace is Convex Set
- Definition:Lower Set
M
- Matrix Multiplication Homogeneous of Degree 1
- Matrix Multiplication is Not Commutative
- Definition:Maximal/Mapping
- Definition:Measurable Function
- Definition:Median of Continuous Random Variable
- Meet is Associative
- Meet is Commutative
- Meet is Idempotent
- Definition:Minimal/Mapping
- Definition:Model (Logic)/Logical Formula
- Definition:Monoid Category
- Definition:Multiple
- Definition:Möbius Strip
N
O
- Odd Numbers Not Expressible as Sum of 4 Distinct Non-Zero Coprime Squares
- Odd Numbers Not Expressible as Sum of 5 Distinct Non-Zero Coprime Squares
- Odd Numbers not Sum of Prime and Power
- Open Extension Topology is not Perfectly T4
- Ordering Induced by Join Semilattice
- Definition:Ordering on Extended Real Numbers
P
- Help:Page Editing
- Help:Page Structure
- Pandigital Integers remaining Pandigital on Multiplication
- Pandigital Properties of 123,456,789
- Pandigital Properties of 9,876,543,210
- Pandigital Properties of 987,654,321
- Parseval's Theorem
- Definition:Path (Topology)/Final Point
- Definition:Path (Topology)/Initial Point
- Axiom:Peano's Axioms
- Definition:Permutable Prime/Sequence
- Definition:Permutation Group
- Book:Peter B. Andrews/An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
- Definition:Pointwise Operation on Extended Real-Valued Functions
- Definition:Pointwise Operation on Real-Valued Functions
- Definition:Polish Notation
- Definition:Polish Notation/Reverse Polish Notation
- Definition:Polygon/Adjacent
- Definition:Polynomial Algebra
- Polynomial over Field is Reducible iff Scalar Multiple is Reducible
- Definition:Positive
- Definition:Positive Definite
- Poulet Numbers which are also Magic Constant for Magic Square
- Definition:Pre-Socratic
- Definition:Predicate Logic
- Prime Decomposition of Repunits
- Prime Gaps of 100
- Principle of Mathematical Induction for Minimal Infinite Successor Set
- Probability of Limit of Sequence of Events/Decreasing
- Definition:Product (Category Theory)
- Product (Category Theory) is Unique
- Definition:Product (Category Theory)/Binary Product
- Product of Positive Strictly Increasing Mappings is Strictly Increasing
- Properties of 12,345,679
- Definition:Propositional Tableau/Identification
R
S
- Definition:Satisfiable/Formula
- Secant is Reciprocal of Cosine
- Semantic Tableau Algorithm
- Definition:Seminorm
- Separation Axioms on Double Pointed Topology
- Sequences of Three Consecutive Strictly Increasing Euler Phi Values
- Set Equivalence is Equivalence Relation
- Definition:Space of Integrable Functions
- Squares which are Difference between Two Cubes
- Definition:Strictly Negative
- Definition:Strictly Positive
- Definition:Strictly Well-Ordered Set
- Subfield Test
- Definition:Sublattice
- Subring Test
- Definition:Substatement
- Definition:Subtraction
- Sum of Identical Terms
- Summation is Linear
- Definition:Support of Mapping to Algebraic Structure
