User contributions for Timwi

11 January 2024

• 16:4316:43, 11 January 2024 diff hist +6‎ m User:Timwi ‎No edit summary

1 December 2022

• 16:2216:22, 1 December 2022 diff hist +136‎ m Tangent of 22.5 Degrees ‎No edit summary
• 16:2116:21, 1 December 2022 diff hist +57‎ m Sine of 22.5 Degrees ‎No edit summary current
• 16:2016:20, 1 December 2022 diff hist +57‎ m Cosine of 22.5 Degrees ‎No edit summary current

30 November 2022

• 23:5523:55, 30 November 2022 diff hist −1‎ m ProofWiki:Jokes ‎No edit summary
• 23:3423:34, 30 November 2022 diff hist +135‎ ProofWiki:Jokes/Mathematicians' Party ‎No edit summary
• 23:0023:00, 30 November 2022 diff hist 0‎ m Sine of Sum/Proof 3 ‎ sp
• 22:5422:54, 30 November 2022 diff hist −1‎ m Arcsine Logarithmic Formulation ‎ fix
• 22:5122:51, 30 November 2022 diff hist −3‎ m Sine of 22.5 Degrees ‎No edit summary
• 22:5122:51, 30 November 2022 diff hist +775‎ N Cosine of 22.5 Degrees ‎ Created page with "== Theorem == <onlyinclude> :$\cos 22.5^\circ = \cos \dfrac \pi 8 = \frac 1 2 \sqrt { 2 + \sqrt 2 }$ </onlyinclude> where $\cos$ denotes cosine. == Proof == {{begin-eqn}} {{eqn | l = \cos 22.5^\circ | r = \cos \frac {45^\circ} 2 | c = }} {{eqn | r = +\sqrt { \frac {1 + \cos 45^\circ} 2 } | c = Half Angle Formula for Cosine }} {{eqn | r = \sqrt { \frac {1 + \frac {\sqrt 2} 2} 2 } | c = Cosine of 45 Degrees..."
• 22:4922:49, 30 November 2022 diff hist +770‎ N Sine of 22.5 Degrees ‎ Created page with "== Theorem == <onlyinclude> :$\sin 22.5^\circ = \sin \dfrac \pi 8 = \frac 1 2 \sqrt { 2 - \sqrt 2 }$ </onlyinclude> where $\sin$ denotes sine. == Proof == {{begin-eqn}} {{eqn | l = \sin 22.5^\circ | r = \sin \frac {45^\circ} 2 | c = }} {{eqn | r = +\sqrt { \frac {1 - \cos 45^\circ} 2 } | c = Half Angle Formula for Sine }} {{eqn | r = \sqrt { \frac {1 - \frac {\sqrt 2} 2} 2 } | c = Cosine of 45 Degrees }} {{..."

20 November 2022

• 21:2021:20, 20 November 2022 diff hist −1‎ m Euler's Sine Identity/Proof 1 ‎No edit summary
• 20:5920:59, 20 November 2022 diff hist +18‎ 1/Linguistic Note ‎No edit summary
• 12:5912:59, 20 November 2022 diff hist +2‎ m Area of Regular Polygon ‎No edit summary current
• 12:5312:53, 20 November 2022 diff hist +1,559‎ N Area of Regular Hexagon ‎ Created page with "== Theorem == Let $H$ be a regular hexagon. Let the length of one side of $H$ be $s$. Let $\AA$ be the area of $H$. Then: :$\AA = \dfrac {3 \sqrt 3} 2 s^2$ == Proof 1 == The regular hexagon can be subdivided into triangles: :300px Consider the bottom triangle. The angle $\alpha$ divides the full circle into 6 equa..."
• 12:3412:34, 20 November 2022 diff hist 0‎ N File:Regular Hexagon.svg ‎No edit summary current
• 12:2612:26, 20 November 2022 diff hist +2‎ m Area of Equilateral Triangle ‎No edit summary current

7 May 2021

• 07:4907:49, 7 May 2021 diff hist +1‎ m Regular Expression is Accepted by Finite State Machine ‎No edit summary
• 07:4807:48, 7 May 2021 diff hist 0‎ Regular Expression is Accepted by Finite State Machine ‎ Significant typo

6 October 2018

