Proof

Results: 11440



#Item
461

Proof, beliefs, and algorithms through the lens of sum-of-squares The Unique Games and Sum of Squares: A love hate relationship When computation is involved, very simple objects can sometimes give rise to very complicat

Add to Reading List

Source URL: sumofsquares.org

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

    Focused labeled proof systems for modal logic Dale Miller and Marco Volpe ´ Inria and LIX, Ecole Polytechnique, France Abstract. Focused proofs are sequent calculus proofs that group inference rules into alternating pos

    Add to Reading List

    Source URL: www.lix.polytechnique.fr

    - Date: 2015-11-06 10:54:47
      463

      Proof, beliefs, and algorithms through the lens of sum-of-squares 1 Higher-degree integrality gaps: from computational hardness to limitations of sum-of-squares

      Add to Reading List

      Source URL: sumofsquares.org

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

        Foundational Proof Certificates Making proof universal and permanent Dale Miller ´ INRIA-Saclay & LIX, Ecole

        Add to Reading List

        Source URL: www.lix.polytechnique.fr

        - Date: 2013-09-23 15:11:27
          465

          Some News on the Proof Complexity of Deep Inference

          Add to Reading List

          Source URL: cs.bath.ac.uk

          - Date: 2009-11-08 22:57:53
            466

            Introducing Substitution in Proof Theory Alessio Guglielmi University of Bath 20 July 2014

            Add to Reading List

            Source URL: cs.bath.ac.uk

            - Date: 2015-05-04 15:29:42
              467

              The Complete Proof Theory of Hybrid Systems Andr´e Platzer November 17, 2011 CMU-CS

              Add to Reading List

              Source URL: reports-archive.adm.cs.cmu.edu

              - Date: 2011-11-21 17:26:10
                468

                Undeniable Biblical Proof JESUS CHRIST Will

                Add to Reading List

                Source URL: undeniablebiblicalproof.com

                - Date: 2015-09-16 14:16:13
                  469

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

                  Add to Reading List

                  Source URL: erc.europa.eu

                  - Date: 2015-10-15 10:25:42
                    470

                    UNIFORMITY AND NONUNIFORMITY IN PROOF COMPLEXITY by Kaveh Ghasemloo

                    Add to Reading List

                    Source URL: www.cs.toronto.edu

                    - Date: 2016-07-27 16:01:11
                      UPDATE