Now in a second, expanded edition, this book bridges the gap between standard geometry books, which are primarily theoretical, and applied books on computer graphics and introduces a range of geometri
Now in a second, expanded edition, this book bridges the gap between standard geometry books, which are primarily theoretical, and applied books on computer graphics and introduces a range of geometri
This books gives an introduction to discrete mathematics for beginning undergraduates. One of original features of this book is that it begins with a presentation of the rules of logic as used in math
This book offers a detailed proof of the classification theorem for compact surfaces. It presents the technical tools needed to deploy the method effectively as well as demonstrates their use in a cle
As an introduction to fundamental geometric concepts and tools needed for solving problems of a geometric nature using a computer, this book attempts to fill the gap between standard geometry books, w
Advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. Self-contained treatm
