Mathematical Problem Posing
Mathematical problem posing as the substantive formulation of mathematical problems is an activity that lies at the heart of mathematics. In recent years, research in mathematics education has endeavored to gain insights into problem posing--conceptually as well as empirically. In problem-posing research, there has been a focus on analyzing products, that is, the posed problems. Insights into the processes that lead to these products, however, have so far been lacking. Within four journal articles, summarized in this cumulative dissertation, the author attempts to contribute to the understanding of problem-posing processes through conceptual considerations and empirical investigations. The conceptual part consists of a conducted systematic literature review to investigate problem-posing situations and problem-posing activities. The studies in the empirical part deal with the analyses of problem-posing processes of pre-service mathematics teachers from a macroscopic and microscopic perspective. The aim is to develop coherent and meaningful conceptual perspectives for analyzing empirical observations of problem-posing processes.
Thinking Programs
This book describes some basic principles that allow developers of computer programs (computer scientists, software engineers, programmers) to clearly think about the artifacts they deal with in their daily work: data types, programming languages, programs written in these languages that compute from given inputs wanted outputs, and programs that describe continuously executing systems. The core message is that clear thinking about programs can be expressed in a single universal language, the formal language of logic. Apart from its universal elegance and expressiveness, this "logical" approach to the formal modeling of and reasoning about computer programs has another advantage: due to advances in computational logic (automated theorem proving, satisfiability solving, model checking), nowadays much of this process can be supported by software. This book therefore accompanies its theoretical elaborations by practical demonstrations of various systems and tools that are based on respectively make use of the presented logical underpinnings.
Real Algebra
This book provides an introduction to fundamental methods and techniques of algebra over ordered fields. It is a revised and updated translation of the classic textbook Einf羹hrung in die reelle Algebra. Beginning with the basics of ordered fields and their real closures, the book proceeds to discuss methods for counting the number of real roots of polynomials. Followed by a thorough introduction to Krull valuations, this culminates in Artin's solution of Hilbert's 17th Problem. Next, the fundamental concept of the real spectrum of a commutative ring is introduced with applications. The final chapter gives a brief overview of important developments in real algebra and geometry--as far as they are directly related to the contents of the earlier chapters--since the publication of the original German edition. Real Algebra is aimed at advanced undergraduate and beginning graduate students who have a good grounding in linear algebra, field theory and ring theory. It also provides a carefully written reference for specialists in real algebra, real algebraic geometry and related fields.
A Lambda Calculus Satellite
In 1936 the notion of intuitive computability was operationalized in two different ways: via Turing machines and via lambda-calculus. The difference consisted in manipulating beads (bits) for the former approach versus manipulating trees (rewriting lambda-terms) for the latter. Both proposals turned out to formalize the same notion of computability, and led to the Church-Turing Thesis, claiming that intuitive computability is captured in the correct way.This resulted in the foundation of imperative and functional programming. Variants of lambda-calculus are being used in another powerful field of applications, namely proof-checking, the basis for certifying mathematical theorems and thereby high tech industrial products. These two areas of research are still being actively investigated and make lambda-calculus a major tool in the present stages of science and of the industrial revolution.In this book lambda-calculus is considered from another angle: as a study of these tree-like structures, investigating the relation between their shape and their action. This is like studying numbers qualitatively, rather than for their applications dealing quantitatively with objects and phenomena in the world.Barendregt's book `The Lambda Calculus, its Syntax and Semantics' (1981/84), does treat the subject from the same methodological viewpoint, and includes several open conjectures. In the more than four decades that have passed, most - but not all - of these conjectures have been solved, sometimes in ingenious PhD theses. This `Satellite' to the aforementioned book presents these solutions in a uniform style and adds other topics of interest.
Two Trains Leave The Station
When her mother was diagnosed with Alzheimer's disease, Catherine Landis set out to do something to protect her own brain. Hoping to avoid a similar fate, she went searching for brain exercises and landed on math. Considering herself innumerate, she was flustered by the mere word. Could she relearn it? Could this source of embarrassment become an opportunity? TWO TRAINS LEAVE THE STATION: A Meditation on Age, Alzheimer's, and Arithmetic, is the story of how Catherine relearned math while grappling with her mother's illness and her own inevitable aging.
Have Fun with Numbers
Have fun with Numbers is an introduction to numbers from 1 to 10 by using images. Toddlers will learn to count in this book by using colorful images that will catch their attention. This book will also help kids write for the first time by tracing the numbers.
An Introduction to Bayesian Inference, Methods and Computation
These lecture notes provide a rapid, accessible introduction to Bayesian statistical methods. The course covers the fundamental philosophy and principles of Bayesian inference, including the reasoning behind the prior/likelihood model construction synonymous with Bayesian methods, through to advanced topics such as nonparametrics, Gaussian processes and latent factor models. These advanced modelling techniques can easily be applied using computer code samples written in Python and Stan which are integrated into the main text. Importantly, the reader will learn methods for assessing model fit, and to choose between rival modelling approaches.
Combinatorial, Linear, Integer and Nonlinear Optimization Apps
This textbook provides an introduction to the use and understanding of optimization and modeling for upper-level undergraduate students in engineering and mathematics. The formulation of optimization problems is founded through concepts and techniques from operations research: Combinatorial Optimization, Linear Programming, and Integer and Nonlinear Programming (COLIN). Computer Science (CS) is also relevant and important given the applications of algorithms and Apps/algorithms (A) in solving optimization problems. Each chapter provides an overview of the main concepts of optimization according to COLINA, providing examples through App Inventor and AMPL software applications. All apps developed through the text are available for download. Additionally, the text includes links to the University of Wisconsin NEOS server, designed to handle more computing-intensive problems in complex optimization. Readers are encouraged to have some background in calculus, linear algebra, and relatedmathematics.
New Perspectives in Algebra, Topology and Categories
This book provides an introduction to some key subjects in algebra and topology. It consists of comprehensive texts of some hours courses on the preliminaries for several advanced theories in (categorical) algebra and topology. Often, this kind of presentations is not so easy to find in the literature, where one begins articles by assuming a lot of knowledge in the field. This volume can both help young researchers to quickly get into the subject by offering a kind of roadmap and also help master students to be aware of the basics of other research directions in these fields before deciding to specialize in one of them. Furthermore, it can be used by established researchers who need a particular result for their own research and do not want to go through several research papers in order to understand a single proof. Although the chapters can be read as self-contained chapters, the authors have tried to coordinate the texts in order to make them complementary. The seven chapters of this volume correspond to the seven courses taught in two Summer Schools that took place in Louvain-la-Neuve in the frame of the project Fonds d'Appui ? l'Internationalisation of the Universit矇 catholique de Louvain to strengthen the collaborations with the universities of Coimbra, Padova and Poitiers, within the Coimbra Group.
Robust Latent Feature Learning for Incomplete Big Data
Incomplete big data are frequently encountered in many industrial applications, such as recommender systems, the Internet of Things, intelligent transportation, cloud computing, and so on. It is of great significance to analyze them for mining rich and valuable knowledge and patterns. Latent feature analysis (LFA) is one of the most popular representation learning methods tailored for incomplete big data due to its high accuracy, computational efficiency, and ease of scalability. The crux of analyzing incomplete big data lies in addressing the uncertainty problem caused by their incomplete characteristics. However, existing LFA methods do not fully consider such uncertainty. In this book, the author introduces several robust latent feature learning methods to address such uncertainty for effectively and efficiently analyzing incomplete big data, including robust latent feature learning based on smooth L1-norm, improving robustness of latent feature learning using L1-norm, improving robustness of latent feature learning using double-space, data-characteristic-aware latent feature learning, posterior-neighborhood-regularized latent feature learning, and generalized deep latent feature learning. Readers can obtain an overview of the challenges of analyzing incomplete big data and how to employ latent feature learning to build a robust model to analyze incomplete big data. In addition, this book provides several algorithms and real application cases, which can help students, researchers, and professionals easily build their models to analyze incomplete big data.
Data Through Movement
When you picture human-data interactions (HDI), what comes to mind? The datafication of modern life, along with open data initiatives advocating for transparency and access to current and historical datasets, has fundamentally transformed when, where, and how people encounter data. People now rely on data to make decisions, understand current events, and interpret the world. We frequently employ graphs, maps, and other spatialized forms to aid data interpretation, yet the familiarity of these displays causes us to forget that even basic representations are complex, challenging inscriptions and are not neutral; they are based on representational choices that impact how and what they communicate. This book draws on frameworks from the learning sciences, visualization, and human-computer interaction to explore embodied HDI. This exciting sub-field of interaction design is based on the premise that every day we produce and have access to quintillions of bytes of data, the exploration and analysis of which are no longer confined within the walls of research laboratories. This volume examines how humans interact with these data in informal (not work or school) environments, paritcularly in museums. The first half of the book provides an overview of the multi-disciplinary, theoretical foundations of HDI (in particular, embodied cognition, conceptual metaphor theory, embodied interaction, and embodied learning) and reviews socio-technical theories relevant for designing HDI installations to support informal learning. The second half of the book describes strategies for engaging museum visitors with interactive data visualizations, presents methodologies that can inform the design of hand gestures and body movements for embodied installations, and discusses how HDI can facilitate people's sensemaking about data. This cross-disciplinary book is intended as a resource for students and early-career researchers in human-computer interaction and the learning sciences, as well asfor more senior researchers and museum practitioners who want to quickly familiarize themselves with HDI.
Question Answering for the Curated Web
Question answering (QA) systems on the Web try to provide crisp answers to information needs posed in natural language, replacing the traditional ranked list of documents. QA, posing a multitude of research challenges, has emerged as one of the most actively investigated topics in information retrieval, natural language processing, and the artificial intelligence communities today. The flip side of such diverse and active interest is that publications are highly fragmented across several venues in the above communities, making it very difficult for new entrants to the field to get a good overview of the topic. Through this book, we make an attempt towards mitigating the above problem by providing an overview of the state-of-the-art in question answering. We cover the twin paradigms of curated Web sources used in QA tasks ‒ trusted text collections like Wikipedia, and objective information distilled into large-scale knowledge bases. We discuss distinct methodologies that have been applied to solve the QA problem in both these paradigms, using instantiations of recent systems for illustration. We begin with an overview of the problem setup and evaluation, cover notable sub-topics like open-domain, multi-hop, and conversational QA in depth, and conclude with key insights and emerging topics. We believe that this resource is a valuable contribution towards a unified view on QA, helping graduate students and researchers planning to work on this topic in the near future.
Continuous Distributions in Engineering and the Applied Sciences -- Part I
Aspects of Differential Geometry V
Book V completes the discussion of the first four books by treating in some detail the analytic results in elliptic operator theory used previously. Chapters 16 and 17 provide a treatment of the techniques in Hilbert space, the Fourier transform, and elliptic operator theory necessary to establish the spectral decomposition theorem of a self-adjoint operator of Laplace type and to prove the Hodge Decomposition Theorem that was stated without proof in Book II. In Chapter 18, we treat the de Rham complex and the Dolbeault complex, and discuss spinors. In Chapter 19, we discuss complex geometry and establish the Kodaira Embedding Theorem.
Continuous Distributions in Engineering and the Applied Sciences -- Part II
This is the second part of our book on continuous statistical distributions. It covers inverse-Gaussian, Birnbaum-Saunders, Pareto, Laplace, central ����簡, ����, ����, Weibull, Rayleigh, Maxwell, and extreme value distributions. Important properties of these distribution are documented, and most common practical applications are discussed. This book can be used as a reference material for graduate courses in engineering statistics, mathematical statistics, and econometrics. Professionals and practitioners working in various fields will also find some of the chapters to be useful.Although an extensive literature exists on each of these distributions, we were forced to limit the size of each chapter and the number of references given at the end due to the publishing plan of this book that limits its size. Nevertheless, we gratefully acknowledge the contribution of all those authors whose names have been left out.Some knowledge in introductoryalgebra and college calculus is assumed throughout the book. Integration is extensively used in several chapters, and many results discussed in Part I (Chapters 1 to 9) of our book are used in this volume.Chapter 10 is on Inverse Gaussian distribution and its extensions. The Birnbaum-Saunders distribution and its extensions along with applications in actuarial sciences is discussed in Chapter 11. Chapter 12 discusses Pareto distribution and its extensions. The Laplace distribution and its applications in navigational errors is discussed in the next chapter. This is followed by central chi-squared distribution and its applications in statistical inference, bioinformatics and genomics. Chapter 15 discusses Student's ���� distribution, its extensions and applications in statistical inference. The ���� distribution and its applications in statistical inference appears next. Chapter 17 is on Weibull distribution and its applications in geology and reliability engineering. Next two chapters are on Rayleigh and Maxwell distributions and its applications in communications, wind energy modeling, kinetic gas theory, nuclear and thermal engineering, and physical chemistry. The last chapter is on Gumbel distribution, its applications in the law of rare exceedances.Suggestions for improvement are welcome. Please send them to rajan.chattamvelli@vit.ac.in.
Functional Analysis Tools for Practical Use in Sciences and Engineering
This textbook describes selected topics in functional analysis as powerful tools of immediate use in many fields within applied mathematics, physics and engineering. It follows a very reader-friendly structure, with the presentation and the level of exposition especially tailored to those who need functional analysis but don't have a strong background in this branch of mathematics. For every tool, this work emphasizes the motivation, the justification for the choices made, and the right way to employ the techniques. Proofs appear only when necessary for the safe use of the results. The book gently starts with a road map to guide reading. A subsequent chapter recalls definitions and notation for abstract spaces and some function spaces, while Chapter 3 enters dual spaces. Tools from Chapters 2 and 3 find use in Chapter 4, which introduces distributions. The Linear Functional Analysis basic triplet makes up Chapter 5, followed by Chapter 6, whichintroduces the concept of compactness. Chapter 7 brings a generalization of the concept of derivative for functions defined in normed spaces, while Chapter 8 discusses basic results about Hilbert spaces that are paramount to numerical approximations. The last chapter brings remarks to recent bibliographical items. Elementary examples included throughout the chapters foster understanding and self-study. By making key, complex topics more accessible, this book serves as a valuable resource for researchers, students, and practitioners alike that need to rely on solid functional analysis but don't need to delve deep into the underlying theory.
The Significance Test Controversy Revisited
This book explains the misuses and abuses of Null Hypothesis Significance Tests, which are reconsidered in light of Jeffreys' Bayesian concept of the role of statistical inference, in experimental investigations. Minimizing the technical aspects, the studies focuses mainly on methodological contributions. The first part of the book gives an overview of the major approaches to statistical testing and an enlightening discussion of the philosophies of Fisher, Neyman-Pearson and Jeffrey. The conceptual and methodological implications of current practices of reporting effect sizes and confidence intervals are also examined and challenged. This sheds new light on the "significance testing controversy" and provides an appropriate Bayesian framework for a comprehensive approach to the analysis and interpretation of experimental data. The second part of the book provides concrete Bayesian routine procedures that bypass common misuses of significance testing and arereadily applicable in a wide range of real applications. This approach addresses the need for objective reporting of experimental data, that is acceptable to the scientific community. This is emphasized by the name fiducial (from the Latin fiducia = confidence). The fiducial Bayesian procedures provide the reader with a real opportunity to think sensibly about problems of statistical inference. This book prepares students and researchers to critically read statistical analyses reported in the literature and equips them with an appropriate alternative to the use of significance testing.
Word Problems from Literature
You can help prevent math anxiety by giving your children the mental tools they need to conquer story problems. Young children expect to look at a word problem and instantly see the answer. But as they get older, their textbook math problems also grow in difficulty, so this solution-by-intuitive-leap becomes impossible. Too often the frustrated child concludes, "I'm just not good at math." But with practice, any student can learn to master word problems. Word Problems from Literature features math puzzles for elementary and middle school students inspired by classic books such as Mr. Popper's Penguins and The Hobbit. Denise Gaskins demonstrates step by step how to use the problem-solving tool of bar model diagrams, a type of pictorial algebra. For children who are used to playing with Legos or other blocks - or with computer games like Minecraft - this approach reveals the underlying structure of a math word problem. Students can make sense of how each quantity in the story relates to the others and see a path to the solution. And when you finish the puzzles in this book, Denise shows you how to create your own word problems from literature, using your child's favorite story worlds. Prepare your children for mathematical success. Order your copy of Word Problems from Literature today. * * * If you're using these word problems with your children, check out the companion Word Problems Student Workbook: Word Problems from Literature.
Trichometry (c)
Trichometry (c) The Study of the Geometrics of the 3-4-5-6 Golden Upright Right Triangle in Cartesian Coordinates is an informative book developed to explain in detail the innovative and in-depth mathematical operations involved in the Triological Science of Trichometry to create, explain, and model the internal and external dynamics of the 3-4-5-6 Golden Upright Right Triangle (or 3-4-5-6 GURT). Trichometry is the mathematical study of the geometrics of the 3-4-5-6 Golden Upright Right Triangle Model that is constructed from first quadrant Cartesian Coordinate mathematics. The Trichometry (c) book has been written in a manner that presents the geometrics in an explicative series of mathematical cyclical sequential formulae, descriptive Triostatistical models, step-by-step procedures, and explicative innovative in-depth terminology. This book has been designed to aid the reader in comprehending the unique Triological Sciences and their methodologies that will aid in the production of: conceptual models, problem-solving solutions, and innovative inventive inquiry.
Applied Categorical and Count Data Analysis
This second edition explains how to perform the statistical analysis of discrete data, including categorical and count outcomes. It covers classic concepts and popular topics, such as logistic regression models, along with modern areas including models for zero-modified count outcomes.
Partial Differential Equations in Anisotropic Musielak-Orlicz Spaces
This book provides a detailed study of nonlinear partial differential equations satisfying certain nonstandard growth conditions which simultaneously extend polynomial, inhomogeneous and fully anisotropic growth. The common property of the many different kinds of equations considered is that the growth conditions of the highest order operators lead to a formulation of the equations in Musielak-Orlicz spaces. This high level of generality, understood as full anisotropy and inhomogeneity, requires new proof concepts and a generalization of the formalism, calling for an extended functional analytic framework. This theory is established in the first part of the book, which serves as an introduction to the subject, but is also an important ingredient of the whole story. The second part uses these theoretical tools for various types of PDEs, including abstract and parabolic equations but also PDEs arising from fluid and solid mechanics. For connoisseurs, there is a short chapter on homogenization of elliptic PDEs. The book will be of interest to researchers working in PDEs and in functional analysis.
Variational Calculus with Engineering Applications
VARIATIONAL CALCULUS WITH ENGINEERING APPLICATIONS A comprehensive overview of foundational variational methods for problems in engineering Variational calculus is a field in which small alterations in functions and functionals are used to find their relevant maxima and minima. It is a potent tool for addressing a range of dynamic problems with otherwise counter-intuitive solutions, particularly ones incorporating multiple confounding variables. Its value in engineering fields, where materials and geometric configurations can produce highly specific problems with unconventional or unintuitive solutions, is considerable. Variational Calculus with Engineering Applications provides a comprehensive survey of this toolkit and its engineering applications. Balancing theory and practice, it offers a thorough and accessible introduction to the field pioneered by Euler, Lagrange and Hamilton, offering tools that can be every bit as powerful as the better-known Newtonian mechanics. It is an indispensable resource for those looking for engineering-oriented overview of a subject whose capacity to provide engineering solutions is only increasing. Variational Calculus with Engineering Applications readers will also find: Discussion of subjects including variational principles, levitation, geometric dynamics, and more Examples and instructional problems in every chapter, along with MAPLE codes for performing the simulations described in each Engineering applications based on simple, curvilinear, and multiple integral functionals Variational Calculus with Engineering Applications is ideal for advanced students, researchers, and instructors in engineering and materials science.
Markov Chains on Metric Spaces
This book gives an introduction to discrete-time Markov chains which evolve on a separable metric space. The focus is on the ergodic properties of such chains, i.e., on their long-term statistical behaviour. Among the main topics are existence and uniqueness of invariant probability measures, irreducibility, recurrence, regularizing properties for Markov kernels, and convergence to equilibrium. These concepts are investigated with tools such as Lyapunov functions, petite and small sets, Doeblin and accessible points, coupling, as well as key notions from classical ergodic theory. The theory is illustrated through several recurring classes of examples, e.g., random contractions, randomly switched vector fields, and stochastic differential equations, the latter providing a bridge to continuous-time Markov processes. The book can serve as the core for a semester- or year-long graduate course in probability theory withan emphasis on Markov chains or random dynamics. Some of the material is also well suited for an ergodic theory course. Readers should have taken an introductory course on probability theory, based on measure theory. While there is a chapter devoted to chains on a countable state space, a certain familiarity with Markov chains on a finite state space is also recommended.
Geometry - Intuition and Concepts
This book deals with the geometry of visual space in all its aspects. As in any branch of mathematics, the aim is to trace the hidden to the obvious; the peculiarity of geometry is that the obvious is sometimes literally before one's eyes.Starting from intuition, spatial concepts are embedded in the pre-existing mathematical framework of linear algebra and calculus. The path from visualization to mathematically exact language is itself the learning content of this book. This is intended to close an often lamented gap in understanding between descriptive preschool and school geometry and the abstract concepts of linear algebra and calculus. At the same time, descriptive geometric modes of argumentation are justified because their embedding in the strict mathematical language has been clarified.The concepts of geometry are of a very different nature; they denote, so to speak, different layers of geometric thinking: some arguments use only concepts such as point, straight line, and incidence, others require angles and distances, still others symmetry considerations. Each of these conceptual fields determines a separate subfield of geometry and a separate chapter of this book, with the exception of the last-mentioned conceptual field "symmetry", which runs through all the others: - Incidence: Projective geometry - Parallelism: Affine geometry - Angle: Conformal Geometry - Distance: Metric Geometry - Curvature: Differential Geometry - Angle as distance measure: Spherical and Hyperbolic Geometry - Symmetry: Mapping Geometry.The mathematical experience acquired in the visual space can be easily transferred to much more abstract situations with the help of the vector space notion. The generalizations beyond the visual dimension point in two directions: Extension of the number concept and transcending the three illustrative dimensions.This book is a translation of the original German 1st edition Geometrie - Anschauung und Begriffe by Jost-Hinrich Eschenburg, published by Springer Fachmedien Wiesbaden GmbH, part of Springer Nature in 2020. The translation was done with the help of artificial intelligence (machine translation by the service DeepL.com). A subsequent human revision was done primarily in terms of content, so that the book will read stylistically differently from a conventional translation. Springer Nature works continuously to further the development of tools for the production of books and on the related technologies to support the authors.
Fractional Sobolev Spaces and Inequalities
The fractional Sobolev spaces studied in the book were introduced in the 1950s by Aronszajn, Gagliardo and Slobodeckij in an attempt to fill the gaps between the classical Sobolev spaces. They provide a natural home for solutions of a vast, and rapidly growing, number of questions involving differential equations and non-local effects, ranging from financial modelling to ultra-relativistic quantum mechanics, emphasising the need to be familiar with their fundamental properties and associated techniques. Following an account of the most basic properties of the fractional spaces, two celebrated inequalities, those of Hardy and Rellich, are discussed, first in classical format (for which a survey of the very extensive known results is given), and then in fractional versions. This book will be an Ideal resource for researchers and graduate students working on differential operators and boundary value problems.
Notable Modern Indian Mathematicians and Statisticians
Chapter 1. Historical Prelude and Introduction.- Chapter 2. Sir Asutosh Mookerjee (1864-1924).- Chapter 3. Syamadas Mukhopadhyay (1866-1937).- Chapter 4. Ganesh Prasad (1876-1935).- Chapter 5. Bibhuti Bhusan Datta (1888-1958).- Chapter 6. Prasanta Chandra Mahalanobis (1893-1972).- Chapter 7. Nikhil Ranjan Sen (1894-1963).- Chapter 8. Suddhodan Ghosh (1896-1976).- Chapter 9. Rabindranath Sen (1896-1974).- Chapter 10. Bibhutibhusan Sen (1898-1976).- Chapter 11. Raj Chandra Bose (1901-1987).- Chapter 12. Bhoj Raj Seth (1907-1979).- Chapter 13. . Subodh Kumar Chakrabarty (1909-1987).- Chapter 14. Manindra Chandra Chaki (1913-2007).- Chapter 15. Calyampudi Radhakrishna Rao (b. 10th September 1920).- Chapter 16. Anadi Sankar Gupta (1932-2012).- Chapter 17. Jyoti Das (1937-2015).- Chapter 18. Some Outstanding Minds from the Indian Statistical Institute.
Mathematical Problem Factories
A problem factory consists of a traditional mathematical analysis of a type of problem that describes many, ideally all, ways that the problems of that type can be cast in a fashion that allows teachers or parents to generate problems for enrichment exercises, tests, and classwork. Some problem factories are easier than others for a teacher or parent to apply, so we also include banks of example problems for users. This text goes through the definition of a problem factory in detail and works through many examples of problem factories. It gives banks of questions generated using each of the examples of problem factories, both the easy ones and the hard ones. This text looks at sequence extension problems (what number comes next?), basic analytic geometry, problems on whole numbers, diagrammatic representations of systems of equations, domino tiling puzzles, and puzzles based on combinatorial graphs. The final chapter previews other possible problem factories.
Founding Mathematics on Semantic Conventions
This book presents a new nominalistic philosophy of mathematics: semantic conventionalism. Its central thesis is that mathematics should be founded on the human ability to create language - and specifically, the ability to institute conventions for the truth conditions of sentences.This philosophical stance leads to an alternative way of practicing mathematics: instead of "building" objects out of sets, a mathematician should introduce new syntactical sentence types, together with their truth conditions, as he or she develops a theory.Semantic conventionalism is justified first through criticism of Cantorian set theory, intuitionism, logicism, and predicativism; then on its own terms; and finally, exemplified by a detailed reconstruction of arithmetic and real analysis.Also included is a simple solution to the liar paradox and the other paradoxes that have traditionally been recognized as semantic. And since it is argued that mathematics is semantics, thissolution also applies to Russell's paradox and the other mathematical paradoxes of self-reference.In addition to philosophers who care about the metaphysics and epistemology of mathematics or the paradoxes of self-reference, this book should appeal to mathematicians interested in alternative approaches.
Large Deviations for Markov Chains
This book studies the large deviations for empirical measures and vector-valued additive functionals of Markov chains with general state space. Under suitable recurrence conditions, the ergodic theorem for additive functionals of a Markov chain asserts the almost sure convergence of the averages of a real or vector-valued function of the chain to the mean of the function with respect to the invariant distribution. In the case of empirical measures, the ergodic theorem states the almost sure convergence in a suitable sense to the invariant distribution. The large deviation theorems provide precise asymptotic estimates at logarithmic level of the probabilities of deviating from the preponderant behavior asserted by the ergodic theorems.
Introducing Financial Mathematics
This book seeks to replace existing books with a more rigorous stand-alone text that covers fewer examples but with more proofs, and also provides example computer programs, mainly in Octave/MATLAB but also as spreadsheets and Macsyma scripts, with which students may experiment on real data.
Mathematical Theory of Uniformity and Its Applications in Ecology and Chaos
This book puts forward a new mathematical theory to study chaotic phenomenon. The uniform theory is established on the basis of two elementary concept of circle and externally tangent square in mathematics. The author studies the uniformity of a finite set of points distributed in space by uniform theory. This book also illustrates that uniform theory performs better than other indices such as entropy and Lyapunov exponent in chaos measurement by numerous examples. This book develops a new mathematical tool for studying chaos so it will be appealing to students and researchers interested in theory of chaos. It also has potential applications in various fields such as Engineering, Forestry and Ecology.
Synthetic Aperture Radar (Sar) Data Applications
This carefully curated volume presents an in-depth, state-of-the-art discussion on many applications of Synthetic Aperture Radar (SAR). Integrating interdisciplinary sciences, the book features novel ideas, quantitative methods, and research results, promising to advance computational practices and technologies within the academic and industrial communities. SAR applications employ diverse and often complex computational methods rooted in machine learning, estimation, statistical learning, inversion models, and empirical models. Current and emerging applications of SAR data for earth observation, object detection and recognition, change detection, navigation, and interference mitigation are highlighted. Cutting edge methods, with particular emphasis on machine learning, are included. Contemporary deep learning models in object detection and recognition in SAR imagery with corresponding feature extraction and training schemes are considered. State-of-the-art neural network architectures in SAR-aided navigation are compared and discussed further. Advanced empirical and machine learning models in retrieving land and ocean information -- wind, wave, soil conditions, among others, are also included.
Stochastic Modelling of Big Data in Finance
This book provides a rigorous overview and exploration of stochastic modelling of big data in finance (BDF). The book describes various stochastic models, including multivariate models, to deal with big data in finance. This includes data in high-frequency and algorithmic trading, specifically in limit order books (LOB).
The Spirit of Mathematics
What makes mathematics so special? Whether you have anxious memories of the subject from school, or solve quadratic equations for fun, David Acheson's book will make you look at mathematics afresh. Following on from his previous bestsellers, The Calculus Story and The Wonder Book of Geometry, here Acheson highlights the power of algebra, combining it with arithmetic and geometry to capture the spirit of mathematics. This short book encompasses an astonishing array of ideas and concepts, from number tricks and magic squares to infinite series and imaginary numbers. Acheson's enthusiasm is infectious, and, as ever, a sense of quirkiness and fun pervades the book. But it also seeks to crystallize what is special about mathematics: the delight of discovery; the importance of proof; and the joy of contemplating an elegant solution. Using only the simplest of materials, it conjures up the depth and the magic of the subject.
Time-Inconsistent Control Theory with Finance Applications
This book is devoted to problems of stochastic control and stopping that are time inconsistent in the sense that they do not admit a Bellman optimality principle. These problems are cast in a game-theoretic framework, with the focus on subgame-perfect Nash equilibrium strategies. The general theory is illustrated with a number of finance applications.In dynamic choice problems, time inconsistency is the rule rather than the exception. Indeed, as Robert H. Strotz pointed out in his seminal 1955 paper, relaxing the widely used ad hoc assumption of exponential discounting gives rise to time inconsistency. Other famous examples of time inconsistency include mean-variance portfolio choice and prospect theory in a dynamic context. For such models, the very concept of optimality becomes problematic, as the decision maker's preferences change over time in a temporally inconsistent way. In this book, a time-inconsistent problem is viewed as a non-cooperative game between the agent's currentand future selves, with the objective of finding intrapersonal equilibria in the game-theoretic sense. A range of finance applications are provided, including problems with non-exponential discounting, mean-variance objective, time-inconsistent linear quadratic regulator, probability distortion, and market equilibrium with time-inconsistent preferences. Time-Inconsistent Control Theory with Finance Applications offers the first comprehensive treatment of time-inconsistent control and stopping problems, in both continuous and discrete time, and in the context of finance applications. Intended for researchers and graduate students in the fields of finance and economics, it includes a review of the standard time-consistent results, bibliographical notes, as well as detailed examples showcasing time inconsistency problems. For the reader unacquainted with standard arbitrage theory, an appendix provides a toolbox of material needed for the book.
Ethereum Merge
After many years of anticipation, one of the most momentous breakthroughs in the evolution of cryptocurrencies has at long last taken place. Ethereum has successfully completed the process that has come to be known as the "Merge." Because of this, the amount of energy used by the second-largest bitcoin exchange in the world dropped by 98% almost immediately.If you are familiar with cryptocurrencies, you are aware that the Ethereum merge is a recent event that is a potential change that might affect the way the future unfolds for your currency. This Book FeaturesEverything you need to know about the merge.Significance of the merge and how it will impact crypto currency investors.The effects of the ethereum merge on regular users.The estimated price of ethereumThis Guide also includes simple to follow instructions on how to invest with Eth2 in NFTs, Decentralized Finance, Metaverse, Smart contracts, and Distributed Ledgers. Whether, you're a seasoned Bitcoin investor or you've been investing in Ethereum for a while, but you're still not sure if it's the right time to invest in the next generation of blockchain technology, then this book is for you!
Mathematical Olympiad in China (2019-2020)
In China, lots of excellent maths students take an active part in various maths contests and the best six senior high school students will be selected to form the IMO National Team to compete in the International Mathematical Olympiad. In the past ten years China's IMO Team has achieved outstanding results - they won the first place almost every year.The authors of this book are coaches of the China national team. They are Xiong Bin, Yao Yijun, Qu Zhenhua et al. Those who took part in the translation work are Zhao Wei and Zhou Tianyou.The materials of this book come from a series of two books (in Chinese) on Forward to IMO: A Collection of Mathematical Olympiad Problems (2019-2020). It is a collection of problems and solutions of the major mathematical competitions in China. It provides a glimpse of how the China national team is selected and formed.
Hungarian Mathematical Olympiad (1964-1997)
This book is about a famous Hungarian mathematics competition that was founded in 1894, and thus, the oldest mathematics competition for secondary school students organized on a national scale. This book is based on Volumes III and IV of the Hungarian work by J獺nos Sur獺nyi, covering the years from 1964 to 1997.Hungary, along with Russia, has a well-deserved reputation for proposing important, instructive, and interesting problems. Here, the reader will find a treasure trove of over 100 of them. The solutions are written carefully, giving all the details, and keeping in mind at all times the overall logical structures of the arguments.An outstanding feature of this book is Part II: Discussion. Here, the problems are divided by topics into six groups. It contains a discussion of the topic in general, followed by the basic results, that precedes the discussions of the individual problems. When a student encounters some difficulty in a problem, this part of the book can be consulted without revealing the complete solution. As an alternative, a student can also start with this part to familiarize with the general topic before attempting any problems. Finally, almost 400 additional problems from the legendary K繹MaL (Secondary School Mathematics and Physics Journal) takes the student to mathematical topics beyond competitions.
Mathematical Optimization Theory and Operations Research: Recent Trends
This book constitutes refereed proceedings of the 21st International Conference on Mathematical Optimization Theory and Operations Research, MOTOR 2022, held in Petrozavodsk, Russia, in July 2022. The 21 full papers and 3 short papers presented in this volume were carefully reviewed and selected from a total of 88 submissions. The papers in the volume are organised according to the following topical headings: ​invited talks; integer programming and combinatorial optimization; mathematical programming; game theory and optimal control; operational research applications.
Hungarian Mathematical Olympiad (1964-1997)
This book is about a famous Hungarian mathematics competition that was founded in 1894, and thus, the oldest mathematics competition for secondary school students organized on a national scale. This book is based on Volumes III and IV of the Hungarian work by J獺nos Sur獺nyi, covering the years from 1964 to 1997.Hungary, along with Russia, has a well-deserved reputation for proposing important, instructive, and interesting problems. Here, the reader will find a treasure trove of over 100 of them. The solutions are written carefully, giving all the details, and keeping in mind at all times the overall logical structures of the arguments.An outstanding feature of this book is Part II: Discussion. Here, the problems are divided by topics into six groups. It contains a discussion of the topic in general, followed by the basic results, that precedes the discussions of the individual problems. When a student encounters some difficulty in a problem, this part of the book can be consulted without revealing the complete solution. As an alternative, a student can also start with this part to familiarize with the general topic before attempting any problems. Finally, almost 400 additional problems from the legendary K繹MaL (Secondary School Mathematics and Physics Journal) takes the student to mathematical topics beyond competitions.
Mathematical Olympiad in China (2019-2020)
In China, lots of excellent maths students take an active part in various maths contests and the best six senior high school students will be selected to form the IMO National Team to compete in the International Mathematical Olympiad. In the past ten years China's IMO Team has achieved outstanding results - they won the first place almost every year.The authors of this book are coaches of the China national team. They are Xiong Bin, Yao Yijun, Qu Zhenhua et al. Those who took part in the translation work are Zhao Wei and Zhou Tianyou.The materials of this book come from a series of two books (in Chinese) on Forward to IMO: A Collection of Mathematical Olympiad Problems (2019-2020). It is a collection of problems and solutions of the major mathematical competitions in China. It provides a glimpse of how the China national team is selected and formed.
Normal Surface Singularities
This monograph provides a comprehensive introduction to the theory of complex normal surface singularities, with a special emphasis on connections to low-dimensional topology. In this way, it unites the analytic approach with the more recent topological one, combining their tools and methods.In the first chapters, the book sets out the foundations of the theory of normal surface singularities. This includes a comprehensive presentation of the properties of the link (as an oriented 3-manifold) and of the invariants associated with a resolution, combined with the structure and special properties of the line bundles defined on a resolution. A recurring theme is the comparison of analytic and topological invariants. For example, the Poincar矇 series of the divisorial filtration is compared to a topological zeta function associated with the resolution graph, and the sheaf cohomologies of the line bundles are compared to the Seiberg-Witten invariants of the link. Equivariant Ehrhart theory is introduced to establish surgery-additivity formulae of these invariants, as well as for the regularization procedures of multivariable series.In addition to recent research, the book also provides expositions of more classical subjects such as the classification of plane and cuspidal curves, Milnor fibrations and smoothing invariants, the local divisor class group, and the Hilbert-Samuel function. It contains a large number of examples of key families of germs: rational, elliptic, weighted homogeneous, superisolated and splice-quotient. It provides concrete computations of the topological invariants of their links (Casson(-Walker) and Seiberg-Witten invariants, Turaev torsion) and of the analytic invariants (geometric genus, Hilbert function of the divisorial filtration, and the analytic semigroup associated with the resolution). The book culminates in a discussion of the topological and analytic lattice cohomologies (as categorifications of the Seiberg-Witten invariant and of the geometric genus respectively) and of the graded roots. Several open problems and conjectures are also formulated.Normal Surface Singularities provides researchers in algebraic and differential geometry, singularity theory, complex analysis, and low-dimensional topology with an invaluable reference on this rich topic, offering a unified presentation of the major results and approaches.
Maxwell's Equations in Periodic Structures
This book addresses recent developments in mathematical analysis and computational methods for solving direct and inverse problems for Maxwell's equations in periodic structures. The fundamental importance of the fields is clear, since they are related to technology with significant applications in optics and electromagnetics. The book provides both introductory materials and in-depth discussion to the areas in diffractive optics that offer rich and challenging mathematical problems. It is also intended to convey up-to-date results to students and researchers in applied and computational mathematics, and engineering disciplines as well.
Testing statistical hypotheses using parametric tests
Seminar paper from the year 2022 in the subject Mathematics - Statistics, grade: 1,3, language: English, abstract: The pandemic has spread during the last two years dramatically. In Germany alone roughly 25,66 million confirmed cases and 137 348 confirmed Corona deaths were documented. Interestingly the highest number of confirmed cases was around 1,6 million on the 21st March of 2022 while the confirmed death counts were at 1 520 in Germany at the same day. Conversely, this means that the counted deaths are roughly 1 000 times lower than the infection levels, while the highest death count was detected at the 14th of December in 2020 with a value of 6 410 with roughly 170 00 confirmed cases. Meaning that around 27 times less deaths were confirmed in comparison to infection cases. The decrease of Corona deaths may be caused by the introduction of the Corona vaccinations. With the help of the accumulated data during the pandemic, the effect of the vaccination can be tested against the hospitalization values of Corona patients with statistical tests (Robert-Koch Institut, 2022). The test does indirectly adress the issue towards the decreasing Corona deaths with increasing infection cases. The increasing value of confirmed cases clearly shows, that the vaccination does not inhibit the infection, but somehow may have an weakening effect on the course of the disease. The approach mainly focus on different vaccination status and age groups of hospitalized Corona patients in Germany. Not included are factors like the Corona variation and the specific vaccines. Statistical tests to address such questions are parametric tests, which are powerful tools to evaluate data following a normal distribution. Within the assignment, two parametric tests are presented (pearson correlation coefficient and one-way ANOVA), while the one-way ANOVA was chosen to adress the question of interest desribed above. The results of the analysis indicate significant differences between hopsitalize
Introduction to System Reliability Theory
This textbook provides the tools for a modern post-graduate introductory course on system reliability theory. It focuses on probabilistic aspects of the theory, including recent results based on signatures, stochastic orders, aging classes, copulas and distortion (or aggregation) functions. The reader requires on an introductory knowledge on probability theory and mathematics. The book serves both for graduate students in mathematics and for engineering students in various disciplines as well as students learning survival analysis, network reliability or simple game theory. Included also are brief introductions to the basic aspects of lifetime modelling, stochastic comparisons, aging classes, mixtures and copula theory. The book develops this knowledge with worked examples and supplies code for the program R so that students can explore its lessons and techniques.
Fast Track to Differential Equations
The second edition of this successful textbook includes a significantly extended chapter on Climate Change with an analysis of the CO2 budget. It also contains a completely new part on Epidemiology, treating the SEIR-model which describes the behavior and dynamics of epidemics. In particular, COVID-19 with actual data is discussed. This compact introduction to ordinary differential equations and their applications is aimed at anyone who in their studies is confronted voluntarily or involuntarily with this versatile subject. Numerous applications from physics, technology, biomathematics, cosmology, economy and optimization theory are given. Abstract proofs and unnecessary formalism are avoided as far as possible. The focus is on modelling ordinary differential equations of the first and second orders as well as their analytical and numerical solution methods, in which the theory is dealt with briefly before moving on to application examples. In addition, program codes show exemplarily how even more challenging questions can be tackled and represented meaningfully with the help of a computer algebra system. The first chapter deals with the necessary prior knowledge of integral and differential calculus. 103 motivating exercises together with their solutions round off the work. "I am happy to see such a book. It will serve as a support for many students, professors and faculty." Dr. Alessio Figalli, Professor at the ETH Z羹rich and Fields medalist 2018
Quasi-Linear Theory for Surface Wave-Current Interactions
This book introduces a mathematical theory for the interaction of oceanic surface gravity waves and oceanic currents. This theory is formulated using the quasi-linear approximation for a uniform density fluid with a free surface and it provides wave-averaged expressions for the wave amplitudes and for the dynamical evolution of the currents. The surface gravity wave-current interaction theory is a more complete theory than previous with respect to an asymptotic expansion in the small parameter V/C, where V is a current speed and C is a wave speed. This book also illustrates the formal theory with several examples, and the path for its implementation in more realistic wave and circulation models is envisioned. This book is appealing to oceanic research scientists and mathematicians interested in geophysical fluid dynamics.
