Metamath

Megill, Norman

doi:10.1007/11542384_13

Metamath

Norman Megill¹⁹

Chapter

663 Accesses
5 Citations

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 3600))

Abstract

Statement

$p |- ( sqr ’ 2 ) e/ QQ

This is a preview of subscription content, log in via an institution.

Chapter: USD 29.95; Price excludes VAT (USA)

eBook: USD 44.99; Price excludes VAT (USA)

Softcover Book: USD 59.99; Price excludes VAT (USA)

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Author information

Authors and Affiliations

No institute given,
Norman Megill

Authors

Norman Megill
View author publications
You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

Institute for Computing and Information Sciences, Radboud University Nijmegen, Toernooiveld 1, 6525, Nijmegen, ED, The Netherlands
Freek Wiedijk

Rights and permissions

Reprints and permissions

Copyright information

About this chapter

Cite this chapter

Megill, N. (2006). Metamath. In: Wiedijk, F. (eds) The Seventeen Provers of the World. Lecture Notes in Computer Science(), vol 3600. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11542384_13

Download citation

DOI: https://doi.org/10.1007/11542384_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-30704-4
Online ISBN: 978-3-540-32888-9
eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics