Mathematics Mechanization: Mechanical Geometry Theorem proving [1 ed.] 079235835X, 9780792358350

First-Order Logic and Automated Theorem Proving [2 ed.] 9781461275152

There are many kinds of books on formal logic. Some have philosophers as their intended audience, some mathematicians, s

313 103 2MB Read more

Proceedings 1992 Int. Workshop on Mathematics Mechanization 7800031969

356 99 7MB Read more

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving 9783030784089, 9783030784096

Addresses the formal verification of smart grids using interactive theorem proving Assesses energy systems cost-effectiv

234 8 2MB Read more

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving 9783030784096, 9783030784089

Addresses the formal verification of smart grids using interactive theorem proving Assesses energy systems cost-effectiv

230 36 6MB Read more

Logic for computer science: foundations of automatic theorem proving 9780060422257, 0060422254

"Logic for Computer Science" provides an introduction to mathematical logic, with emphasis on proof theory and

422 31 3MB Read more

Sacred Mathematics: Japanese Temple Geometry 9781400829712

Between the seventeenth and nineteenth centuries Japan was totally isolated from the West by imperial decree. During tha

97 97 89MB Read more

A Computer Science Version of Gödel's Theorem (Goedel's Theorem)

177 4 1018KB Read more

Rewriting, solving, proving

123 73 3MB Read more

Proving It Her Way: Emmy Noether, a Life in Mathematics [1st ed.] 9783030628109, 9783030628116

The name Emmy Noether is one of the most celebrated in the history of mathematics. A brilliant algebraist and iconic fig

291 21 12MB Read more

Affine Algebraic Geometry: Geometry Of Polynomial Rings (Series on University Mathematics) 9811280088, 9789811280085

Algebraic geometry is more advanced with the completeness condition for projective or complete varieties. Many geometric

118 39 2MB Read more