Theorem

Results: 6939



#Item
201

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
    202

    A Dirac-type theorem for Hamilton Berge cycles in random hypergraphs Dennis Clemens a,1 , Julia Ehrenm¨ uller a,2 , and Yury Person b,3,4 a

    Add to Reading List

    Source URL: discretemath.upc.edu

    - Date: 2016-07-10 20:00:19
      203

      1. The Kato-Rellich Theorem For orientation, consider the formal example −∆ + V (x) as an operator on Cc∞ (Rd ) ⊂ L2 (Rd ). We investigate the problem of extending this operator to a self adjoint operator. We hav

      Add to Reading List

      Source URL: people.math.gatech.edu

      - Date: 2014-04-01 09:03:32
        204

        Herbrand’s theorem and non-Euclidean geometry Michael Beeson, Pierre Boutry, Julien Narboux To cite this version: Michael Beeson, Pierre Boutry, Julien Narboux. Herbrand’s theorem and non-Euclidean geometry. Bulletin

        Add to Reading List

        Source URL: hal.inria.fr

        - Date: 2016-12-20 09:17:19
          205

          A COMMON GENERALIZATION OF METRIC, ULTRAMETRIC AND TOPOLOGICAL FIXED POINT THEOREMS — ALTERNATIVE VERSION — KATARZYNA KUHLMANN AND FRANZ-VIKTOR KUHLMANN Abstract. We present a general fixed point theorem which can be

          Add to Reading List

          Source URL: math.usask.ca

          - Date: 2013-04-20 11:24:34
            206

            OPTIMIZING THE GRAPH MINORS WEAK STRUCTURE THEOREM ARCHONTIA C. GIANNOPOULOU† ‡ AND DIMITRIOS M. THILIKOS† § Abstract. One of the major results of [N. Robertson and P. D. Seymour. Graph minors. XIII. The disjoint

            Add to Reading List

            Source URL: users.uoa.gr

            - Date: 2014-06-11 17:30:35
              207

              Degree theory and intersections. Sard’s theorem, and its relative, transversality are powerful tools for understanding manifolds. One can give a whole course on this. This is not that. I just want to review here some o

              Add to Reading List

              Source URL: math.uchicago.edu

              - Date: 2004-04-01 22:47:14
                208

                A Semantics for Proof Evidence Zakaria Chihani, Dale Miller, and Fabien Renaud INRIA and LIX, Ecole Polytechnique, Palaiseau, France October 1, 2013 Theorem provers are generally complex systems that search for proofs us

                Add to Reading List

                Source URL: www.lix.polytechnique.fr

                - Date: 2013-11-07 01:57:36
                  209

                  Automated Discovery of Inductive Theorems Keywords: theorem proving and knowledge acquisition Abstract Inductive mathematical theorems have, as a rule, historically been quite dif cult to prove – both for

                  Add to Reading List

                  Source URL: www.inf.ed.ac.uk

                  - Date: 2007-06-28 01:04:40
                    210

                    Declarative Dynamic Programming as an Alternative Realization of Courcelle’s Theorem Bernhard Bliem, Reinhard Pichler, and Stefan Woltran Institute of Information Systems, Vienna University of Technology {bliem, pichle

                    Add to Reading List

                    Source URL: dbai.tuwien.ac.at

                    - Date: 2013-09-24 06:14:24
                      UPDATE