Faithin Omaha eBook Collection

Gregory Chaitin, one of the world’s foremost mathematicians, leads us on a spellbinding journey, illuminating the process by which he arrived at his groundbre

Metamath is a computer language and an associated computer program for archiving, verifying, and studying mathematical proofs. The Metamath language is simple a

This new volume of The Association of Mathematics Teacher Educators (AMTE) Professional Book Series is a critical and timely resource that paves the way and gui

Self-contained and authoritative, this history of mathematics is suited to those with no math background. Its absorbing, entertaining essays focus on the era fr