The Efficiency of Theorem Proving Strategies, David A. Plaisted; Wolfgang Bibel; Yunshan Zhu; Ru
Автор: Yves Bertot; G. Huet; Pierre Cast?ran; C. Paulin-M Название: Interactive Theorem Proving and Program Development ISBN: 3642058809 ISBN-13(EAN): 9783642058806 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.
Автор: John Harrison Название: Theorem Proving with the Real Numbers ISBN: 1447115937 ISBN-13(EAN): 9781447115939 Издательство: Springer Рейтинг: Цена: 16070.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book discusses the use of the real numbers in theorem proving. We de- scribe the rigorous definitional construction of the real numbers, using a new version of Cantor`s method, and the formalization of a significant portion of real analysis.
Автор: Sandrine Blazy; Christine Paulin-Mohring; David Pi Название: Interactive Theorem Proving ISBN: 364239633X ISBN-13(EAN): 9783642396335 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013. The 26 regular full papers presented together with 7 rough diamond papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 66 submissions.
Автор: Otmane Ait Mohamed; C?sar Munoz; Sofi?ne Tahar Название: Theorem Proving in Higher Order Logics ISBN: 3540710655 ISBN-13(EAN): 9783540710653 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents the refereed proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2008, held in Montreal, Canada, in August 2008. This book includes papers that cover various aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification.
Автор: Monty Newborn Название: Automated Theorem Proving ISBN: 1461265193 ISBN-13(EAN): 9781461265191 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text and software package introduces readers to automated theorem proving, while providing two approaches implemented as easy-to-use programs. These are semantic-tree theorem proving and resolution-refutation theorem proving.
Автор: Jacod Jean, Shiryaev Albert N. Название: Limit Theorems for Stochastic Processes ISBN: 3540439323 ISBN-13(EAN): 9783540439325 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Initially the theory of convergence in law of stochastic processes was developed quite independently from the theory of martingales, semimartingales and stochastic integrals. Apart from a few exceptions essentially concerning diffusion processes, it is only recently that the relation between the two theories has been thoroughly studied. The authors of this Grundlehren volume, two of the international leaders in the field, propose a systematic exposition of convergence in law for stochastic processes, from the point of view of semimartingale theory, with emphasis on results that are useful for mathematical theory and mathematical statistics. This leads them to develop in detail some particularly useful parts of the general theory of stochastic processes, such as martingale problems, and absolute continuity or contiguity results. The book contains an introduction to the theory of martingales and semimartingales, random measures stochastic integrales, Skorokhod topology, etc., as well as a large number of results which have never appeared in book form, and some entirely new results. The second edition contains some additions to the text and references. Some parts are completely rewritten.
Автор: Matt Kaufmann; Lawrence C. Paulson Название: Interactive Theorem Proving ISBN: 3642140513 ISBN-13(EAN): 9783642140518 Издательство: Springer Рейтинг: Цена: 14673.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July 2010. This title features the papers that are organized in topics such as counterexample generation, hybrid system verification, translations from one formalism to another, and cooperation between tools.
Автор: 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.
Автор: 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.
Автор: Jim Grundy; Malcolm Newey Название: Theorem Proving in Higher Order Logics ISBN: 3540649875 ISBN-13(EAN): 9783540649878 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics, TPHOLs `98, held in Canberra, Australia, in September/October 1998.The 26 revised full papers presented were carefully reviewed and selected from a total of 52 submissions.
Автор: Patrascu Название: The Universal Coefficient Theorem and Quantum Field Theory ISBN: 3319461427 ISBN-13(EAN): 9783319461427 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This thesis describes a new connection between algebraic geometry, topology, number theory and quantum field theory. It offers a pedagogical introduction to algebraic topology, allowing readers to rapidly develop basic skills, and it also presents original ideas to inspire new research in the quest for dualities. Its ambitious goal is to construct a method based on the universal coefficient theorem for identifying new dualities connecting different domains of quantum field theory. This thesis opens a new area of research in the domain of non-perturbative physics—one in which the use of different coefficient structures in (co)homology may lead to previously unknown connections between different regimes of quantum field theories. The origin of dualities is an issue in fundamental physics that continues to puzzle the research community with unexpected results like the AdS/CFT duality or the ER-EPR conjecture. This thesis analyzes these observations from a novel and original point of view, mainly based on a fundamental connection between number theory and topology. Beyond its scientific qualities, it also offers a pedagogical introduction to advanced mathematics and its connection with physics. This makes it a valuable resource for students in mathematical physics and researchers wanting to gain insights into (co)homology theories with coefficients or the way in which Grothendieck's work may be connected with physics.
Автор: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
