请输入要查询的图书：

查询 可以输入图书全称，关键词或ISBN号

Fermat's Last Theorem

ISBN：9781841157917

The extraordinary story of the solving of a puzzle that has confounded mathematicians since the 17t...

Fermat s Last Theorem

---

Interactive Theorem Proving and Program Development

ISBN：9783540208549

Coq is an interactive proof assistant for the development of mathematical theories and formally cer...

Interactive Theorem Proving and Program Development

---

Metaforas de la vida cotidiana / Metaphors We Live By (Teorema / Theorem)

ISBN：9788437606330

...

Metaforas de la vida cotidiana Metaphors We Live By Teorema Theorem

---

Elliptic Curves, Modular Forms, and Fermat's Last Theorem (Series in Number Theory)

ISBN：9781571460264

...

Elliptic Curves Modular Forms and Fermat s Last Theorem Series in Number Theory

---

Fermat's Last Theorem

ISBN：9789571326481

三百多年前，數學家費馬在頁邊寫下看似簡單的費馬最後定理，並表示已發現一種「美妙的證明」。從此，這「美妙的證明」便成了數學界群英追逐的浪漫之夢，直到1995年，這個謎題才由普林斯頓的數學家安德魯．懷爾...

Fermat s Last Theorem

---

The virial theorem in stellar astrophysics

ISBN：9780912918136

...

The virial theorem in stellar astrophysics

---

Theorem Proving in Higher Order Logics

ISBN：9783540425250

在线阅读本书 This book constitutes the thoroughly refereed proceedings of the 14th Internati...

Theorem Proving in Higher Order Logics

---

高次逻辑中的定理证明 Theorem proving in higher order logics

ISBN：9783540440390

在线阅读本书 This book constitutes the refereed proceedings of the 15th Internatio...

高 次 逻辑 中的 定理 证明 Theorem proving in higher order logics

---

Theorem Proving in Higher Order Logics

ISBN：9783540230175

...

Theorem Proving in Higher Order Logics

---

Tacti-Based Inductive Theorem Prover for Data Types With Partial Operations

ISBN：9781586031282

...

Tacti Based Inductive Theorem Prover for Data Types With Partial Operations

---

The Parrot's Theorem

ISBN：9780312280550

...

The Parrot s Theorem

---

The Parrot's Theorem

ISBN：9780312303020

Mr. Ruche, a Parisian bookseller, receives a bequest from a long lost friend in the Amazon of a vas...

The Parrot s Theorem

---

Notes On Fermat's Last Theorem

ISBN：9780471079408

...

Notes On Fermat s Last Theorem

---

An Arithmetic Riemann-Roch Theorem for Singular Arithmetic Surfaces

ISBN：9780821804070

...

An Arithmetic Riemann Roch Theorem for Singular Arithmetic Surfaces

---

The Fundamental Theorem of Algebra (Undergraduate Texts in Mathematics)

ISBN：9780387946573

The fundamental theorem of algebra states that any complex polynomial must have a complex root. Thi...

The Fundamental Theorem of Algebra Undergraduate Texts in Mathematics

---

First-Order Logic and Automated Theorem Proving

ISBN：9780387945934

This graduate-level text presents fundamental concepts and results of classical logic in a rigorous...

First Order Logic and Automated Theorem Proving

---

Theorem Proving with the Real Numbers

ISBN：9783540762560

...

Theorem Proving with the Real Numbers

---

Pauli and the Spin-Statistics Theorem

ISBN：9789810231149

...

Pauli and the Spin Statistics Theorem

---

Information Theory and the Central Limit Theorem

ISBN：9781860944734

...

Information Theory and the Central Limit Theorem

---

The Potential Distribution Theorem and Models of Molecular Solutions

ISBN：9780521822152

This book was first published in 2006. An understanding of statistical thermodynamic molecular theo...

The Potential Distribution Theorem and Models of Molecular Solutions

---

Godel's Theorem

ISBN：9781568812380

...

Godel s Theorem

---

The Riemann Hypothesis and Prime Number Theorem

ISBN：9780977139903

...

The Riemann Hypothesis and Prime Number Theorem

---

Algebraic Number Theory and Fermat's Last Theorem

ISBN：9781568811192

First published in 1979 and written by two distinguished mathematicians with a special gift for exp...

Algebraic Number Theory and Fermat s Last Theorem

---

Using the Borsuk-Ulam Theorem

ISBN：9783540003625

