Skip to main content navigation
parent site logoSite logo

Projects archive / Bolzano Curve

Code:bolzanoBeynon1994
Title:Bolzano Curve
Authors:Meurig Beynon, Steve Russ
Date:May-1994
Type:model
Short description:Displaying approximations to Bolzano's curve
EM Technologies:tkeden, %eden, %scout, %donald
Keywords:geometry
empublic references:
EMpress references:
Web site references:
Previous locations:~wmb/public/projects/misc/Bolzano
Tour:README

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 04:05 PM Dec 15 2014
README.xml 1189 04:25 PM Jan 07 2004 04:05 PM Dec 15 2014
Run.e 53 10:29 AM Jan 06 2004 04:05 PM Dec 15 2014
bolz.e 1842 04:28 PM Jan 07 2004 04:05 PM Dec 15 2014
bolz2.e 1847 01:51 PM May 25 1994 04:05 PM Dec 15 2014
bolz3.e 2003 04:28 PM Jan 07 2004 04:05 PM Dec 15 2014
genfig1.d 84970 11:14 AM Jan 06 2004 04:05 PM Dec 15 2014
genfig2.d 3697 01:51 PM May 25 1994 04:05 PM Dec 15 2014
oldgenfig1.d 26473 01:51 PM May 25 1994 04:05 PM Dec 15 2014
scout.window 646 01:51 PM May 25 1994 04:05 PM Dec 15 2014
screenshot.gif 12193 11:39 AM Jan 06 2004 04:05 PM Dec 15 2014

empublic system initially created by Ashley Ward with assistance from Chris Roe and Meurig Beynon.