M-Structure and the Banach-Stone Theorem, E. Behrends

Автор: E. Behrends; R. Danckwerts; S. Evans; S. G?bel; P.
Название: LP-Structure in Real Banach Spaces
ISBN: 354008441X ISBN-13(EAN): 9783540084419
Издательство: Springer
Рейтинг:
Цена: 3492.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Gerwin Klein; Ruben Gamboa
Название: Interactive Theorem Proving
ISBN: 3319089692 ISBN-13(EAN): 9783319089690
Издательство: Springer
Рейтинг:
Цена: 10062.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.

Автор: Mauricio Ayala-Rinc?n; C?sar A. Mu?oz
Название: Interactive Theorem Proving
ISBN: 331966106X ISBN-13(EAN): 9783319661063
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions.

Автор: Martin L. Brown; Jean-P. Serre; Michel Waldschmidt
Название: Lectures on the Mordell-Weil Theorem
ISBN: 3663106349 ISBN-13(EAN): 9783663106340
Издательство: Springer
Рейтинг:
Цена: 14365.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The book is based on a course given by J.-P. Serre at the Coll ge de France in 1980 and 1981. Basic techniques in Diophantine geometry are covered, such as heights, the Mordell-Weil theorem, Siegel's and Baker's theorems, Hilbert's irreducibility theorem, and the large sieve. Included are applications to, for example, Mordell's conjecture, the construction of Galois extensions, and the classical class number 1 problem. Comprehensive bibliographical references.

Автор: Dvurecenskij, A.
Название: Gleason`s theorem and its applications
ISBN: 0792319907 ISBN-13(EAN): 9780792319900
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Indicates the many ways that Gleason`s theorem and Gleason`s measures can be applied. Topics covered include elements of Hilbert space theory, quantum logic theory, the possible application of Gleason`s theorem to the completeness criteria of inner product spaces, and orthogonal measures.

Автор: Craig Smorynski
Название: MVT: A Most Valuable Theorem
ISBN: 3319529552 ISBN-13(EAN): 9783319529554
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: It discusses the evolution of the theorem and the concepts behind it, how the theorem relates to other fundamental results in calculus, and modern re-evaluations of its role in the standard calculus course. The mean value theorem is one of the central results of calculus.

Автор: Jean Gallier; Dianna Xu
Название: A Guide to the Classification Theorem for Compact Surfaces
ISBN: 3642437109 ISBN-13(EAN): 9783642437106
Издательство: Springer
Рейтинг:
Цена: 5583.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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 clearly structured, worked example.

Автор: Arie Hinkis
Название: Proofs of the Cantor-Bernstein Theorem
ISBN: 3034807880 ISBN-13(EAN): 9783034807883
Издательство: Springer
Рейтинг:
Цена: 13270.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This `excursion` through the evolution of research mathematics takes in some 40 papers, published up to the 1970s, on proofs of the Cantor-Bernstein theorem. It provides a detailed example of proof-processing in the derivation of Bernstein`s division theorem.

Автор: Christian Urban; Xingyuan Zhang
Название: Interactive Theorem Proving
ISBN: 3319221019 ISBN-13(EAN): 9783319221014
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.

Автор: Harold M. Edwards
Название: Fermat`s Last Theorem
ISBN: 0387902309 ISBN-13(EAN): 9780387902302
Издательство: Springer
Рейтинг:
Цена: 11173.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Work on this book was supported in part by the James M. Vaughn, Jr., Vaughn Foundation Fund.

Автор: Gary Cornell; Joseph H. Silverman; Glenn Stevens
Название: Modular Forms and Fermat`s Last Theorem
ISBN: 0387989986 ISBN-13(EAN): 9780387989983
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Focuses on Andrew Wiles` proof of the Taniyama-Shimura-Weil conjecture for semistable elliptic curves and the works of Frey, Serre, Ribet showing that Wiles` Theorem would complete the proof of Fermat`s Last Theorem. This book reflects on the history of the problem. It describes the connections of Wiles` work with other parts of mathematics.

Автор: Menas Kafatos
Название: Bell`s Theorem, Quantum Theory and Conceptions of the Universe
ISBN: 0792304969 ISBN-13(EAN): 9780792304968
Издательство: Springer
Рейтинг:
Цена: 30039.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Bell`s Theorem and its associated implications for the nature of the physical world remain topics of great interest. The Fall Workshop held at George Mason University on October 21 and 22, 1988 and titled "Bell`s Theorem, Quantum Theory and Conceptions of the Universe" was of a more general scope.