Proof

Results: 11440



#Item
381

Cambridge University Press4 - Logical Foundations of Proof Complexity Stephen Cook and Phuong Nguyen Index More information

Add to Reading List

Source URL: assets.cambridge.org

- Date: 2010-02-15 04:00:08
    382

    A SHORT PROOF OF THE PRIME NUMBER THEOREM FOR ARITHMETIC PROGRESSIONS IVAN SOPROUNOV Abstract. We give a short proof of the Prime Number Theorem for arithmetic progressions following the ideas of recent Newman’s short

    Add to Reading List

    Source URL: academic.csuohio.edu

    - Date: 2011-03-22 17:43:57
      383

      List of selected Principal Investigators (by country of host institution) ERC Proof of Concept GrantDeadline 3 Last Name

      Add to Reading List

      Source URL: erc.europa.eu

      - Date: 2016-01-22 05:51:35
        384

        NUMERICAL SOLUTION of MARKOV CHAINS, p. 289–304 Reversed processses, product forms, non-product forms and a new proof of the BCMP theorem ∗

        Add to Reading List

        Source URL: pubs.doc.ic.ac.uk

        - Date: 2007-02-21 10:15:12
          385

          Static Program Analysis Mooly Sagiv Hoare Proof Rules for Partial Correctness {A} skip {A}

          Add to Reading List

          Source URL: www.cs.tau.ac.il

          - Date: 2014-04-28 07:30:30
            386

            Merchant Security System Upgrade Guide Click HERE for information on SHA-256 compliance. Future-Proof Your Integration Global security threats are constantly changing, and the security of our merchants continues to be ou

            Add to Reading List

            Source URL: www.paypal-knowledge.com

            - Date: 2015-09-11 15:20:55
              387

              Technical Report WVNovember 2005 On Structuring Proof Search for First Order Linear Logic

              Add to Reading List

              Source URL: www.ki.inf.tu-dresden.de

              - Date: 2006-03-26 15:53:31
                388

                A framework for proof certificates in finite state exploration Quentin Heath and Dale Miller Inria Saclay–ˆIle-de-France ´ LIX, Ecole

                Add to Reading List

                Source URL: www.lix.polytechnique.fr

                - Date: 2015-06-25 16:48:44
                  389

                  Proof, beliefs, and algorithms through the lens of sum-of-squares 1 Arora–Rao–Vazirani Approximation for Expansion In this lecture, we consider the problem of finding a set with smallest

                  Add to Reading List

                  Source URL: sumofsquares.org

                  - Date: 2016-11-17 19:44:26
                    390

                    Noname manuscript No. (will be inserted by the editor) Proof Repositories for Compositional Verification of Evolving Software Systems Managing Change When Proving Software Correct

                    Add to Reading List

                    Source URL: einarj.at.ifi.uio.no

                    - Date: 2016-10-06 03:02:24
                      UPDATE