Theorems

Results: 880



#Item
11

Planar Algebras The n-color theorems Subfactors and planar algebras Planar Algebras and Evaluation Algorithms Emily Peters

Add to Reading List

Source URL: webpages.math.luc.edu

Language: English - Date: 2013-04-02 18:08:53
    12

    Detailed Proof of Lemmas and Theorems 1 Proof of Lemma 2

    Add to Reading List

    Source URL: www.ee.cityu.edu.hk

    Language: English - Date: 2015-07-16 10:07:39
      13Computer programming / Software engineering / Declarative programming / Functional programming / Functional languages / Monad / Haskell / Proof assistant / Mathematical proof

      Invited Talk: The Sufficiently Smart Compiler can Prove Theorems! Joachim Breitner University of Pennsylvania Philadelphia, Pennsylvania, USA

      Add to Reading List

      Source URL: www.cs.ox.ac.uk

      Language: English - Date: 2017-09-09 06:01:35
      14

      1982f Comparison of the Brauer group with the Tateˇ Safareviˇ c group (J. Fac. Sci. Univ. Tokyo Sect. IA Math), no. 3, 735–The duality theorems for abelian varieties have been extended to p —

      Add to Reading List

      Source URL: www.jmilne.org

      Language: English - Date: 2011-06-21 20:55:41
        15

        Appendix G: Some questions concerning the representation of theorems Specific discussion points 1. What should the “ meta-structure” to represent mathematics, in which theorems naturally fall, be? There obviously sho

        Add to Reading List

        Source URL: www.wolframfoundation.org

        Language: English - Date: 2015-12-15 12:07:17
          16

          A New Quantum Lower Bound Method, with Applications to Direct Product Theorems and Time-Space Tradeoffs ∗ Andris Ambainis

          Add to Reading List

          Source URL: www.ucw.cz

          Language: English - Date: 2006-10-04 14:43:07
            17

            A few facts on integrality *DETAILED VERSION* Darij Grinberg VersionNovemberThe purpose of this note is to collect some theorems and proofs related to integrality in commutative algebra. The note is subdivi

            Add to Reading List

            Source URL: www.cip.ifi.lmu.de

            Language: English - Date: 2011-01-04 10:02:47
              18

              Theorems on groups of substitutions. By Mr. L. Sylow at Frederikshald in Norway. It is known that if the order of a group of substitutions is divisible by a prime number n, the group always contains a substitution [=elem

              Add to Reading List

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

              Language: English - Date: 2010-10-26 09:49:24
                19

                Linear Algebra - Theorems and Applications Edited by Hassan Abid Yasser, ISBN2, Hard cover, 250 pages, Publisher: InTech Chapter Chapter 6

                Add to Reading List

                Source URL: maeresearch.ucsd.edu

                Language: English - Date: 2013-08-02 07:06:51
                  20

                  Judgment aggregation with consistency alone Franz Dietrich and Christian List1 30 May 2007 Abstract All existing impossibility theorems on judgment aggregation require individual and collective judgment sets to be consis

                  Add to Reading List

                  Source URL: www.franzdietrich.net

                  Language: English - Date: 2009-07-30 08:19:23
                    UPDATE