H-theorem

Results: 165



#Item
1Theorem Proving using Lazy Proof Expli ation Corma Flanagan1 , Rajeev Joshi1 , Xinming Ou2 , and James B. Saxe1 1 Systems Resear h Center, HP Labs, Palo Alto, CA 2

Theorem Proving using Lazy Proof Expli ation Corma Flanagan1 , Rajeev Joshi1 , Xinming Ou2 , and James B. Saxe1 1 Systems Resear h Center, HP Labs, Palo Alto, CA 2

Add to Reading List

Source URL: rjoshi.org

Language: English - Date: 2010-09-11 18:26:03
2An alternative approach to Freiman’s theorem in p-groups Matthew C. H. Tointon∗ Department of Pure Mathematics and Mathematical Statistics, Centre for Mathematical Sciences, University of Cambridge, Wilberforce Road,

An alternative approach to Freiman’s theorem in p-groups Matthew C. H. Tointon∗ Department of Pure Mathematics and Mathematical Statistics, Centre for Mathematical Sciences, University of Cambridge, Wilberforce Road,

Add to Reading List

Source URL: tointon.neocities.org

Language: English - Date: 2017-05-18 16:55:58
3An operator corona theorem for a class of subspaces of H∞ Amol Sasane Department of Mathematics, London School of Economics, Houghton Street, London WC2A 2AE, United Kingdom. E-mail:

An operator corona theorem for a class of subspaces of H∞ Amol Sasane Department of Mathematics, London School of Economics, Houghton Street, London WC2A 2AE, United Kingdom. E-mail:

Add to Reading List

Source URL: www.cdam.lse.ac.uk

Language: English - Date: 2017-04-12 10:30:42
    4T. H. Le and Y.-R. Liu* (). Equidistribution of polynomial sequences in function fields. We prove a function field analog of Weyl’s classical theorem on equidistribution of polynomial seq

    T. H. Le and Y.-R. Liu* (). Equidistribution of polynomial sequences in function fields. We prove a function field analog of Weyl’s classical theorem on equidistribution of polynomial seq

    Add to Reading List

    Source URL: jointmathematicsmeetings.org

    - Date: 2013-09-11 00:54:08
      5A SPECTRALLY MINIMAL REALIZATION FORMULA FOR H ∞ (D) KALLE MIKKOLA AND AMOL SASANE Abstract. In this article we prove a representation theorem for H ∞ (D) functions, such that the realization formula is spectrally mi

      A SPECTRALLY MINIMAL REALIZATION FORMULA FOR H ∞ (D) KALLE MIKKOLA AND AMOL SASANE Abstract. In this article we prove a representation theorem for H ∞ (D) functions, such that the realization formula is spectrally mi

      Add to Reading List

      Source URL: www.cdam.lse.ac.uk

      Language: English - Date: 2017-04-12 10:30:41
        6Graph and hypergraph oloring Mi hael Krivelevi h 1. Basi de nitions: vertex oloring, hromati number, edge oloring, hromati index. Coloring in nite graphs, De Brujin-Erd}os theorem 2. Vertex degrees and olorings.

        Graph and hypergraph oloring Mi hael Krivelevi h 1. Basi de nitions: vertex oloring, hromati number, edge oloring, hromati index. Coloring in nite graphs, De Brujin-Erd}os theorem 2. Vertex degrees and olorings.

        Add to Reading List

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

        Language: English - Date: 2015-10-04 05:22:49
          7The Converse Ostrowski Theorem: aspects of compactness N. H. Bingham Mathematics Department, Imperial College London, South Kensington, London SW7 2AZ

          The Converse Ostrowski Theorem: aspects of compactness N. H. Bingham Mathematics Department, Imperial College London, South Kensington, London SW7 2AZ

          Add to Reading List

          Source URL: www.cdam.lse.ac.uk

          Language: English - Date: 2017-04-12 10:30:38
            8Homotopy and the Kestelman-Borwein-Ditor Theorem N. H. Bingham Mathematics Department, Imperial College London, South Kensington, London SW7 2AZ

            Homotopy and the Kestelman-Borwein-Ditor Theorem N. H. Bingham Mathematics Department, Imperial College London, South Kensington, London SW7 2AZ

            Add to Reading List

            Source URL: www.cdam.lse.ac.uk

            Language: English - Date: 2017-04-12 10:30:37
              9A new proof of the density Hales-Jewett theorem D. H. J. Polymath∗ June 25, 2009 Abstract The Hales–Jewett theorem asserts that for every r and every k there exists n such that every

              A new proof of the density Hales-Jewett theorem D. H. J. Polymath∗ June 25, 2009 Abstract The Hales–Jewett theorem asserts that for every r and every k there exists n such that every

              Add to Reading List

              Source URL: www.cs.cmu.edu

              - Date: 2009-06-25 00:14:17
                10Under consideration for publication in Math. Struct. in Comp. Science Partiality and Recursion in Interactive Theorem Provers — An Overview A N A B O V E1 , A L E X A N D E R K R A U S S2 , and M A T T H I E U S O Z E

                Under consideration for publication in Math. Struct. in Comp. Science Partiality and Recursion in Interactive Theorem Provers — An Overview A N A B O V E1 , A L E X A N D E R K R A U S S2 , and M A T T H I E U S O Z E

                Add to Reading List

                Source URL: www4.informatik.tu-muenchen.de

                - Date: 2012-06-06 16:05:33