Mathematical foundations Books

A description of the theoretical foundations of inelasticity, its numerical formulation and implementation, constituting a representative sample of state-of-the-art methodology currently used in inelastic calculations. Among...

The IMA Hot Topics workshop on compatible spatialdiscretizations was held in 2004. This volume contains original contributions based on the material presented there. A unique feature is the inclusion of work that is...

Optimization models based on a nonlinear systems description often possess multiple local optima. The objective of Global Optimization (GO) is to find the best possible solution of multiextremal problems. This volume...

This book gives a comprehensive presentation of cutting-edge research in communication networks with a combinatorial optimization component. The objective of the book is to advance and promote the theory and applications of...

The topics covered in this volume include Sobolev's fundamental works on equations of mathematical physics, computational mathematics, and cubature formulas. Some of the articles are generally unknown to mathematicians because...

This is an overview of the current state of knowledge along with open problems and perspectives, clarified in such fields as non-standard inferences in description logics, logic of provability, logical dynamics and...

This detailed textbook presents a great deal of material on ordered sets not previously published in the still rather limited textbook literature. It should be suitable as a text for a course on order theory.

Real-Time Management of Resource Allocation Systems focuses on the problem of managing the resource allocation taking place within the operational context of many contemporary technological applications, including flexibly...

The present book - through the topics and the problems approach - aims at filling a gap, a real need in our literature concerning CFD (Computational Fluid Dynamics). Our presentation results from a large documentation and...

This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to...

Subject area has witnessed explosive growth during the last decade and the technology is progressing at an astronomical rate. Previous edition was first to focus exclusively on flow physics within microdevices. It sold over 900...

The book will synthesize and integrate better what are often disparate ideas, themes, and methods across substantive areas of white-collar crime and criminology and criminal justice. The book also puts together critical and...

Statistics and computing share many close relationships. Computing now permeates every aspect of statistics, from pure description to the development of statistical theory. At the same time, the computational methods used in statistical work span much of...

Numerical bifurcation techniques for chemical reactor problems.- Path-following of large bifurcation problems with iterative methods.- On the bifurcation from continuous to segmented chip formation in metal cutting.- Using dynamical system tools in...

I: Programming Complexity of SAMR Algorithms.- Systems engineering for high performance computing software: The HDDA/DAGH infrastructure for implementation of parallel structured adaptive mesh.- HAMR: The hierarchical adaptive mesh refinement system.-...

A thorough introduction to Borel sets and measurable selections, acting as a stepping stone to descriptive set theory by presenting such important techniques as universal sets, prewellordering, scales, etc. It contains...

The classical theory of computation has its origins in the work of Goedel, Turing, Church, and Kleene and has been an extraordinarily successful framework for theoretical computer science. The thesis of this book, however, is...

Iterative substructuring methods for spectral element discretizations of elliptic systems in three dimensions.- Parallel linear stationary iterative methods.- Adaptive finite element methods for domain decomposition on nonmatching grids.- Solution of...

Wave propagation inverse problems in medicine and environmental health.- Variational structure of inverse problems in wave propagation and vibration.- Convergence of numerical methods for inverse problems with general input sources.- Topics in ocean...

This updated printing of the first edition of Colorado Mathematical Olympiad: the First Twenty Years and Further Explorations gives the interesting history of the competition as well as an outline of all the problems and solutions that have been created...

The theory of constructive (recursive) models follows from works of Froehlich, Shepherdson, Mal'tsev, Kuznetsov, Rabin, and Vaught in the 50s. Within the framework of this theory, algorithmic properties of abstract models...

This is the only monograph devoted to the expressibility of finitely axiomatizable theories, a classical subject in mathematical logic. The volume summarizes investigations in the field that have led to much of the current...

In this book, Yurii L. Ershov posits the view that computability-in the broadest sense-can be regarded as the Sigma-definability in the suitable sets. He presents a new approach to providing the Gödel incompleteness theorem...

Las clases de matemáticas de primer grado incluirán la hora de decir. Esto significa que su hijo será introducido para omitir el conteo y el concepto de horas, minutos y segundos. Ayude a su niño a entender que aunque sólo hay 12 números en un reloj, hay...

Erste Klasse Math Klassen werden die Zeit zu erzählen. Dies bedeutet, dass Ihr Kind eingeführt werden, um die Zählung zu überspringen und das Konzept von Stunden, Minuten und Sekunden. Helfen Sie Ihrem Kind zu verstehen, dass zwar nur 12 Nummern auf...

Compter et dire le temps sont deux concepts qui sont en banque sur le sens du nombre de votre enfant. Vous pouvez améliorer le sens du nombre de votre enfant en lui permettant de travailler sur des exercices progressifs sur son propre rythme. Dire le...

First grade math classes will include telling time. This means that your child will be introduced to skip counting and the concept of hours, minutes and seconds. Help your child to understand that although there are only 12 numbers on a clock, there are...

Plasticity and Geotechnics is the first attempt to summarize and present in a single volume the major achievements in the field of plasticity theory for geotechnical materials and its applications to geotechnical analysis and...

The theory of quasivarieties constitutes an independent direction in algebra and mathematical logic and specializes in a fragment of first-order logic-the so-called universal Horn logic. This treatise uniformly presents the...