Uploads by Kingdon

Jump to navigation Jump to search

This special page shows all uploaded files that have not been deleted; for those see the upload log.

File list
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