Theorems

Results: 880



#Item
51Z:/Courses/444/theorems.dvi

Z:/Courses/444/theorems.dvi

Add to Reading List

Source URL: www.math.washington.edu

- Date: 2016-01-13 17:58:46
    52Free Theorems — The Basics Janis Voigtl¨ander Technische Universit¨ at Dresden January 6, 2006

    Free Theorems — The Basics Janis Voigtl¨ander Technische Universit¨ at Dresden January 6, 2006

    Add to Reading List

    Source URL: www.janis-voigtlaender.eu

    - Date: 2016-08-24 08:10:28
      53Jordan-Hölder theorems for finite dimensional Hopf algebras and weakly group-theoretical fusion categories. Sonia Natale Facultad de Matemática, Astronomía y Física Universidad Nacional de Córdoba

      Jordan-Hölder theorems for finite dimensional Hopf algebras and weakly group-theoretical fusion categories. Sonia Natale Facultad de Matemática, Astronomía y Física Universidad Nacional de Córdoba

      Add to Reading List

      Source URL: www.wiko-greifswald.de

      - Date: 2016-07-19 06:39:49
        54Elliptic Genera and Applications In summer semester 2006 we want to learn the theory of elliptic genera and give some applications concerning the celebrated divisibility and rigidity theorems with their geometric interpr

        Elliptic Genera and Applications In summer semester 2006 we want to learn the theory of elliptic genera and give some applications concerning the celebrated divisibility and rigidity theorems with their geometric interpr

        Add to Reading List

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

        - Date: 2006-12-15 13:47:30
          55CHARACTER ANALOGUES OF THEOREMS OF RAMANUJAN, KOSHLIAKOV AND GUINAND BRUCE C. BERNDT, ATUL DIXIT, JAEBUM SOHN Abstract. We derive analogues of theorems of Ramanujan, Koshliakov and Guinand for primitive characters. As pa

          CHARACTER ANALOGUES OF THEOREMS OF RAMANUJAN, KOSHLIAKOV AND GUINAND BRUCE C. BERNDT, ATUL DIXIT, JAEBUM SOHN Abstract. We derive analogues of theorems of Ramanujan, Koshliakov and Guinand for primitive characters. As pa

          Add to Reading List

          Source URL: staff.miyakyo-u.ac.jp

          - Date: 2008-10-24 01:36:14
            56October 22, 2004 The Impact of seq on Free Theorems-Based Program Transformations Janis Voigtl¨ ander∗

            October 22, 2004 The Impact of seq on Free Theorems-Based Program Transformations Janis Voigtl¨ ander∗

            Add to Reading List

            Source URL: www.janis-voigtlaender.eu

            - Date: 2016-08-24 08:10:29
              57Parametric Polymorphism Through Run-time Sealing or, Theorems for Low, Low Prices! Amal Ahmed Lindsey Kuper Jacob Matthews

              Parametric Polymorphism Through Run-time Sealing or, Theorems for Low, Low Prices! Amal Ahmed Lindsey Kuper Jacob Matthews

              Add to Reading List

              Source URL: www.cs.indiana.edu

              - Date: 2011-02-27 17:51:38
                58Upper and Lower Bounds in Exponential Tauberian Theorems Jochen Voss∗ Department of Statistics, School of Mathematics, University of Leeds, Leeds LS2 9JT, United Kingdom E-mail:

                Upper and Lower Bounds in Exponential Tauberian Theorems Jochen Voss∗ Department of Statistics, School of Mathematics, University of Leeds, Leeds LS2 9JT, United Kingdom E-mail:

                Add to Reading List

                Source URL: tcms.org.ge

                - Date: 2009-11-13 15:53:10
                  59283 Documenta Math. ` la Courant Nodal Domain Theorems a

                  283 Documenta Math. ` la Courant Nodal Domain Theorems a

                  Add to Reading List

                  Source URL: www.math.uiuc.edu

                  - Date: 2004-09-03 16:27:13
                    60IsaCoSy: Synthesis of Inductive Theorems Moa Johansson, Lucas Dixon, and Alan Bundy University of Edinburgh Informatics Forum, 10 Crichton Street, Edinburgh EH8 9AB, UK. {moa.johansson, l.dixon, a.bundy}@ed.ac.uk

                    IsaCoSy: Synthesis of Inductive Theorems Moa Johansson, Lucas Dixon, and Alan Bundy University of Edinburgh Informatics Forum, 10 Crichton Street, Edinburgh EH8 9AB, UK. {moa.johansson, l.dixon, a.bundy}@ed.ac.uk

                    Add to Reading List

                    Source URL: www.cse.chalmers.se

                    - Date: 2012-03-21 07:53:59