Proof - PDFSEARCH.IO - Document Search Engine

Proof
Results: 11440

#	Item
11	A proof of Minkowski’s second theorem Matthew Tointon Minkowski’s second theorem is a fundamental result from the geometry of numbers with important applications in additive combinatorics (see, for example, its appli Add to Reading List Source URL: tointon.neocities.org Language: English - Date: 2017-05-18 16:55:52 Spectral theory Hermann Minkowski Minkowski's second theorem Operator theory Mathematics Dissipative operator
12	Theorem Proving using Lazy Proof Expli ation Corma Flanagan1 , Rajeev Joshi1 , Xinming Ou2 , and James B. Saxe1 1 Systems Resear h Center, HP Labs, Palo Alto, CA 2 Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:26:03 Theoretical computer science Logic Formal methods Mathematical logic Model theory Interpretation Logic in computer science Propositional calculus Boolean satisfiability problem Automated theorem proving Propositional variable IP
13	The KnowledgeComplexity of Interactive Proof-Systems (ExtendedAbstract) ShafiGoldwasser SilvioMicali CharlesRackoff MIT MIT Universityof Toronto Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2005-09-09 15:31:38 Computational complexity theory Theory of computation Complexity classes Randomized algorithms Models of computation IP NP ArthurMerlin protocol Interactive proof system BPP PP Zero-knowledge proof
14	Cooperating Proof Attempts Giles Reger, Dmitry Tishkovsky, and Andrei Voronkov ? University of Manchester, Manchester, UK Abstract. This paper introduces a pseudo-concurrent architecture for first-order saturation-based Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 13:24:09 Formal methods Theoretical computer science Complexity classes Automated theorem proving Vampire NP IP Mathematics Constraint programming Proof compression
15	Language Models for Proofs Anonymous Author(s) ABSTRACT Proofs play a key role in reasoning about programs and verification of properties of systems. Mechanized proof assistants help users in developing proofs and checki Add to Reading List Source URL: web.cs.ucdavis.edu Language: English - Date: 2018-10-22 12:57:37 Mathematics Theoretical computer science Applied mathematics Logic in computer science Formal methods Computational neuroscience Artificial neural networks Proof assistants Entropy Coq N-gram Recurrent neural network
16	Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions Son Ho1 , Oskar Abrahamsson2 , Ramana Kumar3 , Magnus O. Myreen2 , Yong Kiam Tan4 , and Michael Norrish5 1 Add to Reading List Source URL: cakeml.org Language: English - Date: 2018-04-24 22:00:10 Software engineering Computer programming Computing Functional programming Subroutines Programming idioms Theoretical computer science Functional languages Monad Standard ML Eval Algorithm
17	Proof Certificates for SMT-based Model Checkers for Infinite-state Systems Alain Mebsout Cesare Tinelli Add to Reading List Source URL: mebsout.github.io Language: English - Date: 2017-07-21 11:03:15 Mathematical logic Mathematics Theoretical computer science Temporal logic Logic in computer science Model theory Formal methods Linear temporal logic Satisfiability modulo theories First-order logic Propositional calculus IP
18	Analyzing individual proofs as the basis of interoperability between proof systems Gilles Dowek? Abstract. We describe the first results of a project to analyze in which theories formal proofs can be expressed and use th Add to Reading List Source URL: pxtp.github.io Language: English - Date: 2017-09-19 19:50:55 Mathematical logic Theoretical computer science Mathematics Type theory Logic in computer science Dependently typed programming Formal methods Logical framework Proof theory First-order logic Lambda calculus Calculus of constructions
19	COSC 544 Probabilistic Proof SystemsA First Succinct Argument Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-10-15 19:55:30 Cryptography Complexity classes Computational complexity theory NP IP Commitment scheme Soundness P Certificate Cryptographic hash function Interactive proof system Non-interactive zero-knowledge proof
20	ZKProof Charter Boston, May 10th and 11th 2018 The goal of the ZKProof Standardardization effort is to advance the use of Zero Knowledge Proof technology by bringing together experts from industry and academia. To furthe Add to Reading List Source URL: zkproof.org Language: English - Date: 2018-10-25 10:32:39 Information science Social media Computing World Wide Web Twitter Computer jargon Hashtag Knowledge representation Web 2.0 Technology

UPDATE