Mizar

Results: 102



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

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
    42Integrating 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

    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
      43MizarMode - An Integrated Proof Assistance Tool for the Mizar Way of Formalizing Mathematics Josef Urban 1 Dept. of Theoretical Computer Science Charles University

      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
        44Subproblem 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

        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
          45JOURNAL OF FORMALIZED MATHEMATICS Volume 14, Released 2002, Published 2003 Inst. of Computer Science, Univ. of Białystok Order Sorted Quotient Algebra1 Josef Urban

          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
            46Reconstruction 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

            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
              47Using 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

              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
                48JOURNAL 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

                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
                  49JOURNAL OF FORMALIZED MATHEMATICS Volume 14, Released 2002, Published 2003 Inst. of Computer Science, Univ. of Białystok Order Sorted Algebras1 Josef Urban

                  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