This book explores new trends and developments in mathematics education research related to proof and proving, the implications of these trends and developments for theory and practice, and directions for future research. With contributions from researchers working in twelve different countries, the book brings also an international perspective to the discussion and debate of the state of the art in this important area. The book is organized around the following four themes, which reflect the breadth of issues addressed in the book: • Theme 1: Epistemological issues related to proof and proving; • Theme 2: Classroom-based issues related to proof and proving; • Theme 3: Cognitive and curricular issues related to proof and proving; and • Theme 4: Issues related to the use of examples in proof and proving. Under each theme there are four main chapters and a concluding chapter offering a commentary on the theme overall.

This field-spanning book will set out the broad advances in knowledge which have accumulated in the 21st century through the sustained exchange of ideas and collaboration between mathematics education researchers, considering both european and global perspectives. It is split in to three main sections focusing on content domains and processes, aspects of mathematics teaching and learning, and linguistic and social perspectives, and concludes with two lively international discussion chapters. Each section will include coverage of recent developments, current status and future outlook of global research making this book a fascintaing compendium of state of the art mathematical knowledge.

Advances in Mathematics Research presents original studies on the leading edge of mathematics. Each article has been carefully selected in an attempt to present substantial research results across a broad spectrum. Topics discussed include using mathematical tessellation to model spherical particle packing structures; further results on fractional calculus for non-differentiable functions applications to z-transform and generalized functions; low earth orbit satellite constellations for local telecommunication and monitoring services; algorithm for autonomously calibrating reference flat of interferometer and residual influence of linear shift with two-flat method; dealing with non-significant interactions statuses between treatments by a suggested statistical approach; stochastic simultaneous perturbation as powerful method for state and parameter estimation in high dimensional systems; bounded trajectories of unstable piecewise linear systems and its applications; mathematical modeling for predicting battery lifetime through electrical models; and mathematical modeling of the lithium-ion battery lifetime using system identification theory.

The governing equations of mathematical, chemical, biological, mechanical and economical models are often nonlinear and too complex to be solved analytically. Perturbation theory provides effective tools for obtaining approximate analytical solutions to a wide variety of such nonlinear problems, which may include differential or difference equations. In this book, we aim to present the recent developments and applications of the perturbation theory for treating problems in applied mathematics, physics and engineering. The eight chapters cover a variety of topics related to perturbation methods. The book is intended to draw attention of researchers and scientist in academia and industry.

Fault detection, control, and forecasting have a vital role in renewable energy systems (Photovoltaics (PV) and wind turbines (WTs)) to improve their productivity, ef?ciency, and safety, and to avoid expensive maintenance. For instance, the main crucial and challenging issue in solar and wind energy production is the volatility of intermittent power generation due mainly to weather conditions. This fact usually limits the integration of PV systems and WTs into the power grid. Hence, accurately forecasting power generation in PV and WTs is of great importance for daily/hourly efficient management of power grid production, delivery, and storage, as well as for decision-making on the energy market. Also, accurate and prompt fault detection and diagnosis strategies are required to improve efficiencies of renewable energy systems, avoid the high cost of maintenance, and reduce risks of fire hazards, which could affect both personnel and installed equipment. This book intends to provide the reader with advanced statistical modeling, forecasting, and fault detection techniques in renewable energy systems.

In real-world problems related to finance, business, and management, mathematicians and economists frequently encounter optimization problems. In this classic book, George Dantzig looks at a wealth of examples and develops linear programming methods for their solutions. He begins by introducing the basic theory of linear inequalities and describes the powerful simplex method used to solve them. Treatments of the price concept, the transportation problem, and matrix methods are also given, and key mathematical concepts such as the properties of convex sets and linear vector spaces are covered. George Dantzig is properly acclaimed as the "father of linear programming." Linear programming is a mathematical technique used to optimize a situation. It can be used to minimize traffic congestion or to maximize the scheduling of airline flights. He formulated its basic theoretical model and discovered its underlying computational algorithm, the "simplex method," in a pathbreaking memorandum published by the United States Air Force in early 1948. Linear Programming and Extensions provides an extraordinary account of the subsequent development of his subject, including research in mathematical theory, computation, economic analysis, and applications to industrial problems. Dantzig first achieved success as a statistics graduate student at the University of California, Berkeley. One day he arrived for a class after it had begun, and assumed the two problems on the board were assigned for homework. When he handed in the solutions, he apologized to his professor, Jerzy Neyman, for their being late but explained that he had found the problems harder than usual. About six weeks later, Neyman excitedly told Dantzig, "I've just written an introduction to one of your papers. Read it so I can send it out right away for publication." Dantzig had no idea what he was talking about. He later learned that the "homework" problems had in fact been two famous unsolved problems in statistics.

This book deals with nonsmooth structures arising within the optimization setting. It considers four optimization problems, namely, mathematical programs with complementarity constraints, general semi-infinite programming problems, mathematical programs with vanishing constraints and bilevel optimization. The author uses the topological approach and topological invariants of corresponding feasible sets are investigated. Moreover, the critical point theory in the sense of Morse is presented and parametric and stability issues are considered. The material progresses systematically and establishes a comprehensive theory for a rather broad class of optimization problems tailored to their particular type of nonsmoothness. Topological Aspects of Nonsmooth Optimization will benefit researchers and graduate students in applied mathematics, especially those working in optimization theory, nonsmooth analysis, algebraic topology and singularity theory. ​ ​