Categorical Decomposition Techniques in Algebraic Topology, Gregory Arone; John Hubbuck; Ran Levi; Michael Wei

Автор: B. Jacobs
Название: Categorical Logic and Type Theory,141
ISBN: 0444508538 ISBN-13(EAN): 9780444508539
Издательство: Elsevier Science
Рейтинг:
Цена: 16675.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Attempts to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. This book is useful for logicians, type theorists, category theorists and (theoretical) computer scientists.

Автор: Bob F. Caviness; Jeremy R. Johnson
Название: Quantifier Elimination and Cylindrical Algebraic Decomposition
ISBN: 3211827943 ISBN-13(EAN): 9783211827949
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A collection of major papers on CAD and QE and on the related area of algorthmic aspects of real geometry. The work contains papers from a symposium held in Linz in 1993, reprints of seminal papers from the area, outlining Tarski`s paper, as well as a survey outlining the developments in CAD.

Автор: Voisin Claire
Название: Chow Rings, Decomposition of the Diagonal, and the Topology of Families
ISBN: 0691160511 ISBN-13(EAN): 9780691160511
Издательство: Wiley
Рейтинг:
Цена: 13306.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Provides an introduction to algebraic cycles on complex algebraic varieties, to the major conjectures relating them to cohomology, and even more precisely to Hodge structures on cohomology. This title delves into arguments originating in Nori`s work that have been further developed by others.

Автор: Haruo Yanai; Kei Takeuchi; Yoshio Takane
Название: Projection Matrices, Generalized Inverse Matrices, and Singular Value Decomposition
ISBN: 1461428599 ISBN-13(EAN): 9781461428596
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This valuable reference on projectors, generalized inverses, and SVD covers concepts numerous cutting-edge concepts and provides systematic and in-depth accounts of these ideas from the viewpoint of linear transformations of finite dimensional vector spaces.

Автор: Michel Bercovier; Martin Gander; Ralf Kornhuber; O
Название: Domain Decomposition Methods in Science and Engineering XVIII
ISBN: 364226025X ISBN-13(EAN): 9783642260254
Издательство: Springer
Рейтинг:
Цена: 25155.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: th This volume contains a selection of 41 refereed papers presented at the 18 International Conference of Domain Decomposition Methods hosted by the School of ComputerScience and Engineering(CSE) of the Hebrew Universityof Jerusalem, Israel, January 12-17, 2008.