Mathematical theory of computation (106)

publisher: Springer
year: 2017
description:This collection of high-quality articles in the field of combinatorics, geometry, algebraic topology and theoretical computer science is a tribute to Jiří Matoušek, who passed away prematurely in March 2015. It is a collaborative effort by his collea...

publisher: Springer
year: 2016
description:In this book the authors present new results on interpolation for nonmonotonic logics, abstract (function) independence, the Talmudic Kal Vachomer rule, and an equational solution of contrary-to-duty obligations. The chapter on formal construction is...

publisher: Springer
year: 2017
description:This book offers an in-depth insight into the general-purpose finite element program MSC Marc, which is distributed by MSC Software Corporation. It is a specialized program for nonlinear problems (implicit solver) which is common in academia and indu...

publisher: Springer
year: 2017
description:Learn how to write object-oriented programs in R and how to construct classes and class hierarchies in the three object-oriented systems available in R. This book gives an introduction to object-oriented programming in the R programming language and ...

publisher: Springer
year: 2016
description:Program for data analysis using R and learn practical skills to make your work more efficient. This book covers how to automate running code and the creation of reports to share your results, as well as writing functions and packages. Advanced R is n...

publisher: Springer
year: 2018
description:This book discusses the latest advances in algorithms for symbolic summation, factorization, symbolic-numeric linear algebra and linear functional equations. It presents a collection of papers on original research topics from the Waterloo Workshop on...

publisher: Springer
year: 2017
description:This volume of selected and peer-reviewed contributions on the latest developments in time series analysis and forecasting updates the reader on topics such as analysis of irregularly sampled time series, multi-scale analysis of univariate and multiv...

publisher: Springer
year: 2016
description:This book presents a selection of the most recent algorithmic advances in Riemannian geometry in the context of machine learning, statistics, optimization, computer vision, and related fields. The unifying theme of the different chapters in the book ...

publisher: Springer
year: 2017
description:This book is a pedagogical presentation aimed at advanced undergraduate students, beginning graduate students and professionals who are looking for an introductory text to the field of Distance Geometry, and some of its applications. This versions ...

publisher: Springer
year: 2018
description:This book presents an intuitive picture-oriented approach to the formative processes technique and to its applications. In the first part the authors introduce basic set-theoretic terminology and properties, the decision problem in set theory, and fo...

publisher: Springer
year: 2016
description:This book offers a snapshot of the state-of-the-art in classification at the interface between statistics, computer science and application fields. The contributions span a broad spectrum, from theoretical developments to practical applications; they...

publisher: Springer
year: 2007
description:Il volume si propone di fornire una prima introduzione alla teoria elementare dei numeri, rivolta agli insegnanti (e ai futuri insegnanti) di matematica. Esso vuole costituire un invito e una preparazione per la lettura di opere più impegnative di cu...