<--- Back to Details
First PageDocument Content
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
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

Similar Documents

Alloy as an Introduction to Formal Methods

DocID: 1xVY1 - View Document

Culture in Berlin / Education in Berlin / Institute for Media and Communication Policy / Bernhard Steffen / Stochastic process / States of Germany / Germany

Integrated Formal Methods

DocID: 1xVBb - View Document

Software engineering / Theoretical computer science / Formal methods / Computing / Computer science / Computer security / Model checking / Verification / Formal verification / Carnegie Mellon University / Proof-carrying code / Software Engineering Institute

Trust in Formal Methods Toolchains Arie Gurfinkel Software Engineering Institute Carnegie Mellon University

DocID: 1xUHE - View Document

Arithmetic / Interval / Bracket

Formal Methods in System Design manuscript No. (will be inserted by the editor) Inferring Event Stream Abstractions Sean Kauffman · Klaus Havelund · Rajeev Joshi · Sebastian Fischmeister

DocID: 1xUCm - View Document

Mathematics / Temporal logic / Mathematical analysis / Theoretical computer science / Linear temporal logic / Mathematical logic / Formal languages / Computation tree logic / Constructible universe / Markov decision process / Well-formed formula / IP

Formal Methods in System Design manuscript No. (will be inserted by the editor) Automatic Verification of Competitive Stochastic Systems Taolue Chen · Vojtˇ

DocID: 1xUrV - View Document