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

	Two-dimensional Totalistic Code 52 Todd Rowland Senior Research Associate, Wolfram Research, Inc. 100 Trade Center Drive, DocID: 1utwk - View Document
	rethinking digital research kaitlin thaney @kaythaney ; @digitalsci wolfram data summit DocID: 1tBP1 - View Document
	meijerG, a package for simplification of Meijer’s G function Victor S. Adamchik Wolfram Research Inc. former address : Byelorussian University, Minsk, Byelorussia DocID: 1rrU5 - View Document
	Production and Research Development Tools for Current and Future Platforms Presenter: Martin Schulz, LLNL LLNL has a long history in developing a wide range of debugging, code correctness and performance analysis and DocID: 1puip - View Document
	MathematicaTipsDefault.nb DocID: 1oQNh - View Document