Metamath is a computer language and an associated computer program
for archiving, verifying, and studying mathematical proofs. The
Metamath language is simple and robust, with an almost total
absence of hard-wired syntax, and we believe that it provides about
the simplest possible framework that allows essentially all of
mathematics to be expressed with absolute rigor. While simple, it
is also powerful; the Metamath Proof Explorer (MPE) database has
over 23,000 proven theorems and is one of the top systems in the
"Formalizing 100 Theorems" challenge. This book explains the
Metamath language and program, with specific emphasis on the
fundamentals of the MPE database.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
