Uploads by Kingdon
Jump to navigation
Jump to search
For Kingdon (talk · contributions · Move log · block log · uploads · Abuse filter log)
This special page shows all uploaded files that have not been deleted; for those see the upload log.
| Date | Name | Thumbnail | Size | Description |
|---|---|---|---|---|
| 17:36, 24 August 2013 | Vireya Kamrau Bay.jpg (file) |  |
2.28 MB | User created page with UploadWizard |
| 01:47, 1 September 2011 | Lemma l7 22 in Narboux.svg (file) |  |
8 KB | |
| 02:38, 4 July 2011 | Proof of lemma l7 21 in Narboux.svg (file) |  |
6 KB | |
| 01:40, 26 April 2011 | Proof of midpoint uniqueness.svg (file) |  |
7 KB | |
| 02:27, 20 April 2011 | Proof of lemma l7 13 in Narboux.svg (file) |  |
13 KB | Make text and hash marks bigger and bolder so the diagram is more readable at thumbnail size |
| 13:02, 8 March 2011 | Theorem t2 8 from Narboux.svg (file) |  |
6 KB | 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 |
| 01:00, 30 December 2010 | Line segment inequality transitivity.svg (file) |  |
6 KB | {{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 |
| 13:35, 24 December 2010 | Outer connectivity for betweenness 6.svg (file) |  |
11 KB | {{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 |
| 03:05, 22 December 2010 | Outer connectivity for betweenness 5.svg (file) |  |
13 KB | {{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:36, 22 December 2010 | Outer connectivity for betweenness 4.svg (file) |  |
12 KB | {{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:34, 22 December 2010 | Outer connectivity for betweenness 3.svg (file) |  |
10 KB | {{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 |
| 01:53, 13 December 2010 | Outer connectivity for betweenness 1a.svg (file) |  |
8 KB | Add some space around all four sides. |
| 02:59, 11 December 2010 | Outer connectivity for betweenness 2.svg (file) |  |
9 KB | 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 |
| 02:50, 8 December 2010 | Outer connectivity for betweenness 1.svg (file) |  |
9 KB | {{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 |
| 01:39, 3 December 2010 | Lemma l4 17 from Narboux.svg (file) |  |
6 KB | {{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 |
| 09:24, 30 September 2010 | Inner five segment proof.svg (file) |  |
12 KB | {{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 |
| 20:33, 29 September 2010 | Inner five segment.svg (file) |  |
10 KB | 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:13, 29 September 2010 | Five segment.svg (file) |  |
10 KB | {{Information |Description=Tarski's Five Segment geometry axiom |Source={{own}} |Date= |Author= James Kingdon (~~~) |Permission= |other_versions= }} Category:Elementary geometry |
| 20:04, 28 September 2010 | Lemma l3 17 from Narboux.svg (file) |  |
13 KB | {{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 |
| 19:46, 8 September 2010 | Tarski's axiom of Euclid C.svg (file) |  |
6 KB | {{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:56, 8 September 2010 | Points in a plane equidistant to two given points lie on a line.svg (file) |  |
4 KB | Set the page size to the size of the drawing (actually upload file I meant to upload in the last version) |
| 17:29, 8 September 2010 | Tarski's continuity axiom.svg (file) |  |
8 KB | Apply "stroke to path" to arrows per Wikipedia:How_to_Draw_a_Diagram_with_Inkscape |
| 02:33, 1 September 2010 | Tarski's formulation of Pasch's axiom.svg (file) |  |
6 KB | {{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:01, 21 August 2010 | Botanical Garden train station looking towards garden.jpg (file) |  |
981 KB | {{Information |Description={{en|1={{en|1=Botanical Garden station on Metro-North Harlem Line, Bronx, NY, USA. Taken from the southbound |
| 22:02, 6 August 2008 | Royal fern closeup.jpg (file) |  |
942 KB | {{Information |Description={{en|1=Closeup of the sterile fronds of a royal fern in cultivation in Maryland, United States. As it was purchased at a native plant nursery I assume it is ''Osmunda regalis'' var. ''spectabilis'' (the American variety), altho |
| 21:35, 6 August 2008 | Packera aureus leaves.jpg (file) |  |
1.01 MB | {{Information |Description={{en|1=Leaves of Packera aureus in summer, of a cultivated plant}} |Source=Own work by uploader |Author=Jim Kingdon Kingdon |Date=6 Aug 2008 |Permission= |other_versions= }} {{ImageUpload|full}} |
| 21:27, 6 August 2008 | Eupatorium serotinum.jpg (file) |  |
1,012 KB | {{Information |Description={{en|1=Eupatorium serotinum in cultivation, as the flowers are just starting to open, next to the trunk of a white oak (Quercus alba) }} |Source=Own work by uploader |Author=Kingdon |Date=6 Aug 2008 |Permission= |
| 21:22, 6 August 2008 | Eupatorium serotinum closeup.jpg (file) |  |
923 KB | {{Information |Description={{en|1=Flowers just starting to open, of Eupatorium serotinum in cultivation }} |Source=Own work by uploader |Author=Jim Kingdon Kingdon |Date=6 Aug 2008 |Permission= |other_versions= }} {{ImageUpload|full}} |
| 21:06, 6 August 2008 | Conoclinium coelestinum.jpg (file) |  |
967 KB | {{Information |Description={{en|1=Flowers of Conoclinium coelestinum in cultivation}} |Source=Own work by uploader |Author=Kingdon |Date=6 Aug 2008 |Permission= |other_versions= }} {{ImageUpload|full}} [[Category:Conoclinium coelestinum |
| 20:51, 6 August 2008 | Chelone-glabra.jpg (file) |  |
987 KB | {{Information |Description=Chelone glabra flowers from a plant in cultivation |Source=self-made |Date=6 Aug 2008 |Author= Jim Kingdon (~~~) |other_versions= }} |
| 03:46, 6 February 2008 | Nicotiana obtusifolia plant.jpg (file) |  |
1.07 MB | {{Information |Description=Taken at Desert Botanical Garden in Phoenix, Arizona. Labelled Nicotiana trigonophylla. |Source=self-made |Date=December 23, 2007 |Author= [[User:Kingdon|James Kingdon] (~~~) |other_versions= }} |
| 21:12, 2 February 2008 | Aloe dichotoma in Phoenix.jpg (file) |  |
1.04 MB | {{Information |Description=Aloe dichotoma, taken at the Desert Botanical Garden in Phoenix, Arizona, USA |Source=self-made |Date=December 23, 2007 |Author= Jim Kingdon (~~~) |other_versions= }} |
| 19:32, 27 January 2008 | Opuntia rastrera.jpg (file) |  |
1.01 MB | ;Familia:Cactaceae ;Species:'''''Opuntia rastrera''''' {{Information |Description=Photo taken at Desert Botanical Garden in Phoenix, AZ, USA in 2007 |Source=self-made |Date=December 2007 |Author= Jim Kingdon (Kingdon) |other_versions= } |
| 04:56, 26 January 2008 | Stenocereus alamosensis.jpg (file) |  |
1.07 MB | ;Familia:Cactaceae ;Species:'''''Stenocereus alamosensis''''' {{Information |Description=Photo taken at Desert Botanical Garden in Phoenix, AZ, USA in 2007 |Source=self-made |Date=December 2007 |Author= Jim Kingdon (~~~) |other_versions= }} [[Category: |
| 13:47, 29 January 2007 | Vaccinium crassifolium.jpg (file) |  |
905 KB | {{Information |Description=Creeping blueberry plant, growing at the United States Botanic Garden's National Garden, 100 Maryland Avenue, SW, Washington, DC. Photo taken 2007-01-27 (winter). |Source=Own work |Date=2007-01-27 |Author=James Kingdon |Permiss |
