Iterative Splitting Methods for Differential Equations explains how to solve evolution equations via novel iterative-based splitting methods that efficiently use computational and memory resources. It focuses on systems of parabolic and hyperbolic equations, including convection-diffusion-reaction equations, heat equations, and wave equations.

In the theoretical part of the book, the author discusses the main theorems and results of the stability and consistency analysis for ordinary differential equations. He then presents extensions of the iterative splitting methods to partial differential equations and spatial- and time-dependent differential equations.

The practical part of the text applies the methods to benchmark and real-life problems, such as waste disposal, elastics wave propagation, and complex flow phenomena. The book also examines the benefits of equation decomposition. It concludes with a discussion on several useful software packages, including r3t and FIDOS.

Covering a wide range of theoretical and practical issues in multiphysics and multiscale problems, this book explores the benefits of using iterative splitting schemes to solve physical problems. It illustrates how iterative operator splitting methods are excellent decomposition methods for obtaining higher-order accuracy.

The importance of having ef cient and effective methods for data mining and kn- ledge discovery (DM&KD), to which the present book is devoted, grows every day and numerous such methods have been developed in recent decades. There exists a great variety of different settings for the main problem studied by data mining and knowledge discovery, and it seems that a very popular one is formulated in terms of binary attributes. In this setting, states of nature of the application area under consideration are described by Boolean vectors de ned on some attributes. That is, by data points de ned in the Boolean space of the attributes. It is postulated that there exists a partition of this space into two classes, which should be inferred as patterns on the attributes when only several data points are known, the so-called positive and negative training examples. The main problem in DM&KD is de ned as nding rules for recognizing (cl- sifying) new data points of unknown class, i. e. , deciding which of them are positive and which are negative. In other words, to infer the binary value of one more attribute, called the goal or class attribute. To solve this problem, some methods have been suggested which construct a Boolean function separating the two given sets of positive and negative training data points.

We see numbers on automobile license plates, addresses, weather reports, and, of course, on our smartphones. Yet we look at these numbers for their role as descriptors, not as an entity in and unto themselves. Each number has its own history of meaning, usage, and connotation in the larger world. The Secret Lives of Numbers takes readers on a journey through integers, considering their numerological assignments as well as their significance beyond mathematics and in the realm of popular culture. Of course we all know that the number 13 carries a certain value of unluckiness with it. The phobia of the number is called Triskaidekaphobia; Franklin Delano Roosevelt was known to invite and disinvite guests to parties to avoid having 13 people in attendance; high-rise buildings often skip the 13th floor out of superstition. There are many explanations as to how the number 13 received this negative honor, but from a mathematical point of view, the number 13 is also the smallest prime number that when its digits are reversed is also a prime number. It is honored with a place among the Fibonacci numbers and integral Pythagorean triples, as well as many other interesting and lesser-known occurrences. In The Secret Lives of Numbers, popular mathematician Alfred S. Posamentier provides short and engaging mini-biographies of more than 100 numbers, starting with 1 and featuring some especially interesting numbers -like 6,174, a number with most unusual properties -to provide readers with a more comprehensive picture of the lives of numbers both mathematically and socially.

This edited volume focuses on the work of Professor Larisa Maksimova, providing a comprehensive account of her outstanding contributions to different branches of non-classical logic. The book covers themes ranging from rigorous implication, relevance and algebraic logic, to interpolation, definability and recognizability in superintuitionistic and modal logics. It features both her scientific autobiography and original contributions from experts in the field of non-classical logics. Professor Larisa Maksimova's influential work involved combining methods of algebraic and relational semantics. Readers will be able to trace both influences on her work, and the ways in which her work has influenced other logicians. In the historical part of this book, it is possible to trace important milestones in Maksimova's career. Early on, she developed an algebraic semantics for relevance logics and relational semantics for the logic of entailment. Later, Maksimova discovered that among the continuum of superintuitionisitc logics there are exactly three pretabular logics. She went on to obtain results on the decidability of tabularity and local tabularity problems for superintuitionistic logics and for extensions of S4. Further investigations by Maksimova were aimed at the study of fundamental properties of logical systems (different versions of interpolation and definability, disjunction property, etc.) in big classes of logics, and on decidability and recognizability of such properties. To this end she determined a powerful combination of algebraic and semantic methods, which essentially determine the modern state of investigations in the area, as can be seen in the later chapters of this book authored by leading experts in non-classical logics. These original contributions bring the reader up to date on the very latest work in this field.

