|
|
This model is intended as a quick demonstration of Bolzano's curve. This curve was the first function that was proved to be continuous everywhere but not differentiable anywhere. It is a limiting function that is obtained by repeatedly subdividing each straight line in the previous approximation into four segments. This model shows the first few approximations to the curve, but DoNaLD runs out of space for later approximations since each approximation has 4^n lines in it. The model is initially built by running a file that creates the code that is then fed into the TkEden model. [Chris R]
| bolzanoBeynon1994 is available locally within DCS at /dcs/emp/empublic/projects/bolzanoBeynon1994 |
| Download bolzanoBeynon1994.tar.gz Uncompressed, bolzanoBeynon1994 is 132.5 Kbytes (in 11 files). Your download will be smaller as it will be compressed. Help on extracting the files from the download. |
README |
732 | 04:33 PM Jan 07 2004 | 09:50 AM Apr 02 2007 |
README.xml |
1189 | 04:25 PM Jan 07 2004 | 09:50 AM Apr 02 2007 |
Run.e |
53 | 10:29 AM Jan 06 2004 | 09:50 AM Apr 02 2007 |
bolz.e |
1842 | 04:28 PM Jan 07 2004 | 09:50 AM Apr 02 2007 |
bolz2.e |
1847 | 01:51 PM May 25 1994 | 09:50 AM Apr 02 2007 |
bolz3.e |
2003 | 04:28 PM Jan 07 2004 | 09:50 AM Apr 02 2007 |
genfig1.d |
84970 | 11:14 AM Jan 06 2004 | 09:50 AM Apr 02 2007 |
genfig2.d |
3697 | 01:51 PM May 25 1994 | 09:50 AM Apr 02 2007 |
oldgenfig1.d |
26473 | 01:51 PM May 25 1994 | 09:50 AM Apr 02 2007 |
scout.window |
646 | 01:51 PM May 25 1994 | 09:50 AM Apr 02 2007 |
screenshot.gif |
12193 | 11:39 AM Jan 06 2004 | 09:50 AM Apr 02 2007 |
empublic system initially created by Ashley Ward with assistance from Chris Roe and Meurig Beynon.