To the uninitiated, algebraic topology might seem fiendishly complex, but its utility is beyond dou...

Using the Borsuk Ulam Theorem

---

The Brauer-Hasse-Noether Theorem in Historical Perspective

ISBN：9783540230052

The unpublished writings of Helmut Hasse, consisting of letters, manuscripts and other papers, are ...

The Brauer Hasse Noether Theorem in Historical Perspective

---

The Prime Number Theorem

ISBN：9780521891103

At first glance the prime numbers appear to be distributed in a very irregular way amongst the inte...

The Prime Number Theorem

---

Grand Unified Theorem

ISBN：9781590331347

...

Grand Unified Theorem

---

Highlights of the Grand Unified Theorem

ISBN：9781590332597

...

Highlights of the Grand Unified Theorem

---

Generalizations of the Perron-Frobenius Theorem for Nonlinear Maps

ISBN：9780821809693

...

Generalizations of the Perron Frobenius Theorem for Nonlinear Maps

---

Weak Kam Theorem in Lagrangian Dynamics

ISBN：9780521822282

...

Weak Kam Theorem in Lagrangian Dynamics

---

The Implicit Function Theorem

ISBN：9780817642853

The implicit function theorem is part of the bedrock of mathematical analysis and geometry. Findin...

The Implicit Function Theorem

---

Chinese Remainder Theorem

ISBN：9789810228279

...

Chinese Remainder Theorem

---

Fermat's Last Theorem

ISBN：9780385319461

...

Fermat s Last Theorem

---

The Index Theorem for Minimal Surfaces of Higher Genus (Memoirs of the American Mathematical Society)

ISBN：9780821803523

...

The Index Theorem for Minimal Surfaces of Higher Genus Memoirs of the American Mathematical Society

---

Seminar on Fermat's Las Theorem

ISBN：9780821803134

...

Seminar on Fermat s Las Theorem

---

The Pythagorean Theorem

ISBN：9780691125268

By any measure, the Pythagorean theorem is the most famous statement in all of mathematics, one rem...

The Pythagorean Theorem

---

Espitallier's Theorem

ISBN：9780975592427

...

Espitallier s Theorem

---

Lectures on the Arithmetic Riemann-Roch Theorem.

ISBN：9780691025445

The arithmetic Riemann-Roch Theorem has been shown recently by Bismut-Gillet-Soul. The proof mixes ...

Lectures on the Arithmetic Riemann Roch Theorem

---

Bell's Theorem

ISBN：9780874160376

...

Bell s Theorem

---

Bayes Theorem

ISBN：9780197262672

...

Bayes Theorem

---

Symbolic Logic and Mechanical Theorem Proving (Computer Science Classics) (Computer Science Classics)

ISBN：9780121703509

This book contains an introduction to symbolic logic and a thorough discussion of mechanical theore...

Symbolic Logic and Mechanical Theorem Proving Computer Science Classics Computer Science Classics

---

Fermat's Last Theorem

ISBN：9781568583600

Simple, elegant, and utterly impossible to prove, Fermat's last theorem captured the imaginations o...

Fermat s Last Theorem

---

Abel's Theorem in Problems and Solutions

ISBN：9781402021862

...

Abel s Theorem in Problems and Solutions

---

Notes on Fermat's Last Theorem

ISBN：9780471062615

Around 1637, the French jurist Pierre de Fermat scribbled in the margin of his copy of the book Ari...

Notes on Fermat s Last Theorem

---

Modular Forms and Fermat's Last Theorem

ISBN：9780387989983

This volume contains the expanded lectures given at a conference on number theory and arithmetic ge...

Modular Forms and Fermat s Last Theorem

---

The Atiyah-Singer Theorem and Elementary Number Theory

ISBN：9780914098126

...

The Atiyah Singer Theorem and Elementary Number Theory

---

Fermat's Last Theorem

ISBN：9780140267082

...

Fermat s Last Theorem

---

The Atiyah-Patodi-Singer Index Theorem (Research Notes in Mathematics, Vol 4)

ISBN：9781568810027

...

The Atiyah Patodi Singer Index Theorem Research Notes in Mathematics Vol 4

---

The Last Theorem

ISBN：9780345470218

Two of science fiction’s most renowned writers join forces for a storytelling sensation. The histor...

The Last Theorem

---

The Last Theorem

ISBN：9780007290000

The final work from the brightest star in science fiction's galaxy. Arthur C Clarke, who predicted ...

The Last Theorem

---