Th e vari a t i on al s p li ne t heo ry w h ic h orig i na t es from th e w ell-kn own p ap er b y J. e . Hollid a y ( 1957) i s t od a y a we ll- deve lo pe d fi eld in a p pr o x - mat i o n t he o ry . T he ge ne ra l d efinition of s p l i nes in t he Hilb er t s pace , - i st ence , uniquen e s s , and ch ar a c t eriz a tion t he o re ms w ere obt ain ed a b o ut 35 ye a r s ago b y M . A t t ei a , P . J . Laur en t , a n d P . M. An selon e , bu t in r e cent y e a r s important n e w r esult s h a v e b e en ob t ain ed in th e a bst ract va r i a t i o n a l s p l i ne theor y .

This monograph provides a theoretical treatment of the problems related to the embeddability of graphs. Among these problems are the planarity and planar embeddings of a graph, the Gaussian crossing problem, the isomorphisms of polyhedra, surface embeddability, problems concerning graphic and cographic matroids and the knot problem from topology to combinatorics are discussed. Rectilinear embeddability, and the net-embeddability of a graph, which appears from the VSLI circuit design and has been much improved by the author recently, is also illustrated. Furthermore, some optimization problems related to planar and rectilinear embeddings of graphs, including those of finding the shortest convex embedding with a boundary condition and the shortest triangulation for given points on the plane, the bend and the area minimizations of rectilinear embeddings, and several kinds of graph decompositions are specially described for conditions efficiently solvable. At the end of each chapter, the Notes Section sets out the progress of related problems, the background in theory and practice, and some historical remarks. Some open problems with suggestions for their solutions are mentioned for further research.

Field Arithmetic explores Diophantine fields through their absolute Galois groups. This largely self-contained treatment starts with techniques from algebraic geometry, number theory, and profinite groups. Graduate students can effectively learn generalizations of finite field ideas. We use Haar measure on the absolute Galois group to replace counting arguments. New Chebotarev density variants interpret diophantine properties. Here we have the only complete treatment of Galois stratifications, used by Denef and Loeser, et al, to study Chow motives of Diophantine statements.

Progress from the first edition starts by characterizing the finite-field like P(seudo)A(lgebraically)C(losed) fields. We once believed PAC fields were rare. Now we know they include valuable Galois extensions of the rationals that present its absolute Galois group through known groups. PAC fields have projective absolute Galois group. Those that are Hilbertian are characterized by this group being pro-free. These last decade results are tools for studying fields by their relation to those with projective absolute group. There are still mysterious problems to guide a new generation: Is the solvable closure of the rationals PAC; and do projective Hilbertian fields have pro-free absolute Galois group (includes Shafarevich's conjecture)?

The third edition improves the second edition in two ways: First it removes many typos and mathematical inaccuracies that occur in the second edition (in particular in the references). Secondly, the third edition reports on five open problems (out of thirtyfour open problems of the second edition) that have been partially or fully solved since that edition appeared in 2005.

This book presents a collection of contributions from related logics to applied paraconsistency. Moreover, all of them are dedicated to Jair Minoro Abe,on the occasion of his sixtieth birthday. He is one of the experts in Paraconsistent Engineering, who developed the so-called annotated logics. The book includes important contributions on foundations and applications of paraconsistent logics in connection with engineering, mathematical logic, philosophical logic, computer science, physics, economics, and biology. It will be of interest to students and researchers, who are working on engineering and logic.

The main idea of statistical convergence is to demand convergence only for a majority of elements of a sequence. This method of convergence has been investigated in many fundamental areas of mathematics such as: measure theory, approximation theory, fuzzy logic theory, summability theory, and so on. In this monograph we consider this concept in approximating a function by linear operators, especially when the classical limit fails. The results of this book not only cover the classical and statistical approximation theory, but also are applied in the fuzzy logic via the fuzzy-valued operators. The authors in particular treat the important Korovkin approximation theory of positive linear operators in statistical and fuzzy sense. They also present various statistical approximation theorems for some specific real and complex-valued linear operators that are not positive. This is the first monograph in Statistical Approximation Theory and Fuzziness. The chapters are self-contained and several advanced courses can be taught. The research findings will be useful in various applications including applied and computational mathematics, stochastics, engineering, artificial intelligence, vision and machine learning. This monograph is directed to graduate students, researchers, practitioners and professors of all disciplines.

The NATO Advanced Study Institute "Axiomatic, enriched and rna tivic homotopy theory" took place at the Isaac Newton Institute of Mathematical Sciences, Cambridge, England during 9-20 September 2002. The Directors were J.P.C.Greenlees and I.Zhukov; the other or ganizers were P.G.Goerss, F.Morel, J.F.Jardine and V.P.Snaith. The title describes the content well, and both the event and the contents of the present volume reflect recent remarkable successes in model categor ies, structured ring spectra and homotopy theory of algebraic geometry. The ASI took the form of a series of 15 minicourses and a few extra lectures, and was designed to provide background, and to bring the par ticipants up to date with developments. The present volume is based on a number of the lectures given during the workshop. The ASI was the opening workshop of the four month programme "New Contexts for Stable Homotopy Theory" which explored several themes in greater depth. I am grateful to the Isaac Newton Institute for providing such an ideal venue, the NATO Science Committee for their funding, and to all the speakers at the conference, whether or not they were able to contribute to the present volume. All contributions were refereed, and I thank the authors and referees for their efforts to fit in with the tight schedule. Finally, I would like to thank my coorganizers and all the staff at the Institute for making the ASI run so smoothly. J.P.C.GREENLEES."

Absolute Space, Absolute Time, and Absolute Motion exist. These are shown to be facts through an investigation of the nature of infinitesimals. Knowledge of that nature also makes the irrational magnitudes within the unit comprehensible. The number line is shown to be cognitively superior to set theory; furthermore, non-Euclidean geometry is shown to be a mere manipulation of symbols and not an expression of a "parallel universe." Inside, the reader will also learn about a hitherto unknown number system locked within _-1. He will also discover in the infinitesimal calculus a hidden key to a level of reality beneath that of nano-technology.. The foundation of science is not some vague generality, but the exercise of reason as originating from the human sensorium. There is no difference between mathematical and ordinary inductive reasoning.

The present anthology has its origin in two international conferences that were arranged at Uppsala University in August 2004: "Logicism, Intuitionism and F- malism: What has become of them?" followed by "Symposium on Constructive Mathematics." The rst conference concerned the three major programmes in the foundations of mathematics during the classical period from Frege's Begrif- schrift in 1879 to the publication of Godel' ] s two incompleteness theorems in 1931: The logicism of Frege, Russell and Whitehead, the intuitionism of Brouwer, and Hilbert's formalist and proof-theoretic programme. The main purpose of the conf- ence was to assess the relevance of these foundational programmes to contemporary philosophy of mathematics. The second conference was announced as a satellite event to the rst, and was speci cally concerned with constructive mathematics-an activebranchofmathematicswheremathematicalstatements-existencestatements in particular-are interpreted in terms of what can be effectively constructed. C- structive mathematics may also be characterized as mathematics based on intuiti- isticlogicand, thus, beviewedasadirectdescendant ofBrouwer'sintuitionism. The two conferences were successful in bringing together a number of internationally renowned mathematicians and philosophers around common concerns. Once again it was con rmed that philosophers and mathematicians can work together and that real progress in the philosophy and foundations of mathematics is possible only if they do. Most of the papers in this collection originate from the two conferences, but a few additional papers of relevance to the issues discussed at the Uppsala c- ferences have been solicited especially for this volume."

