User: User:Prime.mover
Time: 15:38, 8 February 2012ProofWiki:NewsFeeds/Latest Proofs
From ProofWiki
Taylor's Theorem/One Variable/Proof by Rolle's Theorem
, 20:38, 8 February 2012
Theorem: Taylor's Theorem/One Variable/Proof by Rolle's Theorem
(Talk:Taylor's Theorem/One Variable/Proof by Rolle's Theorem)
Taylor's Theorem/One Variable/Proof by Cauchy Mean Value Theorem
, 20:29, 8 February 2012
Theorem: Taylor's Theorem/One Variable/Proof by Cauchy Mean Value Theorem
User: User:Prime.mover
Time: 15:29, 8 February 2012(Talk:Taylor's Theorem/One Variable/Proof by Cauchy Mean Value Theorem)
Taylor's Theorem/One Variable/Integral Version
, 20:22, 8 February 2012
Theorem: Taylor's Theorem/One Variable/Integral Version
User: User:Prime.mover
Time: 15:22, 8 February 2012Taylor's Theorem/One Variable/Statement of Theorem
, 20:20, 8 February 2012
Theorem: Taylor's Theorem/One Variable/Statement of Theorem
User: User:Prime.mover
Time: 15:20, 8 February 2012Linear Combination of Sequences
, 14:48, 8 February 2012
Theorem: Linear Combination of Sequences
User: User:GFauxPas
Time: 09:48, 8 February 2012Restriction of Monotone Function is Monotone
, 12:20, 8 February 2012
Theorem: Restriction of Monotone Function is Monotone
User: User:GFauxPas
Time: 07:20, 8 February 2012Consistency of Logarithm Definitions
, 11:54, 8 February 2012
Theorem: Consistency of Logarithm Definitions
User: User:GFauxPas
Time: 06:54, 8 February 2012Young's inequality
, 07:42, 8 February 2012
Theorem: Young's inequality
User: User:Nm420
Time: 02:42, 8 February 2012Hausdorff Maximal Principle/Proof 2
, 07:22, 8 February 2012
Theorem: Hausdorff Maximal Principle/Proof 2
User: User:Prime.mover
Time: 02:22, 8 February 2012Hausdorff Maximal Principle/Proof 1
, 07:21, 8 February 2012
Theorem: Hausdorff Maximal Principle/Proof 1
User: User:Prime.mover
Time: 02:21, 8 February 2012Poset has Maximal Chain
, 22:06, 7 February 2012
Theorem: Poset has Maximal Chain
User: User:Prime.mover
Time: 17:06, 7 February 2012Monotonicity of Sequences
, 18:27, 7 February 2012
Theorem: Monotonicity of Sequences
User: User:GFauxPas
Time: 13:27, 7 February 2012Limit at Infinity of x^n
, 14:11, 7 February 2012
Theorem: Limit at Infinity of x^n
User: User:GFauxPas
Time: 09:11, 7 February 2012Orthocomplement Reverses Subset
, 09:22, 7 February 2012
Theorem: Orthocomplement Reverses Subset
User: User:Lord Farin
Time: 04:22, 7 February 2012Zorn's Lemma Implies Axiom of Choice
, 07:29, 7 February 2012
Theorem: Zorn's Lemma Implies Axiom of Choice
User: User:Prime.mover
Time: 02:29, 7 February 2012Intersection of Orthocomplements is Orthocomplement of Closed Linear Span
, 21:41, 6 February 2012
Theorem: Intersection of Orthocomplements is Orthocomplement of Closed Linear Span
User: User:Lord Farin
Time: 16:41, 6 February 2012(Talk:Intersection of Orthocomplements is Orthocomplement of Closed Linear Span)
Function Larger than Divergent Function is Divergent
, 17:04, 6 February 2012
Theorem: Function Larger than Divergent Function is Divergent
User: User:GFauxPas
Time: 12:04, 6 February 2012Infinite Limit of Identity Function
, 16:51, 6 February 2012
Theorem: Infinite Limit of Identity Function
User: User:GFauxPas
Time: 11:51, 6 February 2012Axiom of Choice Implies Zorn's Lemma
, 07:44, 6 February 2012
Theorem: Axiom of Choice Implies Zorn's Lemma
User: User:Prime.mover
Time: 02:44, 6 February 2012Comparison Test for Divergence
, 22:53, 5 February 2012
Theorem: Comparison Test for Divergence
User: User:GFauxPas
Time: 17:53, 5 February 2012Invertible iff Bijective
, 18:14, 5 February 2012
Theorem: Invertible iff Bijective
User: User:GFauxPas
Time: 13:14, 5 February 2012Decimal to Binary Algorithm
, 14:36, 5 February 2012
Theorem: Decimal to Binary Algorithm
User: User:GFauxPas
Time: 09:36, 5 February 2012Ordering of Reciprocals
, 09:13, 5 February 2012
Theorem: Ordering of Reciprocals
User: User:Prime.mover
Time: 04:13, 5 February 2012Euclid's Lemma for UFD
, 05:50, 5 February 2012
Theorem: Euclid's Lemma for UFD
User: User:Ixionid
Time: 00:50, 5 February 2012Limit of Functions that Agree
, 00:55, 5 February 2012
Theorem: Limit of Functions that Agree
User: User:GFauxPas
Time: 19:55, 4 February 2012Transfinite Induction
, 17:54, 4 February 2012
Theorem: Transfinite Induction
User: User:Asalmon
Time: 12:54, 4 February 2012Bretschneider's Formula
, 17:54, 4 February 2012
Theorem: Bretschneider's Formula
User: User:Wooden Goat
Time: 12:54, 4 February 2012Subset of Toset is Toset
, 12:03, 4 February 2012
Theorem: Subset of Toset is Toset
User: User:Prime.mover
Time: 07:03, 4 February 2012Characterization of Reducing Subspaces
, 15:42, 3 February 2012
Theorem: Characterization of Reducing Subspaces
User: User:Lord Farin
Time: 10:42, 3 February 2012Characterization of Invariant Subspaces
, 15:33, 3 February 2012
Theorem: Characterization of Invariant Subspaces
User: User:Lord Farin
Time: 10:33, 3 February 2012Direct Sum of Subspace and Orthocomplement
, 13:38, 3 February 2012
Theorem: Direct Sum of Subspace and Orthocomplement
User: User:Lord Farin
Time: 08:38, 3 February 2012Complementary Projection is Projection
, 11:47, 3 February 2012
Theorem: Complementary Projection is Projection
User: User:Lord Farin
Time: 06:47, 3 February 2012Linear Subspaces Closed under Setwise Addition
, 11:42, 3 February 2012
Theorem: Linear Subspaces Closed under Setwise Addition
User: User:Lord Farin
Time: 06:42, 3 February 2012Closed Linear Subspaces Closed under Setwise Addition
, 11:34, 3 February 2012
Theorem: Closed Linear Subspaces Closed under Setwise Addition
User: User:Lord Farin
Time: 06:34, 3 February 2012(Talk:Closed Linear Subspaces Closed under Setwise Addition)
Orthogonal Difference is Closed Linear Subspace
, 09:04, 3 February 2012
Theorem: Orthogonal Difference is Closed Linear Subspace
User: User:Lord Farin
Time: 04:04, 3 February 2012Closed Linear Subspaces Closed under Intersection
, 09:00, 3 February 2012
Theorem: Closed Linear Subspaces Closed under Intersection
User: User:Lord Farin
Time: 04:00, 3 February 2012Linear Subspaces Closed under Intersection
, 08:50, 3 February 2012
Theorem: Linear Subspaces Closed under Intersection
User: User:Lord Farin
Time: 03:50, 3 February 2012Characterization of Projections
, 22:50, 2 February 2012
Theorem: Characterization of Projections
User: User:Lord Farin
Time: 17:50, 2 February 2012Range and Kernel of Idempotent are Algebraically Complementary
, 15:35, 1 February 2012
Theorem: Range and Kernel of Idempotent are Algebraically Complementary
User: User:Lord Farin
Time: 10:35, 1 February 2012(Talk:Range and Kernel of Idempotent are Algebraically Complementary)
Range of Idempotent is Kernel of Complementary Idempotent
, 15:22, 1 February 2012
Theorem: Range of Idempotent is Kernel of Complementary Idempotent
User: User:Lord Farin
Time: 10:22, 1 February 2012(Talk:Range of Idempotent is Kernel of Complementary Idempotent)
Complementary Idempotent is Idempotent
, 15:13, 1 February 2012
Theorem: Complementary Idempotent is Idempotent
User: User:Lord Farin
Time: 10:13, 1 February 2012Infinite Set Equivalent to Proper Subset/Proof 2
, 06:47, 1 February 2012
Theorem: Infinite Set Equivalent to Proper Subset/Proof 2
User: User:Prime.mover
Time: 01:47, 1 February 2012Infinite Set Equivalent to Proper Subset/Proof 1
, 06:42, 1 February 2012
Theorem: Infinite Set Equivalent to Proper Subset/Proof 1
User: User:Prime.mover
Time: 01:42, 1 February 2012Infinite Set has Countable Subset/Proof 3
, 22:11, 31 January 2012
Theorem: Infinite Set has Countable Subset/Proof 3
User: User:Prime.mover
Time: 17:11, 31 January 2012Existence of Set with Singleton Intersections with Disjoint Collection
, 21:37, 31 January 2012
Theorem: Existence of Set with Singleton Intersections with Disjoint Collection
User: User:Prime.mover
Time: 16:37, 31 January 2012(Talk:Existence of Set with Singleton Intersections with Disjoint Collection)
Relation Contains Mapping is Equivalent to AoC
, 21:32, 31 January 2012
Theorem: Relation Contains Mapping is Equivalent to AoC
User: User:Prime.mover
Time: 16:32, 31 January 2012Kernel of Linear Transformation is Orthocomplement of Range of Adjoint
, 15:53, 31 January 2012
Theorem: Kernel of Linear Transformation is Orthocomplement of Range of Adjoint
User: User:Lord Farin
Time: 10:53, 31 January 2012(Talk:Kernel of Linear Transformation is Orthocomplement of Range of Adjoint)
Characterization of Unitary Operators
, 15:45, 31 January 2012
Theorem: Characterization of Unitary Operators
User: User:Lord Farin
Time: 10:45, 31 January 2012Isometry iff Adjoint is Left-Inverse
, 13:24, 31 January 2012
Theorem: Isometry iff Adjoint is Left-Inverse
User: User:Lord Farin
Time: 08:24, 31 January 2012Characterization of Normal Operators
, 10:09, 31 January 2012
Theorem: Characterization of Normal Operators
User: User:Lord Farin
Time: 05:09, 31 January 2012Linear Operator is Sum of Real and Imaginary Parts
, 09:58, 31 January 2012
Theorem: Linear Operator is Sum of Real and Imaginary Parts
User: User:Lord Farin
Time: 04:58, 31 January 2012Operator Zero iff Inner Product Zero
, 09:39, 31 January 2012
Theorem: Operator Zero iff Inner Product Zero
User: User:Lord Farin
Time: 04:39, 31 January 2012Norm of Self-Adjoint Operator
, 09:32, 31 January 2012
Theorem: Norm of Self-Adjoint Operator
User: User:Lord Farin
Time: 04:32, 31 January 2012Operator Self-Adjoint iff Inner Product Real
, 08:19, 31 January 2012
Theorem: Operator Self-Adjoint iff Inner Product Real
User: User:Lord Farin
Time: 03:19, 31 January 2012Norm of Adjoint
, 16:24, 30 January 2012
Theorem: Norm of Adjoint
User: User:Lord Farin
Time: 11:24, 30 January 2012Equivalence of Versions of Axiom of Choice
, 07:43, 30 January 2012
Theorem: Equivalence of Versions of Axiom of Choice
User: User:Prime.mover
Time: 02:43, 30 January 2012Set of Natural Numbers plus One Contains the Set Containing the Set of Natural Numbers
, 19:25, 29 January 2012
Theorem: Set of Natural Numbers plus One Contains the Set Containing the Set of Natural Numbers
User: User:KBlott
Time: 14:25, 29 January 2012(Talk:Set of Natural Numbers plus One Contains the Set Containing the Set of Natural Numbers)
Identity of Points
, 10:55, 29 January 2012
Theorem: Identity of Points
User: User:GFauxPas
Time: 05:55, 29 January 2012Double Adjoint is Itself
, 13:03, 28 January 2012
Theorem: Double Adjoint is Itself
User: User:Lord Farin
Time: 08:03, 28 January 2012Adjoint of Composition
, 12:57, 28 January 2012
Theorem: Adjoint of Composition
User: User:Lord Farin
Time: 07:57, 28 January 2012Adjoining is Linear
, 12:23, 28 January 2012
Theorem: Adjoining is Linear
User: User:Lord Farin
Time: 07:23, 28 January 2012Equality of Cartesian Product
, 11:07, 28 January 2012
Theorem: Equality of Cartesian Product
User: User:Lord Farin
Time: 06:07, 28 January 2012Upper semilattice on a classical set is a semilattice
, 03:54, 28 January 2012
Theorem: Upper semilattice on a classical set is a semilattice
User: User:KBlott
Time: 22:54, 27 January 2012(Talk:Upper semilattice on a classical set is a semilattice)
Generalized Cauchy's Integral Formula
, 01:16, 28 January 2012
Theorem: Generalized Cauchy's Integral Formula
User: User:Khadari
Time: 20:16, 27 January 2012Limit of Sequence is Limit of Real Function
, 20:17, 27 January 2012
Theorem: Limit of Sequence is Limit of Real Function
User: User:GFauxPas
Time: 15:17, 27 January 2012Isomorphism iff Inverse Equals Adjoint
, 13:34, 27 January 2012
Theorem: Isomorphism iff Inverse Equals Adjoint
User: User:Lord Farin
Time: 08:34, 27 January 2012Existence and Uniqueness of Adjoint
, 12:58, 27 January 2012
Theorem: Existence and Uniqueness of Adjoint
User: User:Lord Farin
Time: 07:58, 27 January 2012Classification of Bounded Sesquilinear Forms
, 12:54, 27 January 2012
Theorem: Classification of Bounded Sesquilinear Forms
User: User:Lord Farin
Time: 07:54, 27 January 2012Bounded Linear Transformation Induces Bounded Sesquilinear Form
, 12:44, 27 January 2012
Theorem: Bounded Linear Transformation Induces Bounded Sesquilinear Form
User: User:Lord Farin
Time: 07:44, 27 January 2012(Talk:Bounded Linear Transformation Induces Bounded Sesquilinear Form)
Lower and Upper Bounds for Sequences/Corollary
, 16:09, 26 January 2012
Theorem: Lower and Upper Bounds for Sequences/Corollary
User: User:Lord Farin
Time: 11:09, 26 January 2012Inequality of Sequences Preserved in Limit
, 16:01, 26 January 2012
Theorem: Inequality of Sequences Preserved in Limit
User: User:Lord Farin
Time: 11:01, 26 January 2012Equidistance Independent of Betweenness
, 14:21, 25 January 2012
Theorem: Equidistance Independent of Betweenness
User: User:GFauxPas
Time: 09:21, 25 January 2012Generalized Sum of Complexes
, 11:03, 25 January 2012
Theorem: Generalized Sum of Complexes
User: User:Lord Farin
Time: 06:03, 25 January 2012Min yields Infimum of Parameters
, 07:06, 25 January 2012
Theorem: Min yields Infimum of Parameters
User: User:Prime.mover
Time: 02:06, 25 January 2012Generalized Sum is Linear
, 23:14, 24 January 2012
Theorem: Generalized Sum is Linear
User: User:Lord Farin
Time: 18:14, 24 January 2012Generalized Sum Preserves Inequality
, 22:26, 24 January 2012
Theorem: Generalized Sum Preserves Inequality
User: User:Lord Farin
Time: 17:26, 24 January 2012Square-Summable Indexed Sets Closed Under Addition
, 22:08, 24 January 2012
Theorem: Square-Summable Indexed Sets Closed Under Addition
User: User:Lord Farin
Time: 17:08, 24 January 2012Equivalence of Formulations of Pasch's Axiom
, 21:50, 24 January 2012
Theorem: Equivalence of Formulations of Pasch's Axiom
User: User:GFauxPas
Time: 16:50, 24 January 2012Space of Bounded Linear Transformations is Banach Space
, 13:43, 24 January 2012
Theorem: Space of Bounded Linear Transformations is Banach Space
User: User:Lord Farin
Time: 08:43, 24 January 2012(Talk:Space of Bounded Linear Transformations is Banach Space)
Mappings to R-Algebraic Structure form Similar R-Algebraic Structure
, 11:52, 24 January 2012
Theorem: Mappings to R-Algebraic Structure form Similar R-Algebraic Structure
User: User:Lord Farin
Time: 06:52, 24 January 2012(Talk:Mappings to R-Algebraic Structure form Similar R-Algebraic Structure)
Mappings to Algebraic Structure form Similar Algebraic Structure
, 11:47, 24 January 2012
Theorem: Mappings to Algebraic Structure form Similar Algebraic Structure
User: User:Lord Farin
Time: 06:47, 24 January 2012(Talk:Mappings to Algebraic Structure form Similar Algebraic Structure)
Mappings to Vector Space form Vector Space
, 10:36, 24 January 2012
Theorem: Mappings to Vector Space form Vector Space
User: User:Lord Farin
Time: 05:36, 24 January 2012Max function yields the supremum of its parameters
, 03:50, 24 January 2012
Theorem: Max function yields the supremum of its parameters
User: User:KBlott
Time: 22:50, 23 January 2012Max and Min Semigroups are Semilattices
, 03:03, 24 January 2012
Theorem: Max and Min Semigroups are Semilattices
User: User:KBlott
Time: 22:03, 23 January 2012Equivalence of Definitions of Norm of Linear Transformation
, 22:38, 23 January 2012
Theorem: Equivalence of Definitions of Norm of Linear Transformation
User: User:Lord Farin
Time: 17:38, 23 January 2012(Talk:Equivalence of Definitions of Norm of Linear Transformation)
Continuity of Linear Transformations
, 18:35, 23 January 2012
Theorem: Continuity of Linear Transformations
User: User:Lord Farin
Time: 13:35, 23 January 2012Tarski's Geometry is Complete
, 18:02, 23 January 2012
Theorem: Tarski's Geometry is Complete
User: User:GFauxPas
Time: 13:02, 23 January 2012Max and Min Semigroups are Idempotent
, 23:31, 22 January 2012
Theorem: Max and Min Semigroups are Idempotent
User: User:KBlott
Time: 18:31, 22 January 2012Whitney Embedding Theorem
, 18:34, 22 January 2012
Theorem: Whitney Embedding Theorem
User: User:Khadari
Time: 13:34, 22 January 2012Maximal Element in Toset is Unique and Greatest
, 11:32, 22 January 2012
Theorem: Maximal Element in Toset is Unique and Greatest
User: User:Prime.mover
Time: 06:32, 22 January 2012Minimal Element in Toset is Unique and Smallest
, 11:32, 22 January 2012
Theorem: Minimal Element in Toset is Unique and Smallest
User: User:Prime.mover
Time: 06:32, 22 January 2012Smallest Element is Minimal
, 11:16, 22 January 2012
Theorem: Smallest Element is Minimal
User: User:Prime.mover
Time: 06:16, 22 January 2012Greatest Element is Maximal
, 11:16, 22 January 2012
Theorem: Greatest Element is Maximal
User: User:Prime.mover
Time: 06:16, 22 January 2012Additive Interval Property of Definite Integrals
, 03:47, 22 January 2012
Theorem: Additive Interval Property of Definite Integrals
User: User:GFauxPas
Time: 22:47, 21 January 2012Cauchy's Integral Theorem
, 23:45, 21 January 2012
Theorem: Cauchy's Integral Theorem
User: User:Prime.mover
Time: 18:45, 21 January 2012Nesbitt's inequality
, 16:09, 21 January 2012
Theorem: Nesbitt's inequality
User: User:Wooden Goat
Time: 11:09, 21 January 2012Intersection of Subset with Upper Bounds
, 12:10, 21 January 2012
Theorem: Intersection of Subset with Upper Bounds
User: User:Prime.mover
Time: 07:10, 21 January 2012Intersection of Subset with Lower Bounds
, 12:03, 21 January 2012
Theorem: Intersection of Subset with Lower Bounds
User: User:Prime.mover
Time: 07:03, 21 January 2012Greatest Element is Upper Bound
, 11:49, 21 January 2012
Theorem: Greatest Element is Upper Bound
User: User:Prime.mover
Time: 06:49, 21 January 2012Smallest Element is Lower Bound
, 11:47, 21 January 2012
Theorem: Smallest Element is Lower Bound
User: User:Prime.mover
Time: 06:47, 21 January 2012
