Back to Results
First PageMeta Content
Mathematical logic / Formal methods / Automated theorem proving / Logical syntax / Formal languages / Mathematical proof / Formal proof / Theorem / Proof / Logic / Mathematics / Proof theory


Communicating and trusting proofs: The case for foundational proof certificates Dale Miller ´ INRIA-Saclay & LIX/Ecole Polytechnique, Palaiseau, France
Add to Reading List

Document Date: 2014-03-13 12:13:02

Open Document

File Size: 198,34 KB

Share Result on Facebook

City

Palaiseau / ACME / /

Company

Intel / /

Country

France / /

IndustryTerm

theorem proving systems / computational logic systems / large software systems / software components / software servers / machine-to-machine communications / structuring collections / proof systems / proof mining / quality software / electronic banking systems / point division algorithm / safety critical software / security protocols / searching among theorems / /

Organization

Ecole Polytechnique / /

Person

Dale Miller / /

Position

author / mathematician / /

Technology

cellular telephone / security protocols / operating system / smart phones / /

SocialTag