Constructive mathematics – mathematics in which 'there exists' always means 'we can construct' – is enjoying a renaissance. fifty years on from Bishop's groundbreaking account of constructive analysis, constructive mathematics has spread out to touch almost all areas of mathematics and to have profound influence in theoretical computer science. This handbook gives the most complete overview of modern constructive mathematics, with contributions from leading specialists surveying the subject's myriad aspects. Major themes include: constructive algebra and geometry, constructive analysis, constructive topology, constructive logic and foundations of mathematics, and computational aspects of constructive mathematics. A series of introductory chapters provides graduate students and other newcomers to the subject with foundations for the surveys that follow. Edited by four of the most eminent experts in the field, this is an indispensable reference for constructive mathematicians and a fascinating vista of modern constructivism for the increasing number of researchers interested in constructive approaches.

This book presents a mathematically-based introduction into the fascinating topic of Fuzzy Sets and Fuzzy Logic and might be used as textbook at both undergraduate and graduate levels and also as reference guide for mathematician, scientists or engineers who would like to get an insight into Fuzzy Logic.

Fuzzy Sets have been introduced by Lotfi Zadeh in 1965 and since then, they have been used in many applications. As a consequence, there is a vast literature on the practical applications of fuzzy sets, while theory has a more modest coverage. The main purpose of the present book is to reduce this gap by providing a theoretical introduction into Fuzzy Sets based on Mathematical Analysis and Approximation Theory. Well-known applications, as for example fuzzy control, are also discussed in this book and placed on new ground, a theoretical foundation. Moreover, a few advanced chapters and several new results are included. These comprise, among others, a new systematic and constructive approach for fuzzy inference systems of Mamdani and Takagi-Sugeno types, that investigates their approximation capability by providing new error estimates.

"

This monograph presents a new theory for analysis, comparison and design of nonlinear smoothers, linking to established practices. Although a part of mathematical morphology, the special properties yield many simple, powerful and illuminating results leading to a novel nonlinear multiresolution analysis with pulses that may be as natural to vision as wavelet analysis is to acoustics. Similar to median transforms, they have the advantages of a supporting theory, computational simplicity, remarkable consistency, full trend preservation, and a Parceval-type identity.

