Search results

This book equips the student with essential intellectual tools that are needed from the very beginning of university studies in computing. These consist of abilities and skills - to pass from a concrete problem to an abstract representation, reason with the abstract structure coherently and usefully, and return with booty to the specific situation. The most basic and useful concepts needed come from the worlds of sets (with also their employment as relations and functions), structures (notably t...

A Concise Introduction to Languages, Machines and Logic provides an accessible introduction to three key topics within computer science: formal languages, abstract machines and formal logic. Written in an easy-to-read, informal style, this textbook assumes only a basic knowledge of programming on the part of the reader. The approach is deliberately non-mathematical, and features: - Clear explanations of formal notation and jargon, - Extensive use of examples to illustrate algorithms and proofs,...

The purpose of the volume is to bring forward recent trends of research in hypercomplex analysis. The list of contributors includes first rate mathematicians and young researchers working on several different aspects in quaternionic and Clifford analysis. Besides original research papers, there are papers providing the state-of-the-art of a specific topic, sometimes containing interdisciplinary fields. The intended audience includes researchers, PhD students, postgraduate students who are inter...

The use of parallel programming and architectures is essential for simulating and solving problems in modern computational practice. There has been rapid progress in microprocessor architecture, interconnection technology and software devel- ment, which are in?uencing directly the rapid growth of parallel and distributed computing. However, in order to make these bene?ts usable in practice, this dev- opment must be accompanied by progress in the design, analysis and application aspects of parall...

As discrete mathematics rapidly becomes a required element of undergraduate mathematics programs, algebraic software systems replace compiled languages and are now most often the computational tool of choice. Newcomers to university level mathematics, therefore, must not only grasp the fundamentals of discrete mathematics, they must also learn to use an algebraic manipulator and develop skills in abstract reasoning.Experimental Mathematics with MAPLE uniquely responds to these needs. Following a...

Conics and Cubics offers an accessible and well illustrated introduction to algebraic curves. By classifying irreducible cubics over the real numbers and proving that their points form Abelian groups, the book gives readers easy access to the study of elliptic curves. It includes a simple proof of Bezout's Theorem on the number of intersections of two curves. The subject area is described by means of concrete and accessible examples. The book is a text for a one-semester course.

This book is mainly devoted to finite difference numerical methods for solving partial differential equations (PDEs) models of pricing a wide variety of financial derivative securities. With this objective, the book is divided into two main parts. In the first part, after an introduction concerning the basics on derivative securities, the authors explain how to establish the adequate PDE boundary value problems for different sets of derivative products (vanilla and exotic options, and interest...

This volume contains the proceedings of theSecondInternationalConferenceon MathematicalKnowledgeManagement (MKM 2003), held 16-18 February 2003 in Bertinoro, Italy. Mathematical Knowledge Management is an exciting new ?eld at the int- section between mathematics and computer science. We need e?cient, new te- niques, based on sophisticated formal mathematics and software technology, to exploit the enormous knowledge available in current mathematical sources and to organize mathematical knowledge...

This text gives a clear introduction to the ideas and methods of wavelet analysis, making concepts understandable by relating them to methods in mathematics and engineering. It shows how to apply wavelet analysis to digital signal processing and presents a wide variety of applications.

This book contains 58 papers from among the 68 papers presented at the Fifth International Conference on Fibonacci Numbers and Their Applications which was held at the University of St. Andrews, St. Andrews, Fife, Scotland from July 20 to July 24, 1992. These papers have been selected after a careful review by well known referees in the field, and they range from elementary number theory to probability and statistics. The Fibonacci numbers and recurrence relations are their unifying bond. It is...

The investigation of multiscale problems in multibody system contacts is an interesting and timely topic which has been the subject of intensive research. This IUTAM Symposium facilitated discussions between researchers active in the field. This proceedings volume summarizes contributions of many authors active in the field and gives insight in very different areas of this fascinating research. It reviews the state-of-the-art and identifies future hot topics.

This book presents the state of the art in modeling and simulation on supercomputers. Leading German research groups present their results achieved on high-end systems of the High Performance Computing Center Stuttgart (HLRS) for the year 2003. The reports cover all fields of computational science and engineering ranging from computational fluid dynamics via computational physics and chemistry to computer science. Special emphasis is given to industrially relevant applications. Presenting result...

This commemorative book contains the 28 major articles that appeared in the 2008 Twentieth Anniversary Issue of the journal Discrete & Computational Geometry, and presents a comprehensive picture of the current state of the field. The articles in this volume, a number of which solve long-outstanding problems in the field, were chosen by the editors of DCG for the importance of their results, for the breadth of their scope, and to show the intimate connections that have arisen between discrete an...

This text was originally written for a Capstone course at Michigan State University. A Capstone course is intended for undergraduate mathematics majors, as one of the final courses taken in their undergraduate curriculum. Its purpose is to bring together different topics covered in the undergraduate curriculum and introduce students to current developments in mathematics and their applications. Basic wavelet theory seems to be a perfect topic for such a course. As a subject, it dates back only t...

Umfassende, aktuelle und deutlich uber die existierende Literatur hinausgehende Darstellung des Themenbereichs "Numerische Loesung unrestringierter Optimierungsaufgaben mit differenzierbarer Zielfunktion". Alle Verfahren sind ausfuhrlich motiviert und mit einer vollstandigen Konvergenzanalyse versehen. Mit Grundlagen und Testbeispielen im Anhang. Plus: 150 ausgewahlte Aufgaben, Tabellen mit numerischen Resultaten zu allen konkreten Algorithmen.