This thesis presents fundamental work that explains two mysteries concerning the trajectory of interplanetary spacecraft. For the first problem, the so-called Pioneer anomaly, a wholly new and innovative method was developed for computing all contributions to the acceleration due to onboard thermal sources. Through a careful analysis of all parts of the spacecraft Pioneer 10 and 11, the applica…
Mathematics has many branches: there are the pure, the applied, and the applicable; the theoretical and the practical. There is mathematics for school, for college, and for industry. All these belong to the same family and are bound together by a "mathematical way of thinking." Some mathematicians devote themselves entirely to the well being of this family by preserving it, developing it, and t…
This book provides a thorough introduction to the mathematical and algorithmic aspects of certified reduced basis methods for parametrized partial differential equations. Central aspects ranging from model construction, error estimation and computational efficiency to empirical interpolation methods are discussed in detail for coercive problems. More advanced aspects associated with time-depend…
This book offers an original contribution to the foundations of logic and mathematics and focuses on the internal logic of mathematical theories, from arithmetic or number theory to algebraic geometry. Arithmetical logic is the term used to refer to the internal logic of classical arithmetic, here called Fermat-Kronecker arithmetic and combines Fermat’s method of infinite descent with Kroneck…
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…
The notes of this book originate from three series of lectures given at the Centre de Recerca Matemàtica (CRM) in Barcelona. The first one is dedicated to the study of periodic solutions of autonomous differential systems in Rn via the Averaging Theory and was delivered by Jaume Llibre. The second one, given by Richard Moeckel, focusses on methods for studying Central Configurations. The last …
This book shows how video technology can be used to inform teachers’ personal practice, and provides new data and real-world case studies not covered by any previous book on the subject. Initial chapters explore how practicing teachers can view their own recorded lessons and take steps to improve their methods, while subsequent chapters examine how pre-service and in-service teachers can use…
This is an introductory textbook on general and algebraic topology, aimed at anyone with a basic knowledge of calculus and linear algebra. It provides full proofs and includes many examples and exercises. The covered topics include: set theory and cardinal arithmetic; axiom of choice and Zorn's lemma; topological spaces and continuous functions; connectedness and compactness; Alexandrov comp…
This book contains papers presented at the Workshop on the Analysis of Large-scale, High-Dimensional, and Multi-Variate Data Using Topology and Statistics, held in Le Barp, France, June 2013. It features the work of some of the most prominent and recognized leaders in the field who examine challenges as well as detail solutions to the analysis of extreme scale data. The book presents new met…