Although the perspective is new and unfamiliar to most, the reader can verify all the ideas and results with simple simulations on a computer at each stage. The framework developed turns out to be a part of mathematical morphology, but the additional specific structures and properties yield a heuristic understanding that is easy to absorb for practitioners in the fields like signal- and image processing.
The book targets mathematicians, scientists and engineers with interest in concepts like trend, pulse, smoothness and resolution in sequences.

Games, Norms, and Reasons: Logic at the Crossroads provides an overview of modern logic focusing on its relationships with other disciplines, including new interfaces with rational choice theory, epistemology, game theory and informatics. This book continues a series called "Logic at the Crossroads" whose title reflects a view that the deep insights from the classical phase of mathematical logic can form a harmonious mixture with a new, more ambitious research agenda of understanding and enhancing human reasoning and intelligent interaction. The editors have gathered together articles from active authors in this new area that explore dynamic logical aspects of norms, reasons, preferences and beliefs in human agency, human interaction and groups. The book pays a special tribute to Professor Rohit Parikh, a pioneer in this movement.

This book is devoted primarily to topics in interpolation for scalar, matrix and operator valued functions. About half the papers are based on lectures which were delivered at a conference held at Leipzig University in August 1994 to commemorate the 80th anniversary of the birth of Vladimir Petrovich Potapov. The volume also contains the English translation of several important papers relatively unknown in the West, two expository papers written especially for this volume, and historical material based on reminiscences of former colleagues, students and associates of V.P. Potapov. Numerous examples of interpolation problems of the Nevanlinna-Pick and CarathA(c)odory-FejA(c)r type are included as well as moment problems and problems of integral representation in assorted settings. The major themes cover applications of the Potapov method of fundamental matrix inequalities, multiplicative decompositions of J-inner matrix valued functions, the abstract interpolation problem, canonical systems of differential equations and interpolation in spaces with an indefinite metric. This book should appeal to a wide range of readers: mathematicians specializing in pure and applied mathematics and engineers who work in systems theory and control. The book will be of use to graduate students and mathematicians interested in functional analysis.

This is a monograph that details the use of Siegel's method and the classical results of homotopy groups of spheres and Lie groups to determine some Gottlieb groups of projective spaces or to give the lower bounds of their orders. Making use of the properties of Whitehead products, the authors also determine some Whitehead center groups of projective spaces that are relevant and new within this monograph.

This book contains the proceedings of the International Symposium on Mathematical Morphology and its Applications to Image and Signal Processing IV, held June 3-5, 1998, in Amsterdam, The Netherlands. The purpose of the work is to provide the image analysis community with a sampling of recent developments in theoretical and practical aspects of mathematical morphology and its applications to image and signal processing. Among the areas covered are: digitization and connectivity, skeletonization, multivariate morphology, morphological segmentation, color image processing, filter design, gray-scale morphology, fuzzy morphology, decomposition of morphological operators, random sets and statistical inference, differential morphology and scale-space, morphological algorithms and applications. Audience: This volume will be of interest to research mathematicians and computer scientists whose work involves mathematical morphology, image and signal processing.

This second edition of "A Beginner's Guide to Finite Mathematics" takes a distinctly applied approach to finite mathematics at the freshman and sophomore level. Topics are presented sequentially: the book opens with a brief review of sets and numbers, followed by an introduction to data sets, histograms, means and medians. Counting techniques and the Binomial Theorem are covered, which provides the foundation for elementary probability theory; this, in turn, leads to basic statistics. This new edition includes chapters on game theory and financial mathematics. Requiring little mathematical background beyond high school algebra, the text will be especially useful for business and liberal arts majors.

Approximation Theory, Wavelets and Applications draws together the latest developments in the subject, provides directions for future research, and paves the way for collaborative research. The main topics covered include constructive multivariate approximation, theory of splines, spline wavelets, polynomial and trigonometric wavelets, interpolation theory, polynomial and rational approximation. Among the scientific applications were de-noising using wavelets, including the de-noising of speech and images, and signal and digital image processing. In the area of the approximation of functions the main topics include multivariate interpolation, quasi-interpolation, polynomial approximation with weights, knot removal for scattered data, convergence theorems in PadA(c) theory, Lyapunov theory in approximation, Neville elimination as applied to shape preserving presentation of curves, interpolating positive linear operators, interpolation from a convex subset of Hilbert space, and interpolation on the triangle and simplex. Wavelet theory is growing extremely rapidly and has applications which will interest readers in the physical, medical, engineering and social sciences.