Theorems

Results: 880



#Item
41E:/research/sorokin/Theorems (1).dvi

E:/research/sorokin/Theorems (1).dvi

Add to Reading List

Source URL: www.hse.ru

- Date: 2015-02-05 06:36:04
    42Quantum Proofs for Classical Theorems

    Quantum Proofs for Classical Theorems

    Add to Reading List

    Source URL: theoryofcomputing.org

    - Date: 2014-11-14 13:01:08
      43Automated Discovery of Inductive Theorems Keywords: theorem proving and knowledge acquisition Abstract Inductive mathematical theorems have, as a rule, historically been quite dif cult to prove – both for

      Automated Discovery of Inductive Theorems Keywords: theorem proving and knowledge acquisition Abstract Inductive mathematical theorems have, as a rule, historically been quite dif cult to prove – both for

      Add to Reading List

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

      - Date: 2007-06-28 01:04:40
        44USING ALMOST-EVERYWHERE THEOREMS FROM ANALYSIS TO STUDY RANDOMNESS ´ NIES, AND JING ZHANG KENSHI MIYABE, ANDRE Abstract. We study algorithmic randomness notions via effective versions of almost-everywhere theorems from

        USING ALMOST-EVERYWHERE THEOREMS FROM ANALYSIS TO STUDY RANDOMNESS ´ NIES, AND JING ZHANG KENSHI MIYABE, ANDRE Abstract. We study algorithmic randomness notions via effective versions of almost-everywhere theorems from

        Add to Reading List

        Source URL: dl.dropboxusercontent.com

          45Follow-the-Regularized-Leader and Mirror Descent: Equivalence Theorems and L1 Regularization H. Brendan McMahan Google, Inc.

          Follow-the-Regularized-Leader and Mirror Descent: Equivalence Theorems and L1 Regularization H. Brendan McMahan Google, Inc.

          Add to Reading List

          Source URL: jmlr.org

          - Date: 2011-06-30 04:29:28
            46THE FUNDAMENTAL LIMIT THEOREMS IN PROBABILITY W. FELLER 1. Introduction. The main purpose of this address is to explain the mathematical content and meaning of the two most important limit theorems in the modern theory o

            THE FUNDAMENTAL LIMIT THEOREMS IN PROBABILITY W. FELLER 1. Introduction. The main purpose of this address is to explain the mathematical content and meaning of the two most important limit theorems in the modern theory o

            Add to Reading List

            Source URL: www.ams.org

            - Date: 2010-01-14 12:31:50
              47Isabelle / Proof General Cheat Sheet Applying rules and theorems apply (rule theorem): use when the conclusion of theorem matches the conclusion of the current goal apply (erule theorem): use when the conclusion of theo

              Isabelle / Proof General Cheat Sheet Applying rules and theorems apply (rule theorem): use when the conclusion of theorem matches the conclusion of the current goal apply (erule theorem): use when the conclusion of theo

              Add to Reading List

              Source URL: www.phil.cmu.edu

              - Date: 2014-01-17 11:57:48
                48Reports and Articles Social Processes and Proofs of Theorems and Programs Richard A. De Millo Georgia Institute of Technology

                Reports and Articles Social Processes and Proofs of Theorems and Programs Richard A. De Millo Georgia Institute of Technology

                Add to Reading List

                Source URL: www.cs.umd.edu

                - Date: 2007-09-04 18:47:05
                  49Short proofs of coloring theorems on planar graphs Oleg V. Borodin, Alexandr V. Kostochka, Bernard Lidický, Matthew Yancey Sobolev Institute of Mathematics and Novosibirsk State University University of Illinois at Urba

                  Short proofs of coloring theorems on planar graphs Oleg V. Borodin, Alexandr V. Kostochka, Bernard Lidický, Matthew Yancey Sobolev Institute of Mathematics and Novosibirsk State University University of Illinois at Urba

                  Add to Reading List

                  Source URL: orion.math.iastate.edu

                  - Date: 2014-08-22 14:45:57
                    50Stochastic Processes and their Applications–53 Self-collisions of superprocesses: renormalization and limit theorems Jay Rosen 1 Department of Mathematics, College of Staten Island, CUNY Staten Island, NY

                    Stochastic Processes and their Applications–53 Self-collisions of superprocesses: renormalization and limit theorems Jay Rosen 1 Department of Mathematics, College of Staten Island, CUNY Staten Island, NY

                    Add to Reading List

                    Source URL: www.math.csi.cuny.edu

                    - Date: 2009-05-03 17:58:00