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

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