Skip to topic | Skip to bottom
Home
Mizar
Mizar.WhatWeAreDoingr1.17 - 25 Jun 2008 - 20:50 - JesseAlamatopic end

Start of topic | Skip to actions
Articles that are being worked on:

Author(s) Article Title Start Date Percent Complete
JesseAlama VECTSP11 Bases of Finite and Countable Vector Spaces 2007-06-01 10%
JesseAlama RING_2 Characteristic of a Ring 2007-06-01 10%
JesseAlama FIELD_1 Field Extensions: Product Theorem 2007-06-01 5%
AdamGrabowski TRIANGLE Triangular Numbers, Sequences of Prime Reciprocals 2007-06-01 75%
MarcoRiccardi NAT_5 Wilson's Theorem and Lagrange's four-square Theorem 2008-03-01 10%

Submitted articles:

Author(s) Article Title Date
MarcoRiccardi RAMSEY_1 The Infinite Ramsey Theorem 2008-03-01

Please note that these entries are preliminary (for example, if an article is eventually added to the MML, the MML identifier that the Library Committee assigns to it may not be the same as the working article name mentioned here).


to top

WebForm
TopicClassification: Select one...
ProjectGroup?:  
ImplementationDate?: N/A


You are here: Mizar > WhatWeAreDoing

to top

Copyright © 1999-2008 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Mizar TWiki? Send feedback