Category:Tidy
Jump to navigation
Jump to search
(previous page) (next page)
This category is for pages that need to be fixed up aesthetically and brought into conformance with $\mathsf{Pr} \infty \mathsf{fWiki}$ house style.
Pages in category "Tidy"
The following 200 pages are in this category, out of 242 total.
(previous page) (next page)1
A
- Abel's Limit Theorem
- Abel's Limit Theorem/Proof 2
- Abel's Test for Uniform Convergence
- Abel-Ruffini Theorem
- Abi-Khuzam Inequality
- Alternating Group is Generated by 3-Cycles
- Angular Momentum of Particle moving with Constant Circular Motion
- Area between Radii and Curve in Polar Coordinates
- Area of Circle
- Area of Circle/Proof 7
- Definition:Arithmetical Hierarchy
- Associative Idempotent Anticommutative
- Automorphism Group/Examples/Klein Four-Group
B
C
- Cantor Space as Countably Infinite Product
- Cantor-Bernstein-Schröder Theorem/Lemma/Proof 3
- Cardinality of Cartesian Product of Finite Sets/General Result
- Cauchy's Group Theorem
- Cauchy's Group Theorem/Proof 1
- Cauchy's Integral Formula/General Result
- Change of Base of Logarithm/Proof 2
- Change of Variables Theorem (Multivariable Calculus)
- Characterisation of UFDs
- Characteristics of Floor and Ceiling Function
- Characterization of Ergodicity in terms of Koopman Operator
- Characterization of Prime Ideal by Finite Infima
- Chinese Remainder Theorem (Groups)
- Definition:Chirality
- Definition:Chromatic Edge
- Closed Form for Triangular Numbers/Combinatorial Proof
- Closure for Finite Collection of Relations and Operations
- Closure of product equals product of closures
- Cofactor Sum Identity
- Cofinal Ordinal Relation is Transitive
- Collatz Conjecture/Failed Proof
- Column Rank of Matrix equals Row Rank/Proof using Orthogonality
- Column Rank of Matrix equals Row Rank/Proof using Rank Factorization
- Compact Idempotent is of Finite Rank
- Complement of Irreducible Topological Subset is Prime Element
- Constructible numbers
- Continued Fraction Expansion of Limit of Simple Infinite Continued Fraction equals Expansion Itself
- Continuity of Linear Transformation/Normed Vector Space
- Continuous Linear Transformation Algebra has Two-Sided Identity
- Contour Integral of Gamma Function
- Definition:Convex Polygon/Definition 5
- Correspondence between Rational Numbers and Simple Finite Continued Fractions
- Countable Product of Sequentially Compact Spaces is Sequentially Compact
- Cowen-Engeler Lemma
- Crossbar Theorem
- Cyclic Group of Order 8 is not isomorphic to Group of Units of Integers Modulo n/Proof 1
- Cyclic Group of Order 8 is not isomorphic to Group of Units of Integers Modulo n/Proof 2
- Cyclicity Condition for Units of Ring of Integers Modulo n
D
- Decomposition of Field Extension as Separable Extension followed by Purely Inseparable
- Definitions of Genera are Equivalent
- Derivative of Derivative is Subset of Derivative in T1 Space
- Derivative of Exponential Function/Complex
- Derivative of Product of Operator-Valued Functions
- Determinant of Block Diagonal Matrix
- Dirichlet Integral/Proof 2
- Disjoint Compact Sets in Hausdorff Space have Disjoint Neighborhoods/Proof 2
- Division Ring is Vector Space over Prime Subfield
- Dual Representation Preserves Natural Pairings Between Vectors and Their Duals
- Duplicated Triangle Forms a Kite or a Parallelogram
- Definition:Dynamical Systems
E
- Eigenstates of Hamiltonian have Well Defined Symmetry only if Potential is Even
- Endomorphism Ring of Abelian Group is Ring with Unity
- Epsilon Induction
- Equivalence Classes are Disjoint/Proof 1
- Equivalence of Definitions of Absolute Convergence of Product
- Equivalence of Definitions of Affine Space
- Equivalence of Definitions of Closed Linear Span
- Equivalence of Definitions of Continuous Mapping between Topological Spaces/Everywhere
- Equivalence of Definitions of Contractible Space
- Equivalence of Definitions of Limit of Vector-Valued Function
- Equivalence of Definitions of Normal Subset/3 iff 4
- Equivalence of Definitions of Projective Module
- Equivalent Conditions for Dedekind-Infinite Set
- Erdős-Moser Equation
- Euler Formula for Sine Function/Complex Numbers/Proof 2
- Euler Phi Function by Argument is Injective
- Euler's Formula/Real Domain/Proof 3
- Euler's Homogeneous Function Theorem
- Exchange Principle
- Existence and Uniqueness of Direct Limit of Sequence of Groups
- Existence and Uniqueness of Direct Limit of Sequence of Groups/Lemma 2
- Existence of Abscissa of Convergence/General
- Existence of Base-N Representation
- Existence of Chebyshev Polynomials of the First Kind
- Existence of Chebyshev Polynomials of the Second Kind
- Existence of Matrix Logarithm
- Exponential Tends to Zero and Infinity
F
G
H
I
- Ideal Contained in Finite Union of Prime Ideals
- Ideals form Complete Lattice
- Improper Integral of Partial Derivative
- Integrable Function with Zero Integral on Sub-Sigma-Algebra is A.E. Zero/Proof 2
- Intersection Condition for Direct Sum of Subspaces
- Inverse of a Line Through Circle Center is a Line
- Inverse of Cauchy Matrix
- Inverse of Vandermonde Matrix/Eisinberg Formula
- Inverse of Vandermonde Matrix/Proof 2
- Invertibility of Identity Minus Operator
- Definition:Isolated Singularity
- Definition:Isolated Singularity/Riemann Surface
- Isomorphism between Group of Units Ring of Integers Modulo 2^n and C2 x C2^(n-2)
- Isomorphism Classes for Order 4 Size 3 Simple Graphs
L
- L'Hôpital's Rule/Proof 1
- Definition:Lagrange multiplier
- Lagrange's Theorem (Number Theory)/Examples/Non-Prime Index
- Laplace Transform of Bessel Function of the First Kind/Proof 2
- Laplace Transform of Derivative with Finite Discontinuities
- Largest Prime Factor of Euler Phi Function
- Laurent Expansion of Isolated Essential Singularity/Examples/Exponential of Reciprocal
- Length of Arc of Cycloid/Proof 3
- Linear Combination of Derivatives
- Liouville's Theorem (Hamiltonian Mechanics)
- Local Uniform Convergence Implies Compact Convergence
- Axiom:Lower Dimensional Axiom
M
N
- N over 2 times Reciprocal of 1 Plus n Squared x Squared to the Power of 3/2 Delta Sequence
- Napoleon's Theorem/Proof 2
- Newton-Girard Identities
- Newton-Girard Identities/Proof 1
- Newton-Girard Identities/Proof 2
- Noetherian Topological Space is Compact/Proof 1
- Nonzero Eigenvalue of Compact Operator has Finite Dimensional Eigenspace
O
P
- Phi in the Pentagon
- Phi is 8 has only 5 solutions
- Pi Squared is Irrational/Proof 2
- Poisson Brackets of Classical Particle in Radial Potential on Plane
- Power Series Expansion for Exponential of Cosine of x/Proof 2
- Prefix of WFF of Predicate Logic is not WFF
- Prime-Counting Function in terms of Eulerian Logarithmic Integral/Riemann Hypothesis Holds
- Primitive Element Theorem
- Definition:Product (Category Theory)/Binary Product
- Product of Summations is Summation Over Cartesian Product of Products
- Product Sigma-Algebra Generated by Projections
- Projector has Norm 1
- Proper and Prime iff Ultrafilter in Boolean Lattice
- Ptolemy's Theorem/Proof 2
- Pythagoras's Theorem/Short Algebraic Proof
- Pythagorean Triangle/Examples/4485-5852-7373
R
- Definition:Radical of Integer
- Recursively Enumerable Set is Image of Primitive Recursive Function
- Regular Heptagon is Smallest with no Compass and Straightedge Construction
- Regular Heptagon is Smallest with no Compass and Straightedge Construction/Proof 2
- Relation of Boubaker Polynomials to Fermat Polynomials
- Resolvent Mapping is Continuous/Bounded Linear Operator
- Riemann-Hurwitz Formula
- Riesz-Markov-Kakutani Representation Theorem/Lemma 4
S
- Sample Matrix Independence Test
- Saturated Models of same Cardinality are Isomorphic
- Semidirect Product of Groups is Group
- Separable Degree of Field Extensions is Multiplicative
- Sequence Lemma
- Set of 2-Dimensional Real Orthogonal Matrices is Compact in Normed Real Square Matrix Vector Space
- Sigma-Algebra as Magma of Sets
- Smallest n needing 6 Numbers less than n so that Product of Factorials is Square
- Definition:Smith-Volterra-Cantor Set
- Sobolev Space is Banach Space
- Spectrum of Bounded Linear Operator is Non-Empty
- Stabilizer is Normal iff Stabilizer of Each Element of Orbit