Reasoning with computer-assisted experiments in mathematics Liesbeth De Mol∗ 1

First Page		Document Content
Date: 2011-11-29 04:56:35 Wolfram Research Theoretical computer science Formal methods University of Pennsylvania ENIAC Derrick Henry Lehmer Mandelbrot set A New Kind of Science Computer science Mathematics Science Computing		Reasoning with computer-assisted experiments in mathematics Liesbeth De Mol∗ 1 Add to Reading List Source URL: logica.ugent.be Download Document from Source Website File Size: 131,52 KB Share Document on Facebook

	Contents What is this about? The theorem The algorithm Summarising What is left? DocID: 1qOsC - View Document
	Mandelbrot Plot A web-based Mandelbrot set plo er built in Adobe Flash, available at h p://www.ﬂashandmath.com/advanced/mandelbrot/index.html Quick Start Guide To get started with genera ng some beau ful fractal images DocID: 1p4AL - View Document
	An entire transcendental family with a fixed Siegel disk Rub´en Berenguel Setembre DocID: 1p1Ad - View Document
	April 2013 • Volume 6 • Number 4 To Foster and Nurture Girls’ Interest in Mathematics An Interview with Laura DeMarco Fermat’s Little Theorem, Part 4 The Mandelbrot Set DocID: 1nDn5 - View Document
	Visualizing Arcs of Implicit Algebraic Curves, Exactly and Fast Pavel Emeliyanenko1 , Eric Berberich2 , Michael Sagraloff1 1 2 DocID: 1m6iq - View Document