Proof - PDFSEARCH.IO - Document Search Engine

Proof
Results: 11440

#	Item
41	Verification Coverage for Combining Test and Proof Viet Hoang Le1 , Lo¨ıc Correnson2 , Julien Signoles2 , and Virginie Wiels3 1 2 Add to Reading List Source URL: julien.signoles.free.fr Language: English - Date: 2018-06-20 05:46:32 Software engineering Software testing Computing Theoretical computer science Formal methods Systems engineering Logic in computer science Formal verification Mutation testing Code coverage KeY Specification
42	COSC 544 Probabilistic Proof SystemsLFKN’s Interactive Proof for #SAT Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-09-18 12:17:56 Computational complexity theory Complexity classes Boolean algebra IP True quantified Boolean formula Interactive proof system PSPACE NP Boolean satisfiability problem FO Linear temporal logic ArthurMerlin protocol
43	Advanced Proof Viewing in P ROOF T OOL Tomer Libal Martin Riener∗ Mikheil Rukhaia† Add to Reading List Source URL: www.logic.at Language: English - Date: 2014-07-19 11:46:07 Proof theory Mathematical logic Logic Mathematics Sequent calculus Sequent Mathematical proof Cut-elimination theorem Formal proof Proof complexity Theorem Metamath
44	COSC 544 Probabilistic Proof SystemsTurning Computer Programs Into Circuits (Part 1) Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-10-10 11:45:28 Circuit complexity Complexity classes Theory of computation Theoretical computer science Computer science NC Circuit Computer IP NP Multiplication algorithm Matrix multiplication algorithm
45	COSC 544 Probabilistic Proof SystemsThe GKR Protocol and Its Efficient Implementation Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-10-06 11:09:52 Computational complexity theory Mathematics Complexity classes IP Circuit complexity True quantified Boolean formula NP SchwartzZippel lemma NC
46	Tensority: an ASIC-friendly Proof of Work Algorithm Based on Tensor Bytom Foundation Email: April 17, 2018 Abstract Add to Reading List Source URL: bytom.io Language: English - Date: 2018-04-18 21:58:58 Search algorithms Statistical randomness Matrix Probability distribution Hash function Bitcoin Scrypt Random variable Information retrieval Information science Cryptography
47	Designing Proof Formats A User’s Perspective Sascha B¨ ohme Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2011-08-05 14:21:30 Mathematical logic Theoretical computer science Software Formal methods Proof assistants Automated theorem proving Mathematical proof First-order logic Proof True quantified Boolean formula Frama-C Type theory
48	COSC 544 Probabilistic Proof SystemsA State of the Art MIP For Circuit Satisfiability Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-10-16 18:20:55 Mathematics Complexity classes Randomized algorithms IP Probabilistically checkable proof NP NEXPTIME Soundness Variable Interactive proof system Proof of knowledge
49	Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–82) PROOF-THEORETIC METHODS IN NONLINEAR ANALYSIS Ulrich Kohlenbach Add to Reading List Source URL: eta.impa.br Language: English - Date: 2018-07-25 13:17:42 Mathematics Structure Abstraction Computability theory Metric geometry Topology Proof theory Primitive recursive function Theory of computation Mathematical logic Metric space Proof mining
50	COSC 544 Probabilistic Proof SystemsA First Linear PCP (Of Size \|F\|O(S ) ) Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-11-02 08:26:19 Algebra Abstract algebra Mathematics Probabilistically checkable proof Valuation Tensor product