Category:Work To Do
Jump to navigation
Jump to search
Pages in category "Work To Do"
The following 174 pages are in this category, out of 174 total.
1
4
5
6
7
A
- Abundancy of Integers in form 945 + 630n
- Addition of Cross-Relation Equivalence Classes on Natural Numbers is Cancellable
- Additive and Countably Subadditive Function is Countably Additive
- Definition:Affine
- All Normal Vectors of Simple Closed Contour Cannot Point into Interior/Lemma 1
- Definition:Almost Uniform Convergence
- Axiom:Axiom of Continuity
- Axiom:Axiom of Countable Choice for Finite Sets
- Definition:Axis
B
C
- Definition:Canonical Epimorphism
- Cantor Space is Totally Separated
- Cardinality is Additive Function
- Characterization of Differentiability
- Characterization of Minimal Element
- Definition:Choice Function/Use of Axiom of Choice
- Definition:Christoffel Symbol
- Template:Citation
- Definition:Classical Algorithm/Division
- Definition:Closure Operator
- ProofWiki:Community Portal
- Definition:Commutative B-Algebra
- Compact First-Countable Space is Sequentially Compact
- Compact Subspace of Linearly Ordered Space/Reverse Implication
- Compact Subspace of Linearly Ordered Space/Reverse Implication/Proof 2
- Condition for Concurrency of Three Straight Lines
- Definition:Conjugate Point (Calculus of Variations)/wrt original Functional
- Conservation of Angular Momentum (Lagrangian Mechanics)
- Conservation of Energy
- Conservation of Momentum
- Continued Fraction Expansion of Irrational Square Root
- ProofWiki:Copyrights
- Definition:Cornu Spiral
- Definition:Corresponding Conditional
- Cross-Relation Equivalence Classes on Natural Numbers are Cancellable for Addition
- Cubes which are Sum of Three Cubes
- Curry's Paradox
- Definition:Curve
D
- De Morgan's Laws (Predicate Logic)/Denial of Universality/Formulation 2
- De Morgan's Laws (Predicate Logic)/Denial of Universality/Formulation 2/Reverse Implication
- Derivative of Strictly Increasing Real Function is Strictly Positive
- Definition:Difference Quotient
- Definition:Dimension
- Definition:Dimension (Linear Algebra)
- Discrete Category on Set is Discrete Category
- Distance between Incenter and Excenter of Triangle in Terms of Circumradius
- Distance between Incenter and Excenter of Triangle in Terms of Circumradius/Proof
E
- Equality implies Substitution
- Equivalence of Definitions of Infimum of Real-Valued Function
- Equivalence of Semantic Consequence and Logical Implication
- Equivalent Characterizations of Abelian Group
- Equivalent Characterizations of Invertible Matrix
- Estimation Lemma
- Book:Euclid/The Elements
- Book:Euclid/The Elements/Translations and Editions
- Existential Generalisation/Proof System
- Existential Instantiation/Proof System
F
H
I
J
L
- Definition:Lambert W Function
- Definition:Lambert W Function/Principal Branch
- Lebesgue Measure Invariant under Orthogonal Group
- Definition:Lebesgue Space
- Length of Arc of Cycloid
- Length of Arc of Cycloid/Proof 2
- Limit of Complex Function is Unique
- Definition:Limit Point/Topology
- Loculus of Archimedes/Examples/Elephant
M
- Definition:Magma of Sets
- Mathematician:Magnus Gustaf Mittag-Leffler
- Mappings to Algebraic Structure form Similar Algebraic Structure
- Mappings to R-Algebraic Structure form Similar R-Algebraic Structure
- Markov's Inequality
- Measurable Sets form Algebra of Sets
- Method of the Auxiliary Hypothesis
- Definition:Monster Group
- Multiplication of Cross-Relation Equivalence Classes on Natural Numbers is Well-Defined
O
- Definition:Object (Category Theory)
- Definition:Operation/Arity
- Order Topology on Natural Numbers is Discrete Topology
- Definition:Ordered Tuple/Defined by Sequence
- Definition:Ordering
- Ordinal equals its Initial Segment
- Definition:Ordinal/Definition 2
- Orthonormal Subset/Examples/L-2 Space over Interval of Zero to Two Pi
- Book:Other Websites
P
- P-adic Norm not Complete on Rational Numbers
- P-adic Norm not Complete on Rational Numbers/Proof 1
- P-adic Norm not Complete on Rational Numbers/Proof 1/Case 2
- P-Product Metrics on Real Vector Space are Topologically Equivalent
- Pointwise Convergence Implies Convergence in Measure on Finite Measure Space
- Definition:Pointwise Inequality
- Definition:Poisson's Differential Equation
- Definition:Polynomial Function (Analysis)
- Positive Integers not Expressible as Sum of Fewer than 19 Fourth Powers
- Definition:Power (Algebra)/Real Number/Definition 1
- Definition:Predicate Logic
- Prime Element iff Generates Principal Prime Ideal
- Principle of Mathematical Induction/Well-Ordered Integral Domain
- Principle of Stationary Action with Standard Lagrangian implies Newton's Laws of Motion
Q
R
- Rational Numbers with Denominators Coprime to Prime under Addition form Group
- Rationals are Everywhere Dense in Reals/Normed Vector Space
- Real Numbers are Uncountably Infinite
- Real Numbers are Uncountably Infinite/Cantor's Diagonal Argument
- Real Numbers are Uncountably Infinite/Cantor's Diagonal Argument/Historical Note
- Real Numbers are Uncountably Infinite/Cantor's First Proof/Historical Note
- Region Less One Point is Region
- Relationship between Transitive Closure Definitions
- Mathematician:Richard Martin Gans
- Ring of Integers has no Zero Divisors
S
- Sequentially Compact Metric Space is Totally Bounded/Proof 2
- Set Difference is Set
- Set of Finite Subsets of Countable Set is Countable
- Mathematician:Shyam Sunder Gupta
- Definition:Significant Value
- Definition:Simple Function
- Simson Line Theorem
- Single Point Characterization of Simple Closed Contour
- Definition:Smooth Real Function
- Soundness Theorem for Hilbert Proof System
- Standard Machinery
- Definition:Standard Representation of Simple Function
- Strictly Precedes is Strict Ordering
- Sturm-Liouville Problem
- Sufficient Conditions for Weak Extremum
- Sum of Möbius Function over Divisors
T
- Axiom:Tarski's Axioms
- Definition:Tarski's Geometry/Historical Note
- Tarski-Vaught Test
- Definition:Thabit Prime/Sequence
- Total Solid Angle Subtended by Spherical Surface
- Definition:Transitive Closure (Set Theory)
- Definition:Transversal (Set Theory)
- Definition:Transversality Conditions
- Definition:Two (Boolean Algebra)