Automated Theory Formation in Pure Mathematics, Simon Colton

Автор: F. William Lawvere
Название: Conceptual Mathematics
ISBN: 052171916X ISBN-13(EAN): 9780521719162
Издательство: Cambridge Academ
Рейтинг:
Цена: 7762.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Conceptual Mathematics introduces the concept of category to beginning students and practising mathematical scientists based on a leisurely introduction to the important categories of directed graphs and discrete dynamical systems. The expanded second edition approaches more advanced topics via historical sketches and a concise introduction to adjoint functors.

Автор: Edmund Burke; Michael Carter
Название: Practice and Theory of Automated Timetabling II
ISBN: 3540649794 ISBN-13(EAN): 9783540649793
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The 17 revised papers that constitute this volume are divided into topical sections including: surveys; tabu search and simulated annealing; evolutionary computation (population-based methods); constraint-based methods; graph theory; and practical issues.

Автор: George A. Anastassiou; Oktay Duman
Название: Intelligent Mathematics II: Applied Mathematics and Approximation Theory
ISBN: 3319303201 ISBN-13(EAN): 9783319303208
Издательство: Springer
Рейтинг:
Цена: 39182.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This specialvolume is a collection of outstanding more applied articles presented in AMAT2015 held in Ankara, May 28-31, 2015, at TOBB Economics and TechnologyUniversity.The collectionis suitable for Applied and Computational Mathematics and Engineeringpractitioners, also for related graduate students and researchers.

Автор: George A. Anastassiou
Название: Fuzzy Mathematics: Approximation Theory
ISBN: 3642112196 ISBN-13(EAN): 9783642112195
Издательство: Springer
Рейтинг:
Цена: 26122.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The theory presented in this book is destined and expected to find applications to all aspects of fuzziness from theoretical to practical in almost all sciences, technology, finance and industry, as well as within pure mathematics.

Автор: Maria Paola Bonacina; Mark E. Stickel
Название: Automated Reasoning and Mathematics
ISBN: 3642366740 ISBN-13(EAN): 9783642366741
Издательство: Springer
Рейтинг:
Цена: 6429.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This Festschrift volume is published in honor of William W. McCune, an accomplished computer scientist who was a fantastic system builder and software engineer. It includes 13 papers that cover automated reasoning and its applications to mathematics.

Автор: Fr?d?ric Paugam
Название: Towards the Mathematics of Quantum Field Theory
ISBN: 3319374850 ISBN-13(EAN): 9783319374857
Издательство: Springer
Рейтинг:
Цена: 13275.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book introduces the mathematical methods of theoretical and experimental quantum field theory, emphasizing coordinate-free presentations of the objects in play. Offers examples of classical field theories, discusses renormalization methods and more.

Автор: Jaroslav Nesetril; Vojtech R?dl
Название: Mathematics of Ramsey Theory
ISBN: 364272907X ISBN-13(EAN): 9783642729072
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: One of the important areas of contemporary combinatorics is Ramsey theory. The whole subject is quickly developing and has some new and unexpected applications in areas as remote as functional analysis and theoretical computer science.

Автор: Ulrich Kohlenbach
Название: Applied Proof Theory: Proof Interpretations and their Use in Mathematics
ISBN: 3642096271 ISBN-13(EAN): 9783642096273
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This is the first treatment in book format of proof-theoretic transformations - known as proof interpretations - that focuses on applications to ordinary mathematics.