Mizar

Results: 102



#Item
41

JOURNAL OF FORMALIZED MATHEMATICS Volume 14, Released 2002, Published 2003 Inst. of Computer Science, Univ. of Białystok Free Order Sorted Universal Algebra1 Josef Urban

Add to Reading List

Source URL: mizar.org

Language: English - Date: 2004-01-02 08:29:10
    42

    Integrating Searching and Authoring in Mizar Paul Cairns and Jeremy Gow UCL Interaction Centre, University College London, 31-32 Alfred Place, London WC1E 7DP, UK 31st January, 2006 Abstract. The vision of a computerised

    Add to Reading List

    Source URL: web4.cs.ucl.ac.uk

    Language: English - Date: 2006-02-01 08:35:44
      43

      MizarMode - An Integrated Proof Assistance Tool for the Mizar Way of Formalizing Mathematics Josef Urban 1 Dept. of Theoretical Computer Science Charles University

      Add to Reading List

      Source URL: jurban.github.io

      Language: English - Date: 2014-02-20 10:39:17
        44

        Subproblem Finder and Instance Checker, Two Cooperating Modules for Theorem Provers DENNIS DE CHAMPEAUX University of Amsterdam, The Netherlands Abstract. Properties are proved about INSTANCE, a theorem prover module tha

        Add to Reading List

        Source URL: wiki.mizar.org

        Language: English - Date: 2006-02-10 04:09:08
          45

          JOURNAL OF FORMALIZED MATHEMATICS Volume 14, Released 2002, Published 2003 Inst. of Computer Science, Univ. of Białystok Order Sorted Quotient Algebra1 Josef Urban

          Add to Reading List

          Source URL: mizar.org

          Language: English - Date: 2004-01-02 08:29:02
            46

            Reconstruction of the Mizar Type System in the HOL Light System O. Kunˇcar Charles University, Faculty of Mathematics and Physics, Prague, Czech Republic. Abstract. The Mizar system is a system for formalization of mat

            Add to Reading List

            Source URL: ktiml.mff.cuni.cz

            Language: English - Date: 2010-09-13 16:47:57
              47

              Using and Parsing the Mizar Language Paul Cairns & Jeremy Gow UCL Interaction Centre, University College London 31–32 Alfred Place, London WC1E 7DP, UK {p.cairns,j.gow}@ucl.ac.uk

              Add to Reading List

              Source URL: web4.cs.ucl.ac.uk

              Language: English - Date: 2004-06-17 10:27:17
                48

                JOURNAL OF FORMALIZED MATHEMATICS Volume 14, Released 2002, Published 2003 Inst. of Computer Science, Univ. of Białystok Subalgebras of an Order Sorted Algebra. Lattice of Subalgebras1

                Add to Reading List

                Source URL: mizar.org

                Language: English - Date: 2004-01-02 08:28:52
                  49

                  JOURNAL OF FORMALIZED MATHEMATICS Volume 14, Released 2002, Published 2003 Inst. of Computer Science, Univ. of Białystok Order Sorted Algebras1 Josef Urban

                  Add to Reading List

                  Source URL: mizar.org

                  Language: English - Date: 2004-01-02 08:28:46
                    UPDATE