Topics in the Theory of Algebraic Function Fields
This text adopts the latter perspective by applying an arithmetic-algebraic viewpoint to the study of function fields as ...
Lee mas
Topological Fixed Point Theory of Multivalued Mappings
This book is an attempt to give a systematic presentation of results and me- ods which concern the ?xed point theory of multivalued ...
Lee mas
Topologie Générale : Chapitres 5 à 10 = General Topology: Chapters 5 to 10
Nicolas BOURBAKI's Elements of Mathematics aim at a rigorous, systematic presentation without prerequisites of mathematics ...
Lee mas
Towards Mechanized Mathematical Assistants
This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences ...
Lee mas
Transseries and Real Differential Algebra
Transseries are formal objects constructed from an infinitely large variable x and the reals using infinite summation, exponentiation ...
Lee mas
Trapped Charged Particles and Fundamental Interactions
The development of ion traps has spurred significant experimental activities able to link measurable quantities to the most ...
Lee mas
Trends in Continuum Mechanics of Porous Media
This book addresses postgraduate students and scientists working in engineering, physics, and mathematics. It provides an ...
Lee mas
Tsunamis and Hurricanes
This book presents new research on the mathematical description of tsunamis and hurricanes. The book uses the equivalence ...
Lee mas
Tutorials in Mathematical Biosciences IV : Evolution and Ecology
The book offers an easy introduction to fast growing research areas in evolution of species, population genetics, ecological ...
Lee mas
Types for Proofs and Programs
The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on ...
Lee mas
Univariate Stable Distributions
This textbook highlights the many practical uses of stable distributions, exploring the theory, numerical algorithms, and ...
Lee mas
Using the Borsuk-Ulam Theorem : Lectures on Topological Methods in Combinatorics and Geometry
Matousek's lively little textbook now shows that Lovász' insight as well as beautiful work of many others (such as Vrecica ...
Lee mas
Vanishing and Finiteness Results in Geometric Analysis : A Generalization of the Bochner Technique
This book presents very recent results involving an extensive use of analytical tools in the study of geometrical and topological ...
Lee mas
Vehicle Dynamics: Theory and Application
The contents in this book are presented at a theoretical-practical level. It explains vehicle dynamics concepts in detail, ...
Lee mas
Verification of Object-Oriented Software. The KeY Approach
features of the programming languages we employ in these programs are plentiful, including object-oriented organizations ...
Lee mas
Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
The book includes a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying ...
Lee mas
Walks on Ordinals and Their Characteristics
The analysis of the characteristics of walks on ordinals is a powerful new technique for building mathematical structures, ...
Lee mas
Walsh Equiconvergence of Complex Interpolating Polynomials
A collection of the various old and new results, centered around the following simple observation of J L Walsh. This book ...
Lee mas
Welfare Economics and Social Choice Theory, 2nd Edition
Welfare economics, and social choice theory, are disciplines that blend economics, ethics, political science, and mathematics. Topics ...
Lee mas
matematica e cultura 2008 = mathematics and culture 2008
In this new book, the tenth of the series that began in Venice with the meetings "Mathematics and culture" that many have ...
Lee mas
