Arithmetik, Algebra (584 Artikel)

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...

Lecture Notes of the XVII 'Jacques-Louis Lions' Spanish-French School

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...

This volume contains the proceedings of the second workshop on Computer Aided Verification, held at DIMACS, Rutgers University, June 18-21, 1990. Itfeatures theoretical results that lead to new or ...

This work grew out of Errett Bishop's fundamental treatise 'Founda tions of Constructive Analysis' (FCA), which appeared in 1967 and which contained the bountiful harvest of a remarkably short peri...