TWiki> Mizar Web>WebChanges (2001-08-16, PeterThoeny?)

# 50 Recent Changes in Mizar Web retrieved at 14:45 (GMT)

Statistics for TWiki.Mizar Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save ...
Guide to the MML TOC (Draft) The MML is big and currently there is no guide to it for beginners, making it difficult for them to use existing knowledge and easy to ...
Sebastian's Style Guide for MIZAR Disclaimer This is my personal idea of a style guide, there is no official one used by the Library Comittee or anything like that ...
Error Number: 190 Mizar Message: Inaccessible theorem Description The theorem used depends on a constructor which is not accessible. To fix, add the missing constructors ...
12D99 Real and complex fields None of the above, but in this section Primary classification # Article 1 arithm Field Properties of Complex Numbers Requirements ...
03B70 General logic Logic in computer science Primary classification # Article 1 intpro 1 Intuitionistic Propositional Calculus in the Extended Framework ...
03B45 General logic Modal logic Primary classification # Article 1 modal 1 Introduction to Modal Propositional Logic Alicia de~la~Cruz Secondary ...
03B44 General logic Temporal logic Primary classification # Article 1 ltlaxio2 The Derivations of Temporal Logic Formulas Mariusz Giero 2 ltlaxio3 The ...
03B10 General logic Classical first order logic Primary classification # Article 1 qc lang1 A First Order Language Piotr Rudnicki and Andrzej Trybulec ...
03B05 General logic Classical propositional logic Primary classification # Article 1 lukasi 1 Propositional Calculus Grzegorz Bancerek, Agata Darmochwal ...
Mathematics Subject Classification 2010 Classified 559 articles of 1189 (MML Version 5.20), see MathSC2000 for listing of existing classification pages. See ListOfArticle ...
14 Algebraic Geometry Section P S 14A Foundations 14B Local theory 14C Cycles and subschemes 14D Families ...
14R Affine geometry Section P S 14R05 Classi cation of affine varieties 14R10 Affine spaces (automorphisms, embeddings, exotic structures ...
Affine geometry Affine spaces (automorphisms, embeddings, exotic structures, cancellation problem) Primary classification # Article 1 aff 1 Parallelity ...
13 Commutative rings and algebras Section P S 13A General commutative ring theory 13B Ring extensions and related topics ...
13C Theory of modules and ideals Section P S 13C05 Structure, classi cation theorems 13C10 Projective and free modules and ideals See ...
13C99 Theory of modules and ideals None of the above, but in this section Primary classification # Article 1 zmodul01 $\mathbb Z$ modules Yuichi Futa, ...
13C10 Theory of modules and ideals Projective and free modules and ideals Primary classification # Article 1 zmodul03 Free $\mathbb Z$ module Yuichi Futa ...
12 Field theory and polynomials Section P S 12D Real and complex fields 3 12E General field theory 10 12F Field extensions ...
12E General field theory Section P S 12E05 Polynomials (irreducibility, etc.) 10 12E10 Special polynomials 12E12 Equations ...
General field theory Polynomials (irreducibility, etc.) Primary classification # Article 1 pre poly Preliminaries to Polynomials Andrzej Trybulec 2 polynom1 ...
12D Real and complex fields Section P S 12D05 Polynomials: factorization 12D10 Polynomials: location of zeros (algebraic theorems ...
11 Number theory Section P S 11A Elementary number theory For analogues in number fields, see 11R04 33 11B Sequences and sets 6 ...
11S Algebraic number theory: local and p adic fi elds Section P S 11S05 Polynomials 1 11S15 Rami cation and extension theory ...
11S05 Algebraic number theory: local and p adic fields Polynomials Primary classification # Article 1 polyeq 1 Solving Roots of Polynomial Equations of ...
11R Algebraic number theory: global fields Section P S 11R04 Algebraic numbers; rings of algebraic integers 1 11R06 PV numbers and ...
11R52 Algebraic number theory: global fields Quaternion and other division algebras: arithmetic, zeta functions Primary classification # Article 1 quaterni ...
11R04 Algebraic number theory: global fields Algebraic numbers; rings of algebraic integers Primary classification # Article 1 gaussint Gaussian Integers ...
11C08 Polynomials and matrices Polynomials Primary classification # Article 1 uniroots Primitive Roots of Unity and Cyclotomic Polynomials Broderick Arneson ...
11B Sequences and sets Section P S 11B05 Density, gaps, topology 11B13 Additive bases, including sumsets See also 05B10 11B25 ...
11B73 Sequences and sets Bell and Stirling numbers Primary classification # Article 1 stirl2 1 Stirling Numbers of the Second Kind Karol Pak ...
11B39 Sequences and sets Fibonacci and Lucas numbers and polynomials and generalizations Primary classification # Article 1 pre ff Two Programs for \bf ...
11A Elementary number theory Section P S 11A05 Multiplicative structure; Euclidean algorithm; greatest common divisors 21 11A07 Congruences ...
11A51 Elementary number theory Factorization; primality Primary classification # Article 1 pepin Public Key Cryptography and Pepin's Test for the Primality ...
11A41 Elementary number theory Primes Primary classification # Article 1 nat 5 The Perfect Number Theorem and Wilson's Theorem Marco Riccardi 2 numeral2 ...
11A25 Elementary number theory Arithmetic functions; related numbers; inversion formulas Primary classification # Article 1 valued 1 Properties of Number ...
11A05 Elementary number theory Multiplicative structure; Euclidean algorithm; greatest common divisors Primary classification # Article 1 arytm 3 Arithmetic ...
Mizar Proof Advisor is a system providing hints for a proof of arbitrary Mizar formula, trained on MML proofs by data mining techniques. More detailed description ...
Error Number: 397 Mizar Message: Term expected Description An off category or unknown symbol appears where a term is expected. Some possible causes include: ...
08 General algebraic systems Section P S 08 00 General reference works (handbooks, dictionaries, bibliographies, etc.) 08 01 Instructional ...
08C Other classes of algebras Section P S 08C05 Categories of algebras See also 18C05 1 08C10 Axiomatic model classes See also 03Cxx, in ...
08C05 Other classes of algebras Categories of algebras Primary classification # Article 1 msinst 1 Examples of Category Structures Adam Grabowski
08B Varieties Section P S 08B05 Equational logic, Mal'cev (Mal'tsev) conditions 2 08B10 Congruence modularity, congruence distributivity ...
08B25 Varieties Products, amalgamated products, and other kinds of limits and colimits Primary classification # Article 1 pralg 1 Product of Family of Universal ...
08A Algebraic structures Section P S 08A02 Relational systems, laws of composition 1 08A05 Structure theory 3 08A30 Subalgebras ...
08A30 Algebraic structures Subalgebras, congruence relations Primary classification # Article 1 tdgroup A Construction of an Abstract Space of Congruence ...
08A05 Algebraic structures Structure theory Primary classification # Article 1 struct 0 Preliminaries to Structures Library Committee 2 instalg1 Institution ...
06 Order, lattices, ordered algebraic structures Section P S 06A Ordered sets 11 06B Lattices See also 03G10 42 06C Modular ...
06F Ordered structures Section P S 06F05 Ordered semigroups and monoids See also 20M 06F07 Quantales 06F10 Noether lattices ...
Number of topics: 50