• 01:0701:07, 6 October 2018 diff hist +2‎ m Talk:Main Page ‎ fix link
• 01:0701:07, 6 October 2018 diff hist −29‎ m Talk:Main Page ‎ fix link
• 01:0601:06, 6 October 2018 diff hist +1,242‎ Talk:Main Page ‎ Response + restore accidental mayhem

5 October 2018

• 19:3919:39, 5 October 2018 diff hist −488‎ Talk:Main Page ‎No edit summary

28 September 2018

• 16:1016:10, 28 September 2018 diff hist +263‎ Talk:Main Page ‎No edit summary

27 August 2018

• 23:2723:27, 27 August 2018 diff hist +109‎ Talk:Main Page ‎ Thanks!

7 August 2018

• 03:5803:58, 7 August 2018 diff hist −35‎ m User:Timwi ‎No edit summary
• 03:5403:54, 7 August 2018 diff hist +27‎ m ProofWiki:Wanted proofs list ‎No edit summary
• 03:5403:54, 7 August 2018 diff hist +117‎ ProofWiki:Wanted proofs list ‎No edit summary

28 March 2014

• 00:2700:27, 28 March 2014 diff hist +40‎ Difference of Squares of Hyperbolic Cosine and Sine ‎ missing link to binomial theorem
• 00:2600:26, 28 March 2014 diff hist +30‎ N Binomial Formula ‎ #REDIRECT Binomial Theorem current

31 January 2013

• 23:0123:01, 31 January 2013 diff hist +6‎ m Set Difference with Set Difference ‎ style
• 22:4922:49, 31 January 2013 diff hist +6‎ m H-Cobordism Theorem ‎No edit summary
• 19:4719:47, 31 January 2013 diff hist +34‎ m Vector Cross Product is Orthogonal to Factors ‎ rephrase to make it clearer that it’s the definition of orthogonal

20 December 2012

• 21:0721:07, 20 December 2012 diff hist +11‎ m User:Timwi ‎No edit summary
• 21:0621:06, 20 December 2012 diff hist 0‎ m User:Timwi ‎No edit summary
• 21:0521:05, 20 December 2012 diff hist −7‎ User:Timwi ‎No edit summary
• 19:5719:57, 20 December 2012 diff hist −30‎ Regular Expression is Accepted by Finite State Machine ‎No edit summary
• 19:5719:57, 20 December 2012 diff hist +2,719‎ Regular Expression is Accepted by Finite State Machine ‎No edit summary
• 18:4718:47, 20 December 2012 diff hist +393‎ Regular Expression is Accepted by Finite State Machine ‎No edit summary
• 18:3718:37, 20 December 2012 diff hist +1,080‎ Regular Expression is Accepted by Finite State Machine ‎No edit summary
• 18:0218:02, 20 December 2012 diff hist +2‎ m Regular Expression is Accepted by Finite State Machine ‎No edit summary
• 18:0118:01, 20 December 2012 diff hist +724‎ Regular Expression is Accepted by Finite State Machine ‎No edit summary
• 17:5617:56, 20 December 2012 diff hist +127‎ Definition:Regular Expression ‎ Looks like I need both the empty-set regex and the empty-word regex
• 17:5417:54, 20 December 2012 diff hist −90‎ Definition:Regular Expression ‎No edit summary
• 17:5217:52, 20 December 2012 diff hist +405‎ Definition talk:Regular Expression ‎No edit summary
• 17:4917:49, 20 December 2012 diff hist +142‎ m Definition talk:Regular Expression ‎No edit summary
• 17:4617:46, 20 December 2012 diff hist +511‎ N Definition talk:Regular Expression ‎ Created page with "== “only contains those words” == I am not sure what is meant by: : $L(R)$ '''only''' contains those words. I could just refer to Definition:Kleene Closure if that ..."
• 16:0916:09, 20 December 2012 diff hist +446‎ m Regular Expression is Accepted by Finite State Machine ‎No edit summary
• 15:5815:58, 20 December 2012 diff hist +80‎ m Regular Expression is Accepted by Finite State Machine ‎No edit summary
• 15:5715:57, 20 December 2012 diff hist −25‎ m Regular Expression is Accepted by Finite State Machine ‎No edit summary