✦ LIBER ✦

Computationally Sound Proofs

✍ Scribed by Micali, Silvio

Book ID: 118177441
Publisher: Society for Industrial and Applied Mathematics
Year: 2000
Tongue: English
Weight: 415 KB
Volume: 30
Category: Article
ISSN: 0097-5397
DOI: 10.1137/s0097539795284959

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Sound Proof

✍ Mirsky, Steve 📂 Article 📅 2001 🏛 Nature Publishing Group 🌐 English ⚖ 139 KB

Sound Proof

✍ C.A. Blocke 📂 Fiction 📅 2017 🏛 Less Than Three Press, LLC 🌐 English ⚖ 40 KB

When Chris is unceremoniously dumped by his longtime girlfriend, his best friend Thomas picks up the pieces and reminds him there's more to life than his lost relationship. In the process of letting go of a relationship that wasn't what he thought, Chris slowly comes to realize that everything he's

Sound Proof

✍ Kiden, Katheryn; Temporado, Wendi 📂 Fiction 📅 2015 🏛 Fidem Publishing 🌐 English ⚖ 2 MB

AJ Masterson lives for the rush of being onstage. The only thing he finds remotely satisfying besides playing his drums, is playing with the groupies that come along with the gig. That is, until he hits on the one woman that doesnt fall for his charm and immediately drop to her knees. It leaves him

Computationally based proofs of Stokes's

Computationally based proofs of Stokes's theorem and Gauss's theorem

✍ Saslow, Wayne M 📂 Article 📅 2007 🏛 Institute of Physics 🌐 English ⚖ 93 KB

Automating Soundness Proofs

✍ Muck van Weerdenburg 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 247 KB

Parallel Repetition of Computationally S

Parallel Repetition of Computationally Sound Protocols Revisited

✍ Krzysztof Pietrzak; Douglas Wikström 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 391 KB