Search alternatives:
"prover" » "proved", "proves", "grover"
Cover Image
Read Now

1
by Lau, Lap Chi, Ravi, R., Singh, Mohit
Published 2011
Cambridge University Press
“..., several techniques from exact optimization such as the primal-dual method have proven their staying power...”
Cover Image
Read Now

2
by Kruse, Raphael
Published 2014
Springer International Publishing
“.... These techniques are developed and explained in a separate chapter, before the weak convergence is proven...”
Cover Image
Read Now

3
by Harrison, John
Published 1998
Springer London
Table of Contents: “... -- 5.6 Results -- 5.7 Summary and related work -- 6. Computer Algebra Systems -- 6.1 Theorem provers vs...”
Cover Image
Read Now

4
Published 1999
Springer New York
“... approaches for drug lead discovery and optimization have proven successful in many recent research programs...”
Cover Image
Read Now

5
Published 2015
Springer Berlin Heidelberg
Table of Contents: “... Controllers -- Games for Dependent Types -- Short Proofs of the Kneser-Lovász Coloring Principle -- Provenance...”
Cover Image
Read Now

6
Published 2004
Springer Berlin Heidelberg
“... round-o?, and in model interpretation. The techniques of validated computing have proven their merits...”
Cover Image
Read Now

7
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Linear-Size Circuits -- A K-Provers Parallel Repetition Theorem for a Version of No-Signaling Model...”
Cover Image
Read Now

8
Published 2015
Springer Berlin Heidelberg
Table of Contents: “... Extractors for Sub-Logarithmic Entropy -- Interactive Proofs with Approximately Commuting Provers -- Popular...”
Cover Image
Read Now

9
Published 2017
Springer International Publishing
“... and applications in HPC, as well as provenance tracking for large-scale simulations...”