File list

Jump to: navigation, 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
12:15, 21 April 2016 Anonymous preferences (non-modal).png (file) 469 KB User created page with UploadWizard
13:39, 26 February 2016 Hovercard (intermediate value theorem).png (file) 181 KB User created page with UploadWizard
22:54, 5 January 2015 Bijna.png (file) 7 KB User created page with UploadWizard
16:52, 21 December 2014 The making of HoTT book.webm (file) 1.76 MB User created page with UploadWizard
15:32, 19 March 2013 Matthias Withoos - Gezicht op Amersfoort.jpg (file) 33 KB User created page with UploadWizard
01:20, 10 March 2013 Fork & knife.svg (file) 3 KB User created page with UploadWizard
22:40, 30 January 2013 Castel and Ponte Sant'Angelo (Rome).JPG (file) 5.66 MB User created page with UploadWizard
21:12, 30 January 2013 Panorama view from the dome of the St. Peter's Basilica.jpg (file) 11.24 MB User created page with UploadWizard
22:18, 21 May 2011 Kurt Mehlhorn.jpg (file) 558 KB  
12:25, 21 May 2011 Thierry Coquand.jpg (file) 349 KB  
11:52, 21 May 2011 Luca Cardelli.jpg (file) 688 KB  
11:22, 21 May 2011 Gordon Plotkin.jpg (file) 539 KB  
11:13, 21 May 2011 Benjamin C. Pierce.jpg (file) 539 KB  
10:53, 21 May 2011 John C. Mitchell.jpg (file) 444 KB  
10:36, 21 May 2011 Eugenio Moggi.jpg (file) 766 KB  
22:43, 16 March 2011 Omar Kayyám - Geometric solution to cubic equation.svg (file) 827 bytes fix colour
20:06, 15 March 2011 Omar Kayyám - Geometric solution to cubic equation.png (file) 18 KB {{Information |Description ={{en|1=Omar Kayyám - Geometric solution to cubic equation}} |Source ={{own}} |Author =Ruud Koot |Date = |Permission = |other_versions = }} <source lang=mathematica> Show[][][
09:14, 31 December 2010 Heinrich Suter.png (file) 830 KB {{Information |Description={{en|1=en:Heinrich Suter}} |Source=Julius Ruska. "[http://www.jstor.org/stable/223738 Heinrich Suter]". ''Isis (journal)'', Vol. 5, No. 2 (1923), pp. 409-417. |Author=en:Heinrich Suter |Date=1923 |Permission=
18:27, 2 January 2010 Within-temptation-all.jpg (file) 117 KB Reverted to version as of 09:34, 23 August 2008
22:25, 31 July 2009 Windows 95 architecture.png (file) 31 KB {{Information |Description={{en|1=Diagram of w:Windows 95's architecture.}} |Source=Own work by uploader |Author=Ruud Koot |Date=2009-08-01 |Permission= |other_versions= }} Created using Dia. ([http://www.ruudk
22:38, 4 July 2009 Baglione.jpg (file) 88 KB higher resolution
19:10, 9 January 2009 Carl Hewitt (40th Anniversary of the Mother of all Demos, 3).jpg (file) 326 KB {{Information |Description={{en|1=en:Carl Hewitt}} |Source=http://www.flickr.com/photos/jeanbaptisteparis/3098594954/ |Author=http://www.flickr.com/photos/jeanbaptisteparis/ |Date=December 8, 2008 |Permission= |other_versions= }} <!--{{ImageUpload|fu
19:02, 9 January 2009 Carl Hewitt (40th Anniversary of the Mother of all Demos, 1).jpg (file) 232 KB {{Information |Description={{en|1=en:Carl Hewitt}} |Source=http://www.flickr.com/photos/jeanbaptisteparis/3098594774/ |Author=http://www.flickr.com/photos/jeanbaptisteparis/ |Date=December 8, 2008 |Permission= |other_versions= }} <!--{{ImageUpload|fu