Arithmetik, Algebra (542 Artikel)

This book, now in a thoroughly revised second edition, provides a comprehensive and accessible introduction to modern set theory. Following an overview of basic notions in combinatorics and first-o...

This book explores and highlights the fertile interaction between logic and operator algebras, which in recent years has led to the resolution of several long-standing open problems on C*-algebras....

Completeness is one of the most important notions in logic and the foundations of mathematics. Many variants of the notion have been de?ned in literature. We shallconcentrateonthesevariants,andaspe...

Cet ouvrage présente les bases de la théorie de la complexité des algorithmes et en derive les théorèmes fondamentaux de décidabilité et d'indécidabilité pour la logique et l'arithmétique, dont le ...

Unravel the mysteries of complex shapes called algebraic varieties! Computational algebraic geometry embarks on a journey with two powerful tools: toric and tropical varieties. Imagine a hidden wor...

This volume offers a well-structured overview of existent computational approaches to Riemann surfaces and those currently in development. The authors of the contributions represent the groups prov...

The Third Kurt G|del Symposium, KGC'93, held in Brno, Czech Republic, August1993, is the third in a series of biennial symposia on logic, theoretical computer science, and philosophy of mathematics...

On May 21-24, 1997 the Second International Symposium on Algorithms for Macromolecular Modelling was held at the Konrad Zuse Zentrum in Berlin. The event brought together computational scientists i...

Applied Mathematics: Body&Soul is a mathematics education reform p- gram including a series of books, together with associated educational ma- rial and open source software freely available from th...

Featuring up-to-date coverage of three topics lying at the intersection of combinatorics and commutative algebra, namely Koszul algebras, primary decompositions and subdivision operations in simpli...

An Algorithm-Oriented Introduction

this gap. In sixteen survey articles the most important theoretical results, algorithms and software methods of computer algebra are covered, together with systematic references to literature. In a...

Fast Matrix Computation of Subresultant Polynomial Remainder Sequences.- About Simultaneous Representation of Two Natural Numbers by a Sum of Three Primes.- On a Description of Irreducible Componen...

The workshop Computer Science Logic '90 was held at the Max-Planck-Haus in Heidelberg, Germany, October 1-5, 1990. It was the fourth in a series of worskhops, following CSL '89 at the University of...

The design of complex artifacts and systems requires the cooperation of multidisciplinary design teams using multiple commercial and non-commercial engineering tools such as CAD tools, modeling, si...