Journal of Formalized Mathematics

Help Bookmark Add a LISTING - it's free!Login
Latest Headlines Add To Search Providers

Community (168)	Discussion (37)	Events (93)	For Sale (781)	Help Wanted (103)	Website Directory
Personals (95)	Projects / Engagements (29)	Real Estate (331)	Resumes (11)	Services (1,034)	Latest Headlines

Home → Science → Mathematics → Journals

Journals

Algebra@ (7)
Analysis@ (7)
Category Theory@ (1)
Chaos@ (1)
Combinatorics@ (11)
Control Theory@ (4)
Geometry@ (8)
Logic and Foundations@ (7)
Number Theory@ (1)
Numerical Analysis@ (4)
Probability@ (5)
Statistics@ (4)
Topology@ (5)

Journal of Formalized Mathematics
Journal of Formalized Mathematics Journal of Formalized Mathematics is an electronic counterpart of Formalized Mathematics. However it is not the same journal. MML (Mizar Mathematical Library) is continuously revised and the Journal of Formalized Mathematics represents the updated version, while Formalized Mathematics - the state in the time of the publication. Both journals contain papers which ...