Theorems

Results: 880



#Item
261

DoubleCheck Your Theorems Carl Eastlund Northeastern University Boston, MA, USA

Add to Reading List

Source URL: www.ccs.neu.edu

Language: English - Date: 2015-05-11 21:04:51
    262

    TITLE: Finiteness theorems for families of elliptic curves. ABSTRACT: Perhaps even before Newton drew his pictures of 72 types of real cubic curve, it was recognized that such a curve (when non-singular) has a group str

    Add to Reading List

    Source URL: www.win.tue.nl

    - Date: 2010-07-27 09:40:40
      263

      IOSR Journal of Mathematics (IOSR-JM) e-ISSN: , p-ISSN: 2319-765X. Volume 11, Issue 3 Ver. I (May - Jun. 2015), PPwww.iosrjournals.org Common Fixed Point Theorems for Four Weakly Compatible SelfMappings i

      Add to Reading List

      Source URL: files.figshare.com

      Language: English - Date: 2015-05-09 08:09:46
        264

        Composition Theorems of Stepanov Almost Periodic Functions and Stepanov-Like Pseudo-Almost Periodic Functions

        Add to Reading List

        Source URL: www.advancesindifferenceequations.com

        Language: English
          265

          Aditya Mahajan Theorems in ConTEXt Abstract This article explains some of the recent advancements in ConTEXt enumeration mechanism that handles most of the requirements of theorem-like constructions.

          Add to Reading List

          Source URL: www.ntg.nl

          Language: English - Date: 2010-04-18 16:51:39
            266

            Free Theorems Involving Type Constructor Classes Functional Pearl Janis Voigtl¨ander Institut f¨ur Theoretische Informatik Technische Universit¨at DresdenDresden, Germany

            Add to Reading List

            Source URL: www.janis-voigtlaender.eu

            Language: English - Date: 2015-06-10 16:49:43
              267

              6.889 — Lecture 3: Planar Separators Christian Sommer September 13, 2011 We shall prove theorems of the following flavor (see textbook/papers for precise statements and proofs). Thm. For any planar graph G

              Add to Reading List

              Source URL: courses.csail.mit.edu

              Language: English - Date: 2011-09-13 20:13:10
                268

                Limit Theorems in Stochastic Geometry with Applications Mathew Penrose (University of Bath) 16th workshop on Stochastic Geometry,

                Add to Reading List

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

                Language: English - Date: 2011-06-03 09:47:24
                  269

                  Folk Theorems with Bounded Recall under (Almost) Perfect Monitoring—Addendum ∗ George J. Mailath† Wojciech Olszewski‡

                  Add to Reading List

                  Source URL: faculty.wcas.northwestern.edu

                  Language: English - Date: 2010-09-10 18:03:18
                    270

                    HOL Light Very Quick Reference compiled by John Harrison, mangled by Freek Wiedijk Theorems (type thm) ADD1 ADD_AC ADD_ASSOC

                    Add to Reading List

                    Source URL: www.cl.cam.ac.uk

                    Language: English - Date: 2005-07-27 12:16:13
                      UPDATE