Back to Results
First PageMeta Content
Proof theory / Automated theorem proving / Logic in computer science / Model theory / Mathematical proof / Theorem / Proof assistant / Isabelle / Jordan curve theorem / Logic / Mathematics / Mathematical logic


Document Date: 2008-11-20 13:32:58

Open Document

File Size: 511,60 KB

Share Result on Facebook

City

Providence / Reading / San Diego / /

Company

the New York Times / Russell / Intel / /

Country

Germany / Poland / France / United Kingdom / /

Currency

USD / /

/

EntertainmentAwardEvent

the 2003 Merton Book Award / /

Event

Man-Made Disaster / /

Facility

University of Pittsburgh / /

IndustryTerm

brute force solution / test tools / typical software / theorem-proving systems / notational device / Web browsers / Web-browser version / human technology / machinery / theorem proving systems / computer algebra systems / reflexive law / energy / computer chip / buggy software / computer search / foundational systems / software testing book / proof tools / electronic commerce system / purpose algorithms / geometry algorithm / software testing / example mission-critical software / /

OperatingSystem

Linux / /

Organization

National Science Foundation / MIT / Institute for Advanced Study / HOL Light / University of Pittsburgh / American Sociological Association / Stanford / /

Person

Mark Adams / B. Casselman / Michael Beeson / Vincent van Gogh / F. Wiedijk / J. Strother Moore / T. Nipkow / W. D. Young / Robin Milner / Jordan Curve Brouwer / K. Parkinson / W. R. Bevier / Andy Grove / N. G. de Bruijn / Harrison Harrison Gödel Eisenstein Henstock Brynski / Thomas C. Hales / W. A. Hunt Jr. / Harrison Bauer-Nipkow Harrison / /

/

Position

advisor / editor / President / proof assistant / mathematician / author / dentist / Professor of Mathematics / trained mathematician / assistant / automated mathematician / Isabelle proof assistant / programmer / /

ProgrammingLanguage

Mathematica / C / Haskell / /

ProvinceOrState

Rhode Island / /

PublishedMedium

the New York Times / the Annals of Mathematics / Journal of Symbolic Computation / /

TVShow

Q.E.D. / /

Technology

computer chip / Presburger algorithm / Linux / purpose algorithms / operating system / geometry algorithm / operating systems / cryptography / artificial intelligence / flash / /

URL

http /

SocialTag