Theorem

Results: 6939



#Item
131

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
    132

    What is Gödel’s Second Incompleteness Theorem ??? Introductory Remarks

    Add to Reading List

    Source URL: wrm17.mi.ras.ru

    Language: English - Date: 2017-10-23 08:17:52
      133

      GFT Template User’s Manual v.1.0 by Dr. R.D.Middlebrook http://www.rdmiddlebrook.com The ICAP/4 GFT Template is an implementation of the General Feedback Theorem (GFT) presented in [1], in which the GFT is derived by a

      Add to Reading List

      Source URL: www.intusoft.com

      Language: English - Date: 2016-05-18 07:39:18
        134

        MATHEMATICAL ENGINEERING TECHNICAL REPORTS A Proof of the M-Convex Intersection Theorem

        Add to Reading List

        Source URL: www.comp.tmu.ac.jp

        Language: English - Date: 2004-01-21 08:52:58
          135

          THE GEOMETRIC THETA CORRESPONDENCE FOR HILBERT MODULAR SURFACES JENS FUNKE* AND JOHN MILLSON** Abstract. We give a new proof and an extension of the celebrated theorem of Hirzebruch and Zagier [17] that the generating fu

          Add to Reading List

          Source URL: www.maths.dur.ac.uk

          Language: English - Date: 2013-05-20 08:37:24
            136

            Appendix A Proof of Sparse Coding Stability Theorem

            Add to Reading List

            Source URL: proceedings.mlr.press

            Language: English - Date: 2018-07-16 03:38:07
              137

              More complete intersection theorems Yuval Filmus∗ April 4, 2017 Abstract The seminal complete intersection theorem of Ahlswede and Khachatrian gives the maximum cardinality of a k-uniform t-intersecting family on n poi

              Add to Reading List

              Source URL: www.cs.toronto.edu

              Language: English - Date: 2017-04-20 03:28:14
                138

                Dynamic Strategy Priority Michael Rawson, Giles Reger University of Manchester, UK Background Theorem Provers

                Add to Reading List

                Source URL: cl-informatik.uibk.ac.at

                Language: English - Date: 2018-03-31 16:27:01
                  139

                  On a criterion for Catalan’s Conjecture Abstract We give a new proof of a theorem of P. Mihˇailescu which states that the equation xp − y q = 1 is unsolvable with x, y integral and p, q odd primes, unless the congru

                  Add to Reading List

                  Source URL: www.math.uni-rostock.de

                  Language: English - Date: 2012-11-08 06:22:56
                    140

                    THE SYLOW THEOREMS 1. Introduction The converse of Lagrange’s theorem is false: if G is a finite group and d | |G|, then there may not be a subgroup of G with order d. The simplest example of this is the group A4 , of

                    Add to Reading List

                    Source URL: www.math.uconn.edu

                    Language: English - Date: 2016-12-17 15:24:30
                      UPDATE