All public logs
Jump to navigation
Jump to search
Combined display of all available logs of ProofWiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 11:25, 15 December 2023 Ivar Sand talk contribs created page Https://proofwiki.org/wiki/Definition:Absolute Value of Complex Differential (Definition inspired by https://mathworld.wolfram.com/LineIntegral.html, equation (4), and https://mathworld.wolfram.com/PathIntegral.html, equation (1))
- 11:31, 13 November 2023 Ivar Sand talk contribs created page Definition talk:Translation Property (Created page with "I chose the name "Translation Property" myself. I did not take the name from somewhere. --~~~~")
- 10:52, 10 November 2022 Ivar Sand talk contribs created page Talk:Cauchy's Convergence Criterion/Real Numbers/Sufficient Condition/Proof 4 ($\sequence {b_n}$ not Cauchy?)
- 09:36, 23 September 2022 Ivar Sand talk contribs created page Expression for bilinear function (Created page with "== Theorem == Let $f$ be a real function of two independent variables, $f \in \R \times \R \to \R$. Then: :$\map f {x, y}$ is a linear function of $x$ when $y$ is equal to a real constant :$\map f {x, y}$ is a linear function of $y$ when $x$ is equal to a Defini...")
- 09:38, 7 December 2021 Ivar Sand talk contribs created page Talk:Integrability Theorem for Functions Continuous on Open Intervals (Rename)
- 11:18, 2 December 2021 Ivar Sand talk contribs created page Integrals on Adjacent Intervals for Integrable Functions/Lemma (Lemma showing that L(P) ≤ L(Q))
- 10:20, 17 November 2021 Ivar Sand talk contribs created page Convergence of Taylor Series of Function Analytic on Disk/Lemma/Proof 2 (Refactoring: copied from Convergence of Taylor Series of Function Analytic on Disk/Lemma)
- 10:18, 17 November 2021 Ivar Sand talk contribs created page Convergence of Taylor Series of Function Analytic on Disk/Lemma/Proof 1 (New proof of Convergence of Taylor Series of Function Analytic on Disk/Lemma)
- 13:58, 28 July 2021 Ivar Sand talk contribs created page Linearity of Function defined using Function with Translation Property (Created page with "== Theorem == Let $f$ be a real function. Let $f$ have the translation property. Let $x$ and $l$ be a Def...")
- 13:44, 28 July 2021 Ivar Sand talk contribs created page Linearity of Function defined using Function with Translation Property/Lemma (Created page with "== Lemma == <onlyinclude> Let $f$ be a real function. Let $f$ have the translation property. Let $x$ and $l$...")
- 13:36, 28 July 2021 Ivar Sand talk contribs created page Linearity of Function with Translation Property (Created page with "== Theorem == Let $f$ be a real function. Let $c$ be a real number. Then: :$f$ has the Definition:Translation Pro...")
- 13:20, 28 July 2021 Ivar Sand talk contribs created page Differentiability of Function with Translation Property (Created page with "== Theorem == Let $f$ be a real function. Let $f$ have the translation property. Let $c$ be a Definition:...")
- 13:10, 28 July 2021 Ivar Sand talk contribs created page Definition:Translation Property (Created page with "== Definition == Let $f$ be a real function. We say that $f$ has the '''Translation Property''' if: <onlyinclude> :$\forall x_1, x_2, t \in \R:...")
- 10:45, 28 July 2021 Ivar Sand talk contribs created page Definition:Linear Real Function (Created page with "== Definition == Let $f$ be a real function. <onlyinclude> $f$ is called '''linear''' if it has the form: :$\forall x \in \R: \map f x = ax + b...")
- 09:50, 18 December 2020 Ivar Sand talk contribs created page Definition:Piecewise Continuous Function/Variant 3 (Variant 3 of Piecewise Continuous Function)
- 09:18, 17 December 2020 Ivar Sand talk contribs created page Definition:Piecewise Continuous Function/Variant 2 (Variant 2 of Piecewise Continuous Function)
- 09:57, 16 December 2020 Ivar Sand talk contribs created page Definition:Piecewise Continuous Function/Variant 1 (Variant 1 of Piecewise Continuous Function)
- 11:08, 9 December 2019 Ivar Sand talk contribs created page Lindelöf's Lemma/Lemma (Refactoring Lindelöf's Lemma)
- 11:06, 9 December 2019 Ivar Sand talk contribs created page Lindelöf's Lemma/Lemma/Lemma (Refactoring Lindelöf's Lemma)
- 11:05, 9 December 2019 Ivar Sand talk contribs created page Lindelöf's Lemma/Lemma/Lemma/Lemma (Refactoring Lindelöf's Lemma)
- 11:12, 28 November 2019 Ivar Sand talk contribs created page Talk:Supremum of Absolute Value of Difference equals Supremum of Difference (How to make the proof page more readable)
- 13:12, 26 November 2019 Ivar Sand talk contribs created page Supremum of Set Equals Maximum of Suprema of Subsets (Created page with "Let $S$ be a non-empty real set. Let $\left\{S_i: i \in \left\{{1, 2, \ldots, n}\right\}\right\}$, $n \in \N_{>0}$, be...")
- 10:17, 18 November 2019 Ivar Sand talk contribs created page Talk:Bound for Analytic Function and Derivatives (Tidy template suggested removed)
- 14:58, 14 November 2019 Ivar Sand talk contribs created page Talk:Convergence of Taylor Series of Function Analytic on Disk (Template suggested removed)
- 08:46, 12 November 2019 Ivar Sand talk contribs created page Talk:Piecewise Continuously Differentiable Function/Definition 2 is Continuous (Tidy template intended removed)
- 07:48, 14 October 2016 Ivar Sand talk contribs moved page Oscillation at a Point equals Limit of Oscillation on a Set to Oscillation at Point (Infimum) equals Oscillation at Point (Limit) (Name made more precise)
- 11:13, 26 September 2016 Ivar Sand talk contribs moved page Definition:Oscillation at Point/Limit to Definition:Oscillation/Real Space/Oscillation at Point/Limit (In order to link this (sub)page to correct page)
- 10:02, 26 September 2016 Ivar Sand talk contribs moved page Definition:Oscillation at Point/Infimum to Definition:Oscillation/Real Space/Oscillation at Point/Infimum (In order to link this (sub)page to correct page)
- 10:27, 16 August 2016 Ivar Sand talk contribs moved page Definition:Neighborhood (Real Analysis) to Definition:Neighborhood (Real Analysis)/Epsilon (Page Neighborhood (Real Analysis) needed for multi-definition page)