User contributions for Kingdon

24 August 2013

• 19:2119:21, 24 August 2013 diff hist −21 File:Vireya Kamrau Bay.jpg fix category
• 17:3617:36, 24 August 2013 diff hist +446 N File:Vireya Kamrau Bay.jpg User created page with UploadWizard

1 September 2011

• 01:4701:47, 1 September 2011 diff hist +726 N File:Lemma l7 22 in Narboux.svg No edit summary

4 July 2011

• 02:4102:41, 4 July 2011 diff hist −2 File:Proof of lemma l7 21 in Narboux.svg fix link to work it was based on
• 02:3802:38, 4 July 2011 diff hist +841 N File:Proof of lemma l7 21 in Narboux.svg No edit summary

26 April 2011

• 01:4301:43, 26 April 2011 diff hist +416 Commons:Upload Wizard feedback →Upload wizard a vast improvement: new section
• 01:4001:40, 26 April 2011 diff hist +728 N File:Proof of midpoint uniqueness.svg No edit summary

20 April 2011

• 02:2702:27, 20 April 2011 diff hist 0 File:Proof of lemma l7 13 in Narboux.svg uploaded a new version of File:Proof of lemma l7 13 in Narboux.svg: Make text and hash marks bigger and bolder so the diagram is more readable at thumbnail size
• 02:1202:12, 20 April 2011 diff hist +705 N File:Proof of lemma l7 13 in Narboux.svg {{Information |Description ={{en|1=My illustration of lemma l7_13 from http://dpt-info.u-strasbg.fr/~narboux/tarski.html (as described in Julien Narboux (2007), "Mechanical Theorem Proving in Tarski’s Geometry", F. Botana and T. Recio (Eds.): ADG 200

8 March 2011

• 13:0413:04, 8 March 2011 diff hist +139 File:Theorem t2 8 from Narboux.svg +category
• 13:0213:02, 8 March 2011 diff hist +567 N File:Theorem t2 8 from Narboux.svg My illustration of theorem t2_8 from http://dpt-info.u-strasbg.fr/~narboux/tarski.html (as described in Julien Narboux (2007), "[http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.158.8614 Mechanical Theorem Proving in Tarski’s Geometry]", F. Botan

30 December 2010

• 01:0001:00, 30 December 2010 diff hist +781 N File:Line segment inequality transitivity.svg {{Information |Description={{en|1=My illustration of the wikiproofs.org proof of le_transitivity from http://dpt-info.u-strasbg.fr/~narboux/tarski.html (as described in Julien Narboux (2007), "[http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.158.8

24 December 2010

• 13:3513:35, 24 December 2010 diff hist +719 N File:Outer connectivity for betweenness 6.svg {{Information |Description={{en|1=My illustration of part of the proof of Axiom 18/Theorem 1 from Julien Narboux (2007), "[http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.158.8614 Mechanical Theorem Proving in Tarski’s Geometry]", F. Botana and

22 December 2010

• 03:0503:05, 22 December 2010 diff hist +736 N File:Outer connectivity for betweenness 5.svg {{Information |Description={{en|1=My illustration of part of the proof of Axiom 18/Theorem 1 from Julien Narboux (2007), "[http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.158.8614 Mechanical Theorem Proving in Tarski’s Geometry]", F. Botana and
• 02:3602:36, 22 December 2010 diff hist +719 N File:Outer connectivity for betweenness 4.svg {{Information |Description={{en|1=My illustration of part of the proof of Axiom 18/Theorem 1 from Julien Narboux (2007), "[http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.158.8614 Mechanical Theorem Proving in Tarski’s Geometry]", F. Botana and
• 02:3402:34, 22 December 2010 diff hist +719 N File:Outer connectivity for betweenness 3.svg {{Information |Description={{en|1=My illustration of part of the proof of Axiom 18/Theorem 1 from Julien Narboux (2007), "[http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.158.8614 Mechanical Theorem Proving in Tarski’s Geometry]", F. Botana and

13 December 2010

• 01:5301:53, 13 December 2010 diff hist 0 File:Outer connectivity for betweenness 1a.svg uploaded a new version of File:Outer connectivity for betweenness 1a.svg: Add some space around all four sides.

12 December 2010

• 22:0622:06, 12 December 2010 diff hist +720 N File:Outer connectivity for betweenness 1a.svg {{Information |Description={{en|1=My illustration of part of the proof of Axiom 18/Theorem 1 from Julien Narboux (2007), "[http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.158.8614 Mechanical Theorem Proving in Tarski’s Geometry]", F. Botana and

11 December 2010

• 03:0103:01, 11 December 2010 diff hist +169 File:Outer connectivity for betweenness 2.svg +Date, +Category, +Information
• 02:5902:59, 11 December 2010 diff hist +562 N File:Outer connectivity for betweenness 2.svg My illustration of the second part of the proof of Axiom 18/Theorem 1 from Julien Narboux (2007), "[http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.158.8614 Mechanical Theorem Proving in Tarski’s Geometry]", F. Botana and T. Recio (Eds.): ADG 20

10 December 2010

• 01:4301:43, 10 December 2010 diff hist +33 File:Outer connectivity for betweenness 1.svg add Category:Elementary geometry

8 December 2010

• 02:5002:50, 8 December 2010 diff hist +696 N File:Outer connectivity for betweenness 1.svg {{Information |Description={{en|1=My illustration of the first part of the proof of Axiom 18/Theorem 1 from Julien Narboux (2007), "[http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.158.8614 Mechanical Theorem Proving in Tarski’s Geometry]", F. B

3 December 2010

• 01:3901:39, 3 December 2010 diff hist +736 N File:Lemma l4 17 from Narboux.svg {{Information |Description={{en|1=My illustration of lemma l4_17 at http://dpt-info.u-strasbg.fr/~narboux/tarski.html (as described in Julien Narboux (2007), "[http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.158.8614 Mechanical Theorem Proving in

28 November 2010

• 17:5017:50, 28 November 2010 diff hist +6 File:Inner five segment.svg →Summary: update URL

30 September 2010

• 09:2409:24, 30 September 2010 diff hist +855 N File:Inner five segment proof.svg {{Information |Description=My illustration of the proof of the inner five segment theorem (lemma l4_2 at http://dpt-info.u-strasbg.fr/~narboux/tarski.html (as described in Julien Narboux (2007), "[http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.15
• 09:1909:19, 30 September 2010 diff hist −14 File:Inner five segment.svg fix duplicate Summary heading from the last edit

29 September 2010

• 20:3320:33, 29 September 2010 diff hist 0 File:Inner five segment.svg uploaded a new version of File:Inner five segment.svg: Narboux's hypothesis has the congruence between x and z, not x and y (probably can deduce one from the other, but let's stick with the source).
• 15:5815:58, 29 September 2010 diff hist +846 N File:Inner five segment.svg == Summary == {{Information |Description=My illustration of the inner five segment theorem (lemma l4_2 at http://dpt-info.u-strasbg.fr/~narboux/tarski.html (as described in Julien Narboux (2007), "[http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1
• 15:1315:13, 29 September 2010 diff hist +326 N File:Five segment.svg {{Information |Description=Tarski's Five Segment geometry axiom |Source={{own}} |Date= |Author= James Kingdon (~~~) |Permission= |other_versions= }} Category:Elementary geometry

28 September 2010

• 20:0520:05, 28 September 2010 diff hist +34 File:Lemma l3 17 from Narboux.svg +category
• 20:0420:04, 28 September 2010 diff hist +796 N File:Lemma l3 17 from Narboux.svg {{Information |Description=My illustration of the proof of lemma l3_17 at http://dpt-info.u-strasbg.fr/~narboux/tarski.html (as described in Julien Narboux (2007), "[http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.158.8614 Mechanical Theorem Provi

8 September 2010

• 19:4619:46, 8 September 2010 diff hist +539 N File:Tarski's axiom of Euclid C.svg {{Information |Description={{en|1=If a point u is in the interior of an angle (in the sense of being on some line segment drawn across the angle), then any point v which is further out (that is, u is between v and the vertex of the angle) will also be in
• 18:5618:56, 8 September 2010 diff hist 0 File:Points in a plane equidistant to two given points lie on a line.svg uploaded a new version of File:Points in a plane equidistant to two given points lie on a line.svg: Set the page size to the size of the drawing (actually upload file I meant to upload in the last version)
• 18:5418:54, 8 September 2010 diff hist 0 File:Points in a plane equidistant to two given points lie on a line.svg uploaded a new version of File:Points in a plane equidistant to two given points lie on a line.svg: Set the page size to the size of the drawing
• 18:4918:49, 8 September 2010 diff hist +291 N File:Points in a plane equidistant to two given points lie on a line.svg {{Information |Description={{en|1=Points in a plane equidistant to two given points lie on a line. }} |Source={{own}} |Author=Kingdon |Date=2010-09-08 |Permission= |other_versions= }} Category:Elementary geometry
• 17:2917:29, 8 September 2010 diff hist 0 File:Tarski's continuity axiom.svg uploaded a new version of File:Tarski's continuity axiom.svg: Apply "stroke to path" to arrows per Wikipedia:How_to_Draw_a_Diagram_with_Inkscape
• 16:3316:33, 8 September 2010 diff hist +327 N File:Tarski's continuity axiom.svg {{Information |Description={{en|1=Illustration of the Axiom schema of Continuity from [http://en.wikipedia.org/wiki/Tarski%27s_axioms] }} |Source={{own}} |Author=Kingdon |Date=2010-09-08 |Permission= |other_versions= }} [[Category:Elemen

1 September 2010

• 02:3702:37, 1 September 2010 diff hist +44 File:Tarski's formulation of Pasch's axiom.svg forgot to pick the license from the pull-down, so fix it now
• 02:3402:34, 1 September 2010 diff hist +24 File:Tarski's formulation of Pasch's axiom.svg categorize
• 02:3302:33, 1 September 2010 diff hist +311 N File:Tarski's formulation of Pasch's axiom.svg {{Information |Description=This diagram illustrates the variant of Pasch's axiom used by Tarski's axiomization of Euclidian geometry |Source={{own}} |Date=August 31, 2010 |Author= MyName (~~~) |Permission= |other_versions= }}

21 August 2010

• 21:4421:44, 21 August 2010 diff hist +22 File:Botanical Garden train station looking towards garden.jpg Adding a geocode might be as simple as just copying coordinates from w:Botanical Garden (Metro-North station) but I don't know enough to be sure
• 21:0121:01, 21 August 2010 diff hist +638 N File:Botanical Garden train station looking towards garden.jpg {{Information |Description={{en|1={{en|1=Botanical Garden station on Metro-North Harlem Line, Bronx, NY, USA. Taken from the southbound

20 June 2010

• 19:5119:51, 20 June 2010 diff hist +22 File:Graham's Hierarchy of Disagreement.svg don't link to disambiguation page

30 December 2009

• 17:3517:35, 30 December 2009 diff hist −135 Osmunda claytoniana not Osmunda claytoniana
• 17:3317:33, 30 December 2009 diff hist −70 File:Matteuccia struthiopteris, Pancake Bay PP.jpg I'm going to assert that whatever this is, it certainly is not Osmunda claytoniana
• 17:2917:29, 30 December 2009 diff hist +318 File talk:Matteuccia struthiopteris, Pancake Bay PP.jpg →Identification: not O. claytoniana

4 August 2009

• 20:5420:54, 4 August 2009 diff hist −13 File:Bee balm.jpg This is not Monarda didyma, per en:WT:PLANTS#Probably misidentified Monarda photo

9 July 2009

• 11:0711:07, 9 July 2009 diff hist +349 User talk:BotBln →noncommercial not OK: new section

28 August 2008

• 15:1415:14, 28 August 2008 diff hist +15 File:Matteuccia struthiopteris, Pancake Bay PP.jpg the identification is in doubt
• 15:1315:13, 28 August 2008 diff hist +3 Osmunda claytoniana identification of that image is in doubt