Theorem

Results: 6939



#Item
271

Refactoring Proof: Thesis Proposal Iain J. Whiteside August 24, 2011 Abstract The Refactoring Proof project aims to develop refactoring techniques for Interactive Theorem Provers. This proposal outlines three main aims f

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

- Date: 2013-01-09 06:40:19
    272

    CS364B: Frontiers in Mechanism Design Lecture #19: Interim Rules and Border’s Theorem∗ Tim Roughgarden† March 12,

    Add to Reading List

    Source URL: theory.stanford.edu

    - Date: 2014-05-13 20:31:53
      273

      The Practice of Clausification in Automatic Theorem Proving Geoff Sutcliffe Stuart Melville

      Add to Reading List

      Source URL: www.cs.miami.edu

      - Date: 2006-05-03 07:33:26
        274

        167 Documenta Math. The Allegretto-Piepenbrink Theorem for Strongly Local Dirichlet Forms

        Add to Reading List

        Source URL: www.math.uiuc.edu

        - Date: 2009-07-06 12:44:42
          275

          Statistica Sinica), A CENTRAL LIMIT THEOREM FOR THE NUMBER OF SUCCESS RUNS: AN EXAMPLE OF REGENERATIVE PROCESSES S. G. Kou and Y. S. Chow

          Add to Reading List

          Source URL: www.rmi.nus.edu.sg

          - Date: 2003-11-03 16:13:44
            276

            1 An isoperimetric theorem in plane geometry Alan Siegel1 C OURANT I NSTITUTE OF MATHEMATICAL S CIENCES N EW YORK U NIVERSITY

            Add to Reading List

            Source URL: www.cs.nyu.edu

            - Date: 2001-08-06 08:19:41
              277

              A Generalization of Fermats Last Theorem: The Beal Conjecture and Prize Problem

              Add to Reading List

              Source URL: www.andrewbeal.com

              - Date: 2014-01-29 14:47:36
                278

                A Dichotomy Theorem for the Resolution Complexity of Random Constraint Satisfaction Problems Siu On Chan∗ Department of EECS UC Berkeley

                Add to Reading List

                Source URL: www.cs.toronto.edu

                - Date: 2012-08-08 09:39:27
                  279

                  Algorithms and Data Structures Winter TermExercises for Unit 5 1. Use the Akkra-Bazi Theorem to derive closed form expressions for the following recursively defined functions:

                  Add to Reading List

                  Source URL: www-tcs.cs.uni-sb.de

                  - Date: 2016-03-01 13:21:58
                    280

                    An Adiabatic Theorem for Resonances ALEXANDER ELGART Virginia Polytechnic Institute and State University GEORGE A. HAGEDORN Virginia Polytechnic Institute and State University

                    Add to Reading List

                    Source URL: www.math.vt.edu

                    - Date: 2011-03-22 19:28:40
                      UPDATE