Recent zbMATH articles in MSC 00https://zbmath.org/atom/cc/002023-11-13T18:48:18.785376ZUnknown authorWerkzeugIntroduction to mathematics. Number, space, and structurehttps://zbmath.org/1521.000012023-11-13T18:48:18.785376Z"Taylor, Scott A."https://zbmath.org/authors/?q=ai:taylor.scott-aPublisher's description: This textbook is designed for an Introduction to Proofs course organized around the themes of number and space. Concepts are illustrated using both geometric and number examples, while frequent analogies and applications help build intuition and context in the humanities, arts, and sciences. Sophisticated mathematical ideas are introduced early and then revisited several times in a spiral structure, allowing students to progressively develop rigorous thinking. Throughout, the presentation is enlivened with whimsical illustrations, apt quotations, and glimpses of mathematical history and culture.
Early chapters integrate an introduction to sets, logic, and beginning proof techniques with a first exposure to more advanced mathematical structures. The middle chapters focus on equivalence relations, functions, and induction. Carefully chosen examples elucidate familiar topics, such as natural and rational numbers and angle measurements, as well as new mathematics, such as modular arithmetic and beginning graph theory. The book concludes with a thorough exploration of the cardinalities of finite and infinite sets and, in two optional chapters, brings all the topics together by constructing the real numbers and other complete metric spaces.
Designed to foster the mental flexibility and rigorous thinking needed for advanced mathematics, Introduction to Mathematics suits either a lecture-based or flipped classroom. A year of mathematics, statistics, or computer science at the university level is assumed, but the main prerequisite is the willingness to engage in a new challenge.Mathematical methods of physics. Applications and theory of functions, distributions and tensorshttps://zbmath.org/1521.000022023-11-13T18:48:18.785376Z"Karbach, Michael"https://zbmath.org/authors/?q=ai:karbach.michaelPublisher's description: Sowohl im Studium als auch in der täglichen Arbeit benötigt der Physiker eine Vielzahl mathematischer Methoden, die über die Methoden aus den Grundvorlesungen der Analysis und linearen Algebra hinausgehen. Das vorliegende Buch baut auf diesen Vorlesungen auf und stellt die grundlegenden und jeweils einführenden Themen aus der Funktionentheorie, der Funktionalanalysis, der Theorie orthogonaler Funktionen, der Fouriertheorie, der Tensorrechnung und der Distributionen dar.
Bei der sehr kompakten Darstellung des Stoffes wurde darauf geachtet, eine einheitliche und gebräuchliche Notation über die verschiedenen Gebiete der Mathematik und Physik hinweg zu verwenden. Besonders wurde auf eine anschauliche Präsentation des Stoffes Wert gelegt, was zum einen durch zahlreiche erklärende farbige Grafiken und zum anderen durch viele praxisrelevante Beispiele und Aufgaben mit Lösungen erreicht wurde.
\begin{itemize}
\item Geschlossene und kompakte Darstellung von elementaren mathematischen Methoden der Physik.
\item Viele anschauliche Beispiele und Aufgaben mit Lösungen im Text integriert, sowie zusätzliche Aufgaben.
\item Zahlreiche komplexe und farbige Plots als Source-Code (MatLab) online frei verfügbar
\end{itemize}
For the 1st edition see [Zbl 1364.00008].Mathematics as metaphor. Selected essays. Translated from the English by Claire Vajou. With a preface by Freeman J. Dyson. With an afterword by Pierre Lochakhttps://zbmath.org/1521.000032023-11-13T18:48:18.785376Z"Manin, Yuri I."https://zbmath.org/authors/?q=ai:manin.yurii-ivanovichPublisher's description: Les Mathématiques comme Métaphore est, au même titre que La Science et l'Hypothèse de Poincaré, un témoignage accessible et rigoureux de la beauté mathématique. Sa première partie constitue une méditation sur l'expérience intime de la pensée algébrique, la vocation d'un chercheur et la fonction sociale de la science. Yuri Manin y livre les clefs de son propre destin en dévoilant les mathématiques comme une métaphore de l'existence. Dans sa seconde partie, l'ouvrage aborde l'épineuse et récurrente question des relations entre constructions mathématiques, spéculations physiques et algorithmes informatiques. Refusant les positions unilatérales, la réflexion s'installe dans un va-et-vient connectant motifs et figures, évoquant en particulier celle d'Alexandre Grothendieck. Exposant les puissances de l'autre hémisphère du cerveau, la troisième partie élabore une série de conjectures sur le Trickster, les mythes, le langage, la poésie, etc. Celles-ci complètent les analyses précédentes et s'y réverbèrent. Traversé par le fantôme de la dialectique, Les Mathématiques comme Métaphore offre une magistrale leçon de philosophie mathématique pour non-mathématiciens.
Cette édition réunit les textes traduits en anglais, une sélection complémentaire issue de l'édition russe, des textes postérieurs choisis par l'auteur ainsi qu'une postface inédite de Pierre Lochak.
See the review of the original English edition in [Zbl 1172.00003].F things you (probably) didn't know about hexadecimalhttps://zbmath.org/1521.000042023-11-13T18:48:18.785376Z"Strickland, Lloyd"https://zbmath.org/authors/?q=ai:strickland.lloyd"Jones, Owain Daniel"https://zbmath.org/authors/?q=ai:jones.owain-daniel(no abstract)Book review of: E. Giusti (ed.) and P. d'Alessandro (ed.), Leonardi Bigolli Pisani vulgo Fibonacci. \textit{Liber abbaci}https://zbmath.org/1521.000052023-11-13T18:48:18.785376Z"Folkerts, Menso"https://zbmath.org/authors/?q=ai:folkerts.mensoThe \textit{Liber abaci} (Book of calculation) is a treasure written by Leonardo of Pisa in 1202 and revised by him in 1228. It consists of fifteen chapters, some of them very long, and represents one of the most extensive mathematical works written in Latin in the Middle Ages. Nineteen manuscripts of the \textit{Liber abaci} are known, nine of them contain essentially the entire work and the remaining ten only the last chapters (or parts thereof). In addition, there is one privately owned manuscript but its current location is unknown. Only since 1857 a printed edition has been existing, published by Baldassare Boncompagni, but it is based only on a single manuscript. This edition is faithful to the manuscript, unfortunately also in terms of its mistakes. In 2002, an English translation by L. E. Sigler was published posthumously [Fibonacci's \textit{Liber abaci}. A translation into modern English of Leonardo Pisano's Book of calculation. New York, NY: Springer (2002; Zbl 1032.01046)]. However, this translation is based on Boncompagni's edition.
A new edition of this important Latin text, that takes into account all known manuscripts, has long been desired. Now such an edition [Zbl 1457.01028] is available thanks to Enrico Giusti, a mathematician with broad experience in the history of medieval and early modern mathematics, and Paolo d'Alessandro, philologist and linguist. Both editors have gone through all accessible manuscripts of the \textit{Liber abaci} and collated the most important ones. They chose six manuscripts for Chapters 1--11, five for Chapter 12 and six for Chapters 13--15. Thus, they succeeded in providing a reliable edition of this central mathematical work that can be used as a basis for further research on mathematics in the Western Middle Ages and Renaissance.
Reviewer: Marita Blankenhagel (Berlin)Science, music, and mathematics. The deepest connectionshttps://zbmath.org/1521.000062023-11-13T18:48:18.785376Z"McIntyre, Michael Edgeworth"https://zbmath.org/authors/?q=ai:mcintyre.michael-edgeworthPublisher's description: Professor Michael Edgeworth McIntyre is an eminent scientist who has also had a part-time career as a musician. In this book he offers an extraordinary synthesis, revealing the many deep connections between science, music, and mathematics. He avoids equations and technical jargon. The connections are deep in the sense of being embedded in our very nature, rooted in biological evolution over hundreds of millions of years.
Michael guides us through biological evolution, perception psychology, and even unconscious science and mathematics, all the way to the scientific uncertainties about the climate crisis.
He also has a message of hope for the future. Contrary to popular belief, he holds that biological evolution has given us not only the nastiest, but also the most compassionate and cooperative parts of human nature. This insight comes from recognizing that biological evolution is far more than a simple competition between selfish genes. Instead, he argues, in some ways it is more like the turbulent, eddying flow in a river or in an atmospheric jet stream, a complex process spanning a vast range of timescales.
Professor McIntyre is a Fellow of the Royal Society of London (FRS) and has long been interested in how different branches of science can better communicate with each other, and with the public. His work harnesses aspects of neuroscience and psychology that point toward the deep `lucidity principles' that underlie skilful communication, principles related to the way music works -- music of any genre.
This Second Edition sharpens the previous discussion of communication skills and their importance for today's great problems, ranging from the widely discussed climate crisis to the need to understand the strengths and weaknesses of artificial intelligence.
See the review of the first edition in [Zbl 1519.00010].Listen2intuition: a mathematics \& arts exhibition projecthttps://zbmath.org/1521.000072023-11-13T18:48:18.785376Z"Baur, Karin"https://zbmath.org/authors/?q=ai:baur.karin"Fellner, Klemens"https://zbmath.org/authors/?q=ai:fellner.klemens"Friebel, Tamara"https://zbmath.org/authors/?q=ai:friebel.tamaraSummary: Having the right intuition and working hard is common to both the arts and the sciences. The high abstraction levels of mathematics, especially, seem to require an extra amount of intuitive guidance.
Listen2Intuition is a Mathematics \& Arts exhibition project, which bridges disciplines by associative thinking, and aims to promote multidisciplinarity on an eye-to-eye level. For several years two mathematicians and an artist ``listen'' to each other across disciplines, generating artworks, compositions as well as new mathematical research.Variational principles in physicshttps://zbmath.org/1521.000082023-11-13T18:48:18.785376Z"Basdevant, Jean-Louis"https://zbmath.org/authors/?q=ai:basdevant.jean-louisPublisher's description: This revised and enhanced new edition of a well-established textbook provides a balanced overview of various areas of theoretical physics based on the use of variational principles. As well as field theory, the book deals with motion in curved spaces, the cradle of general relativity, and gravitational optics. New chapters on the relation of classical mechanics and geometrical optics as well as gravitational waves, which are considered as a true confirmation of general relativity, have been included. Each chapter has been carefully revised and enlarged. Finally, the text describes Feynman's formulation of quantum mechanics by path integrals, which gives the link between quantum and classical mechanics.
The book provides a set of exercises, problems, and solutions.
See the review of the first edition in [Zbl 1149.49037].Mini-workshop: Subvarieties in projective spaces and their projections. Abstracts from the mini-workshop held November 27 -- December 3, 2022https://zbmath.org/1521.000092023-11-13T18:48:18.785376ZSummary: The major goals of this workshop are to lay paths for a systematic study of geproci (and related, e.g., projecting to almost complete intersections or full intersections) sets of points in projective spaces, study algebraic properties of their ideals (e.g. in the spirit of the Cayley-Bacharach properties), and to identify the most promising new directions for study.Enumerative combinatorics. Abstracts from the workshop held December 11--17, 2022https://zbmath.org/1521.000102023-11-13T18:48:18.785376ZSummary: Enumerative Combinatorics focuses on the exact and asymptotic counting of combinatorial objects. It has fruitful connections to several disciplines, including statistical physics, algebraic combinatorics, probability theory, graph theory and computer science. This workshop brought together experts from all these various fields with the goal of promoting cooperation and interaction among researchers with largely varying backgrounds. It was the third workshop on this topic (the first two editions dating back to 2014 and 2018) and this time the main focus was on interactions with algebraic combinatorics.Mini-workshop: Quantization of complex symplectic varieties. Abstracts from the mini-workshop held October 2--8, 2022https://zbmath.org/1521.000112023-11-13T18:48:18.785376ZSummary: The mini-workshop featured two main series of lectures: \textit{Functoriality in non-abelian Hodge theory} by Tony Pantev, and \textit{Quantization of the Hitchin system and the analytic Langlands program} by Jörg Teschner. In addition, four senior mathematicians and physicists gave two talks each on their recent mysterious discoveries related to the theme of the workshop. Three junior mathematicians also gave a talk based on their fresh results. All talks by mathematicians and physicists were coordinated to form a common ground of understanding. The smallness of the size of workshop promoted deeper discussions and helped to create friendly and inclusive atmosphere.Mini-workshop: Topological and differential expansions of o-minimal structures. Abstracts from the mini-workshop held November 27 -- December 3, 2022https://zbmath.org/1521.000122023-11-13T18:48:18.785376ZSummary: The workshop brought together researchers with expertise in areas of mathematics where model theory has had interesting applications. The areas of expertise spanned from expansions of o-minimal structures preserving tame geometric properties to expansions of specified fields by classical operators that preserve neo-stability properties. There were presentations and discussions on recent developments in definable groups and decompositions in relatively tame setups, the interplay of different notions of dimension and closure operators, and applications of the model theory of differential fields to diophantine geometry.History of mathematics through collaboration: toward a composite portrait of Oswald Veblen. Abstracts from the workshop held December 4--10, 2022https://zbmath.org/1521.000132023-11-13T18:48:18.785376ZSummary: Oswald Veblen played a pivotal role in the history of American mathematics in the twentieth century. His life, however, remains largely unstudied. This conference was designed to redress this issue by exploring Oswald Veblen and his contributions to the history of American and international mathematics in an interactive workshop that used the Veblen Papers from the US Library of Congress as a foundational and shared resource. With this frame, the conference raised queries and discussed issues related to Veblen, his mathematical contributions, and his collaborative initiatives, including his critical work aiding refugee mathematicians in WWII that helped establish long standing programs at American institutions that continue to advance mathematics at the highest level. The workshop echoed Veblen's collaborative focus and brought together historians of mathematics and mathematicians to work alongside one another during the conference. This content and collaborative approach combined to advance our understanding of Veblen's collaborations and the history of twentieth-century mathematics more broadly.Algebraic structures in statistical methodology. Abstracts from the workshop held December 4--10, 2022https://zbmath.org/1521.000142023-11-13T18:48:18.785376ZSummary: Algebraic structures arise naturally in a broad variety of statistical problems, and numerous fruitful connections have been made between algebra and discrete mathematics and research on statistical methodology. The workshop took up this theme with a particular focus on algebraic approaches to graphical models, causality, axiomatic systems for independence and non-parametric models.Mini-workshop: Zero-range and point-like singular perturbations: for a spillover to analysis, PDE and differential geometry. Abstracts from the mini-workshop held October 2--8, 2022https://zbmath.org/1521.000152023-11-13T18:48:18.785376ZSummary: The field of contact interactions and perturbations of differential operators supported on subsets with non-trivial co-dimension is an increasingly active mainstream of mathematical physics (in particular, operator and spectral theory and quantum mechanics), with intimately related applications and mathematical challenges in partial differential equations, and neighbouring sectors of analysis, PDEs, and differential geometry. This Mini-Workshop fostered intense and prolific discussions on recent advances and trends in the field.Mathematical advances in geophysical fluid dynamics. Abstracts from the workshop held November 13--19, 2022https://zbmath.org/1521.000162023-11-13T18:48:18.785376ZSummary: The workshop ``Mathematical Advances in Geophysical Fluid Dynamics'' addressed recent advances in modeling, analytical, computational and stochastical studies of geophysical flows. Of particular interest were contributions concerning modeling and analysis of sea ice models, well-posedness results for the primitive equations and boundary layers, stratified flows and models for moist atmospheric dynamics including phase transitions.Working session: Quantitative stochastic homogenization. Abstracts from the working session held October 16--22, 2022https://zbmath.org/1521.000172023-11-13T18:48:18.785376ZSummary: Homogenization means approximating the effective, i. e. macroscopic, behavior of a heterogeneous medium by a homogeneous one, which amounts to a substantial conceptual and practical reduction of complexity. Stochastic homogenization means that one is considering an ensemble of, i. e. a probability measure on, such heterogeneities (typically expressing a lack of knowledge of the details); and that the effective behavior is also deterministic next to being homogeneous. The aim of this Arbeitsgemeinschaft is to present the recent progress in this field.Heat kernels, stochastic processes and functional inequalities. Abstracts from the workshop held October 30 -- November 5, 2022https://zbmath.org/1521.000182023-11-13T18:48:18.785376ZSummary: The workshop provided a forum for recent progress on a wide array of topics at the nexus of Analysis (elliptic, subelliptic and parabolic differential equations), Geometry (Riemannian and sub-Riemannian geometries, metric measure spaces, geometric analysis and curvature), and Probability Theory (Brownian motion, Dirichlet spaces, stochastic calculus and random media). The workshop provides a unique opportunity to encourage and foster interactions between mathematicians who share some common interests but might use different research tools or work in different mathematical settings.Working session: Higher rank Teichmüller theory. Abstracts from the working session held October 9--14, 2022https://zbmath.org/1521.000192023-11-13T18:48:18.785376ZSummary: Higher rank Teichmüuller theory is the study of certain connected components of character varieties of surface groups in higher rank semisimple Lie groups, with the property that all elements in these components correspond to faithful representations with discrete image. Like classical Teichmüller theory, this relatively recent theory is very rich and builds on a combination of methods from various areas of mathematics. Its many facets were explored in detail during the Arbeitsgemeinschaft.Mini-workshop: A geometric fairytale full of spectral gaps and random fruit. Abstracts from the mini-workshop held November 27 -- December 3, 2022https://zbmath.org/1521.000202023-11-13T18:48:18.785376ZSummary: In many situations, most prominently in quantum mechanics, it is important to understand well the eigenvalues and associated eigenfunctions of certain self-adjoint differential operators. The goal of this workshop was to study the strong link between spectral properties of such operators and the underlying geometry which might be randomly generated. By combining ideas and methods from spectral geometry and probability theory, we hope to stimulate new research including important topics such as Bose-Einstein condensation in random environments.Mini-workshop: Mathematical foundations of robust and generalizable learning. Abstracts from the mini-workshop held October 2--8, 2022https://zbmath.org/1521.000212023-11-13T18:48:18.785376ZSummary: Machine learning has become an highly active field of research, but its mathematical underpinnings are still hardly understood. This workshop identified key challenges, and it discussed potential solutions. Bringing together a diverse group of researchers, the workshop established different views on the topic based on notions from statistics, probability theory, and optimization.Analytic number theory. Abstracts from the workshop held November 6--12, 2022https://zbmath.org/1521.000222023-11-13T18:48:18.785376ZSummary: Analytic number theory is a subject central to modern mathematics. There are many important unsolved problems which have stimulated a large amount of activity by many talented researchers. At least two of the Millennium Problems can be considered to be in this area. Moreover in recent years there has been very substantial progress on a number of these questions.Edfitorial: Special issue on functional data analysis and related fieldshttps://zbmath.org/1521.000232023-11-13T18:48:18.785376ZFrom the text: This Special Issue is at the crossing between the long years efforts made by the organizers of the International Workshops on Functional and Operatorial Statistics (IWFOS) to promote advances in Functional Data Analysis and those made by the Journal of Multivariate Analysis (JMVA) to publish top contributions in this area. Precisely, the idea of this Special Issue grew up with the organization of the Fifth Edition of IWFOS that was initially scheduled to held in Brno in June 2020 but postponed for pandemic reasons to June 23--25, 2021 and organized online. In the same spirit as the recent Special Issues on FDA published in JMVA (see volumes 146 and 170), this Issue has been opened to a few related fields whose developments are deeply linked with those in FDA such as High-Dimensional Statistics and Complex Data Analysis. Also, this Special Issue has been opened far away from IWFOS-2020-2021 program to contain finally contributions from most of the world leading groups in FDA.Editorialhttps://zbmath.org/1521.000242023-11-13T18:48:18.785376ZFrom the text: Due to the recent developments in the field of multivariate and high-dimensional statistics, we decided to prepare a special issue devoted to different aspects of theoretical and applied statistics. The papers cover topics such as convergence of argmin-sets in convex M-estimation, prediction error analysis of principal component regression in high dimensions, matrix variate generalized asymmetric Laplace distributions, graphical posterior predictive classification using Bayesian model averaging, reverse stress testing in skew-elliptical models, and a unified testing methodology for high-dimensional data.Editorialhttps://zbmath.org/1521.000252023-11-13T18:48:18.785376ZFrom the text: This Special Issue of The Econometrics Journal collects a subset of papers from the 21st meeting of (EC)\(^2\) (European Conferences of the Econom(etr)ics Community in Econometrics and Quantitative Economics) held on the campus of the Toulouse School of Economics on December 17--18, 2010. The theme of the conference was `Identification in Econometrics, Theory and Applications'.Special issue: International colloquium Recent advances of quantitative models in computer science (RAQM 2021). Prefacehttps://zbmath.org/1521.000262023-11-13T18:48:18.785376ZFrom the text: This special issue in IJFCS is devoted to the International Colloquium Recent Advances of Quantitative Models in Computer Science.Introductionhttps://zbmath.org/1521.000272023-11-13T18:48:18.785376ZFrom the text: This Special Issue originates from a Special Session on ``Magnetohydrodynamics: Mathematical Problems and Astrophysical Applications'' that was held in the framework of the ``8th AIMS International Conference on Dynamical Systems, Differential Equations and Applications'' at Dresden University of Technology from 25 to 28 May 2010. The Special Issue papers are elaborated and updated versions of several of the review talks.Editorial. Royal Economic Society annual conference 2014 special issue on large dimensional modelshttps://zbmath.org/1521.000282023-11-13T18:48:18.785376ZFrom the text: The papers in this Special Issue on Large Dimensional Models arise out of the invited presentations given in \textit{The Econometrics Journal} Special Session on this topic at the Royal Economic Society Annual Conference held 7--9 April 2014 at the University of Manchester.Editorial. Royal Economic Society annual conference 2012 special issue on econometrics of forecastinghttps://zbmath.org/1521.000292023-11-13T18:48:18.785376ZFrom the text: The papers in this Special Issue on Econometrics of Forecasting arise out of the invited presentations given in \textit{The Econometrics Journal} Special Session on this topic at the Royal Economic Society Annual Conference held 26--28 March 2012 at the University of Surrey.Royal Economic Society annual conference 2013. Special issue on econometrics of heterogeneityhttps://zbmath.org/1521.000302023-11-13T18:48:18.785376ZFrom the text: The papers in this Special Issue on Econometrics of Heterogeneity arise out of the invited presentations given in \textit{The Econometrics Journal} Special Session on this topic at the Royal Economic Society Annual Conference held 3--5 April 2013 at Royal Holloway University of London.Editorial: Special issue in honour of Professor Graeme Hockinghttps://zbmath.org/1521.000312023-11-13T18:48:18.785376ZFrom the text: This issue of the journal is dedicated to Professor Graeme Hocking of Murdoch University.
This special issue contains nine research papers which reflect various aspects of Graeme's interests.Editorialhttps://zbmath.org/1521.000322023-11-13T18:48:18.785376ZFrom the text: This Special Issue of The Econometrics Journal celebrates the work and contributions of Joel L. Horowitz. Most of these papers were presented at a Conference in Honour of Joel's 70th birthday held in June 2011 at University College London. Joel has made influential contributions to many areas in econometrics and statistics. These include bootstrap methods, semi-parametric and non-parametric estimation, specification testing, non-parametric instrumental variables, estimation of high-dimensional models, and functional data analysis, among others. The six papers that appear in this Special Issue are related to the topics of Joel's past and present research interests.Another look at the two Egyptian pyramid volume `formulas' of 1850 BCEhttps://zbmath.org/1521.010022023-11-13T18:48:18.785376Z"Siegmund-Schultze, Reinhard"https://zbmath.org/authors/?q=ai:siegmund-schultze.reinhardAuthor's abstract: ``This paper provides some methodological, didactical, and historiographical reflections on Egyptian pyramid volume formulas, responding to suggestions by \textit{P. M. E. Shutler} [Int. J. Math. Educ. Sci. Technol. 40, No. 3, 341--352 (2009; \url{doi:10.1080/00207390802641692})]. These suggestions partly reiterate a historically documented proof by the Chinese Liu Hui (third century CE), although Lui Hui's contribution was apparently unknown to Shutler. The latter came forward, in addition, with intuitive arguments which might have been used by the Egyptians to convince themselves of the correctness of their formula for the volume of the full pyramid. In a broad sense, the reflections in this paper may contribute to the use of history in the mathematical classroom. As a cautionary note: The paper is an abridged version of a longer manuscript that contains detailed explanations and discussions of historical secondary sources. Since the paper is somewhat outside the usual canon of mathematics historiography, I have deposited the longer manuscript on [``Intuitive, didactically useful, and historically possible proofs for the two Egyptian pyramid volume formulas (1850 BCE). Thoughts on the border between history and didactics of mathematics'', Preprint, \url{arXiv:2207.04427}].''
Reviewer's comments: The author has established in full his intentions as summarized in his summary. It was a pleasure to read in the paper that dealed with questions of volume calculations/determinations arising of about four thousand years ago.
As to recovering methods of measurements in classical and pre-classical historic times, the paper of \textit{W. M. F. Greenhill} [``How Plato designed Atlantis'', Symmetry Art Sci. 13, No. 1--4, 163--202 (2002)] might also give rise to new ideas and interpretations; let us say, who knows?
Anyway, the author of the paper under review did produce a welcome addition to older (but even more important) recent literature. Highly recommended!
Reviewer: Robert W. van der Waall (Huizen)Where do axioms come from?https://zbmath.org/1521.030062023-11-13T18:48:18.785376Z"Smoryński, Craig"https://zbmath.org/authors/?q=ai:smorynski.craigThe structure of this brief and dense chapter may be defined by means of the concept introduced by Moritz Pasch in order to extend the Euclidean geometry: betweenness. I am playing with the meaning of a word. I hope that the reader will understand, at the end of this review, the quite naive game that I am suggesting. Let's see why. At the beginning of this work, a question and a problem are raised with lucidity: ``The Greek view, held by Frege, is that one chooses evident truths about some subject as axioms and generates additional truths through logical reasoning. Hilbert more-or-less states that one chooses axioms arbitrarily and, should they be consistent, they are true about something (and so too are the theorems derived from them [\dots] but not all axiom systems are equal and some theories are deemed more significant and worthy of our attention than others (p.185). It is not enough for mathematics to choose axioms because of their self-evident truth. In fact, truth and evidence are elusive and must be handled with delicacy. Hence ``axioms may be chosen for a number of reasons'' (p.191). The core of the opus consists in describing these reasons: Truth (p.186); Necessity (pp.186--1879; Proof-Generation (pp.187--188); Convenience (p.188); System-Refinement (pp.188--189); Analogy (p.190); Pure Formalism (p.190). At the end the conclusion is subtle and may be divided into two parts: (1) ``I am now inclined to believe that one genuinely does have a complete freedom in choosing a set of axioms to study'' and (2) ``but I also believe that one should be aware that the significance of the set chosen is guaranteed by what it does, most obviously measured by its connections with the rest of mathematics'' (p.191). Between evident axioms and arbitrary axioms lies the realm of mathematical thought. And the marvel of mathematics appears in the fact that its validity consists in establishing new relations within its own domain.
For the entire collection see [Zbl 1497.03004].
Reviewer: Godofredo Tomas Iommi Amunátegui (Valparaíso)Meyer's relevant arithmetic: introduction to the special issuehttps://zbmath.org/1521.030072023-11-13T18:48:18.785376Z"Ferguson, Thomas Macaulay"https://zbmath.org/authors/?q=ai:ferguson.thomas-macaulay"Priest, Graham"https://zbmath.org/authors/?q=ai:priest.grahamSummary: We make some introductory remarks to set the stage for the presentissue on Robert Meyer's program of relevant arithmetic.Modeling bacterial traveling wave patterns with exact cross-diffusion and population growthhttps://zbmath.org/1521.350712023-11-13T18:48:18.785376Z"Kim, Yong-Jung"https://zbmath.org/authors/?q=ai:kim.yongjung"Yoon, Changwook"https://zbmath.org/authors/?q=ai:yoon.changwookSummary: Keller-Segel equations are widely employed to explain chemotaxis-induced bacterial traveling band phenomena. In this system, the dispersal of bacteria is modeled by independently given diffusion and advection terms, and the growth of cell population is neglected. In the paper, we develop a chemotaxis model which consists of cross-diffusion and population growth. In particular, we consider the case that the diffusion and advection terms form an exact cross-diffusion. The developed mathematical models are based on the conversion dynamics between active and inactive cells with different dispersal rates. The process consists of three steps and the performance of each step is complemented by comparing numerical simulations and experimental data.Approximation theory, sequence spaces and applicationshttps://zbmath.org/1521.410012023-11-13T18:48:18.785376ZPublisher's description: This book publishes original research chapters on the theory of approximation by positive linear operators as well as theory of sequence spaces and illustrates their applications. Chapters are original and contributed by active researchers in the field of approximation theory and sequence spaces. Each chapter describes the problem of current importance and summarizes ways of their solution and possible applications which improve the current understanding pertaining to sequence spaces and approximation theory. The presentation of the articles is clear and self-contained throughout the book.
The articles of this volume will be reviewed individually.Applied integral equations. Theory and techniqueshttps://zbmath.org/1521.450012023-11-13T18:48:18.785376Z"Meher, Ramakanta"https://zbmath.org/authors/?q=ai:meher.ramakantaThis book has been designed as a textbook to study methods for finding explicit solutions of integral equations. The work is based on author's experience of syllabi of the theory of integral equations for undergraduates and postgraduates in various institutions, especially in India. There are seven chapters: an introduction and classification, a discussion of existence and uniqueness of solutions, a discussion of Fredholm-type equations, remarks on some equations illustrating applications of Fredholm equations, some ideas about Hilbert-Schmidt theory and symmetric kernels, the Fredholm alternative and Picard's method, various approximation methods (including collocation methods, least squares methods and approximation of the kernel). The author takes an informal approach which will be unfamiliar to many readers. Ideas are introduced and discussed without precise definitions, and methods are presented more to illustrate useful ideas and tricks to help finding a solution, rather than systematically covering traditional approaches. The material would be better used alongside a formal course where students were already covering the expected basic material through other means, rather than for self-study. The author clearly regards the book as a preliminary version and invites comments on how it can be improved.
Reviewer: Neville J. Ford (Chester)Multi-marginal maximal monotonicity and convex analysishttps://zbmath.org/1521.470842023-11-13T18:48:18.785376Z"Bartz, Sedi"https://zbmath.org/authors/?q=ai:bartz.sedi"Bauschke, Heinz H."https://zbmath.org/authors/?q=ai:bauschke.heinz-h"Phan, Hung M."https://zbmath.org/authors/?q=ai:phan.hung-m"Wang, Xianfu"https://zbmath.org/authors/?q=ai:wang.xianfuThe authors study extensions of classical monotone operator theory and convex analysis to the multi-marginal setting. Multi-marginal \(c\)-monotonicity is characterized in terms of classical monotonicity and firmly nonexpansive mappings. Minty type, continuity and conjugacy criteria for multi-marginal maximal monotonicity are presented. Partition of the identity into a sum of firmly nonexpansive mappings, as well as Moreau's decomposition of the quadratic function into envelopes and proximal mappings, is extended in this framework. Examples and applications are presented. Many open questions are posed.
Reviewer: K. C. Sivakumar (Chennai)Navigating the negative curvature of Google Mapshttps://zbmath.org/1521.510072023-11-13T18:48:18.785376Z"Baryshnikov, Yuliy"https://zbmath.org/authors/?q=ai:baryshnikov.yu-m"Ghrist, Robert"https://zbmath.org/authors/?q=ai:ghrist.robert-wThe authors show the usefulness of hyperbolic geometry in real life (more precisely, its use in the Google Maps application).
Reviewer: Cătălin Barbu (Bačau)Triangles \& princesses \& bears, oh my! A journey from a puzzle to the Schrödinger equationhttps://zbmath.org/1521.510122023-11-13T18:48:18.785376Z"Duncan, David L."https://zbmath.org/authors/?q=ai:duncan.david-lThe journey starts at a puzzle involving three princesses and three hungry bears. Even though this puzzle is easily seen to be unsolvable, it leads to the following problem: Given two triangles \(\Delta\) and \(\Delta'\) with the same area in the Euclidean plane \(\mathbb R^2\), what is the ``shortest path'' from \(\Delta\) to \(\Delta'\) through equal-area triangles. By identifying \(\mathbb R^2\) with \(\mathbb C\), the field of complex numbers, and by considering ordered triangles, this problem is turned into a problem about geodesics on a particular hypersurface in \(\mathbb C^3\cong \mathbb R^6\). Solutions to the latter problem are exhibited in great detail. Next, these findings are generalised to ordered \(n\)-gons and, by a limit process \(n\to \infty\), to ``loops''. In this way, the reader finally is guided to the Schrödinger equation.
Reviewer: Hans Havlicek (Wien)New frontiers in Bayesian statistics. BAYSM 2021. Selected contributions of the 5th Bayesian Young Statistician Meeting conference, online, September 1--3, 2021https://zbmath.org/1521.620042023-11-13T18:48:18.785376ZPublisher's description: This book presents a selection of peer-reviewed contributions to the fifth Bayesian Young Statisticians Meeting, BaYSM 2021, held virtually due to the COVID-19 pandemic on 1-3 September 2021. Despite all the challenges of an online conference, the meeting provided a valuable opportunity for early career researchers, including MSc students, PhD students, and postdocs to connect with the broader Bayesian community.
The proceedings highlight many different topics in Bayesian statistics, presenting promising methodological approaches to address important challenges in a variety of applications. The book is intended for a broad audience of people interested in statistics, and provides a series of stimulating contributions on theoretical, methodological, and computational aspects of Bayesian statistics.
The articles of this volume will be reviewed individually. For the preceding conference see [Zbl 1431.62012].Essays in honor of Joon Y. Park. Econometric methodology in empirical applicationshttps://zbmath.org/1521.620052023-11-13T18:48:18.785376ZThe articles of this volume will not be indexed individually. For Part A see [Zbl 1521.62006].Essays in honor of Joon Y. Park. Econometric theoryhttps://zbmath.org/1521.620062023-11-13T18:48:18.785376ZThe articles of this volume will not be indexed individually. For Part B see [Zbl 1521.62005].Mindful topics on risk analysis and design of experiments. Selected contributions from the 8th international conference on risk analysis, ICRA8, Vienna, Austria, 23--26 April, 2019https://zbmath.org/1521.620072023-11-13T18:48:18.785376ZPublisher's description: This book provides an overview of the role of statistics in Risk Analysis, by addressing theory, methodology and applications covering the broad scope of risk assessment in life sciences and public health, environmental science as well as in economics and finance. Experimental Design plays a key role in many of these areas, therefore there is special attention paid to joining Risk Analysis and Experimental Design topics. The contributions of this volume originate from the 8th International Conference on Risk Analysis (23--26 April, 2019, Vienna). The conference brought together researchers and practitioners working in the field of Risk Analysis. The most important contributions at the conference have been refereed and developed into chapters to show the latest developments in the field.
The articles of this volume will be reviewed individually.Integral methods in science and engineering. Applications in theoretical and practical research. Based on talks given at the symposium on the theory and applications of integral methods in science and engineering, virtual, July 2021https://zbmath.org/1521.650022023-11-13T18:48:18.785376ZPublisher's description: This contributed volume contains a collection of articles on state-of-the-art developments on the construction of theoretical integral techniques and their application to specific problems in science and engineering. Chapters in this book are based on talks given at the Symposium on the Theory and Applications of Integral Methods in Science and Engineering, held virtually in July 2021, and are written by internationally recognized researchers. This collection will be of interest to researchers in applied mathematics, physics, and mechanical and electrical engineering, as well as graduate students in these disciplines and other professionals for whom integration is an essential tool.
The articles of this volume will be reviewed individually. For the preceding conference see [Zbl 1417.65006].Granular, fuzzy, and soft computinghttps://zbmath.org/1521.680062023-11-13T18:48:18.785376ZPublisher's description: The first edition of the Encyclopedia of Complexity and Systems Science (ECSS, 2009) presented a comprehensive overview of granular computing (GrC) broadly divided into several categories: Granular computing from rough set theory, Granular Computing in Database Theory, Granular Computing in Social Networks, Granular Computing and Fuzzy Set Theory, Grid/Cloud Computing, as well as general issues in granular computing. In 2011, the formal theory of GrC was established, providing an adequate infrastructure to support revolutionary new approaches to computer/data science, including the challenges presented by so-called big data.
For this volume of ECSS, Second Edition, many entries have been updated to capture these new developments, together with new chapters on such topics as data clustering, outliers in data mining, qualitative fuzzy sets, and information flow analysis for security applications. Granulations can be seen as a natural and ancient methodology deeply rooted in the human mind. Many daily ``things'' are routinely granulated into sub ``things'': The topography of earth is granulated into hills, plateaus, etc., space and time are granulated into infinitesimal granules, and a circle is granulated into polygons of infinitesimal sides. Such granules led to the invention of calculus, topology and non-standard analysis. Formalization of general granulation was difficult but, as shown in this volume, great progress has been made in combing discrete and continuous mathematics under one roof for a broad range of applications in data science.
The articles of this volume will not be indexed individually.Integration of constraint programming, artificial intelligence, and operations research. 20th international conference, CPAIOR 2023, Nice, France, May 29 -- June 1, 2023. Proceedingshttps://zbmath.org/1521.680072023-11-13T18:48:18.785376ZThe articles of this volume will be reviewed individually. For the preceding conference see [Zbl 1493.68024].
Indexed articles:
\textit{Bai, Yiwei; Shi, Qinru; Grimson, Marc; Flecker, Alexander; Gomes, Carla P.}, Efficiently approximating high-dimensional Pareto frontiers for tree-structured networks using expansion and compression, 1-17 [Zbl 07745649]
\textit{Korikov, Anton; Beck, J. Christopher}, Objective-based counterfactual explanations for linear discrete optimization, 18-34 [Zbl 07745650]
\textit{Karahalios, Anthony; van Hoeve, Willem-Jan}, Column elimination for capacitated vehicle routing problems, 35-51 [Zbl 07745651]
\textit{Turner, Mark; Berthold, Timo; Besançon, Mathieu; Koch, Thorsten}, Cutting plane selection with analytic centers and multiregression, 52-68 [Zbl 07745652]
\textit{Hojny, Christopher; Pfetsch, Marc E.}, Handling symmetries in mixed-integer semidefinite programs, 69-78 [Zbl 07745653]
\textit{Jeong, Jihwan; Sanner, Scott; Kumar, Akshat}, A mixed-integer linear programming reduction of disjoint bilinear programs via symbolic variable elimination, 79-95 [Zbl 07745654]
\textit{Huang, Taoan; Ferber, Aaron; Tian, Yuandong; Dilkina, Bistra; Steiner, Benoit}, Local branching relaxation heuristics for integer linear programs, 96-113 [Zbl 07745655]
\textit{Chmiela, Antonia; Gleixner, Ambros; Lichocki, Pawel; Pokutta, Sebastian}, Online learning for scheduling MIP heuristics, 114-123 [Zbl 07745656]
\textit{Peršak, Egon; Anjos, Miguel F.}, Contextual robust optimisation with uncertainty quantification, 124-132 [Zbl 07745657]
\textit{Itzhakov, Avraham; Codish, Michael}, Breaking symmetries with high dimensional graph invariants and their combination, 133-149 [Zbl 07745658]
\textit{Gentzel, Rebecca; Michel, Laurent; van Hoeve, Willem-Jan}, Optimization bounds from decision diagrams in Haddock, 150-166 [Zbl 07745659]
\textit{Ito, Takehiro; Kawahara, Jun; Nakahata, Yu; Soh, Takehide; Suzuki, Akira; Teruyama, Junichi; Toda, Takahisa}, ZDD-based algorithmic framework for solving shortest reconfiguration problems, 167-183 [Zbl 07745660]
\textit{Santana, Ítalo; Lodi, Andrea; Vidal, Thibaut}, Neural networks for local search and crossover in vehicle routing: a possible overkill?, 184-199 [Zbl 07745661]
\textit{Cai, Junyang; Khai-Nguyen Nguyen; Shrestha, Nishant; Good, Aidan; Tu, Ruisen; Yu, Xin; Zhe, Shandian; Serra, Thiago}, Getting away with more network pruning: from sparsity to geometry and linear regions, 200-218 [Zbl 07745662]
\textit{ElAraby, Mostafa; Wolf, Guy; Carvalho, Margarida}, OAMIP: optimizing ANN architectures using mixed-integer programming, 219-237 [Zbl 07745663]
\textit{Efthymiou, Nikolaos; Yorke-Smith, Neil}, Predicting the optimal period for Cyclic Hoist Scheduling Problems, 238-253 [Zbl 07745664]
\textit{Chembu, Aravinth; Sanner, Scott; Khalil, Elias B.}, Scalable and near-optimal \(\varepsilon\)-tube clusterwise regression, 254-263 [Zbl 07745665]
\textit{Hu, Xinyi; Lee, Jasper C. H.; Lee, Jimmy H. M.}, Branch \& Learn with Post-hoc correction for Predict+Optimize with unknown parameters in constraints, 264-280 [Zbl 07745666]
\textit{Cohen, Eldan}, Interpretable clustering via soft clustering trees, 281-298 [Zbl 07745667]
\textit{Dakle, Parag Pravin; Kadıoğlu, Serdar; Uppuluri, Karthik; Politi, Regina; Raghavan, Preethi; Rallabandi, SaiKrishna; Srinivasamurthy, Ravisutha}, \textsc{Ner4Opt}: named entity recognition for optimization modelling from natural language, 299-319 [Zbl 07745668]
\textit{Burlats, Auguste; Pesant, Gilles}, Exploiting entropy in constraint programming, 320-335 [Zbl 07745669]
\textit{Tardivo, Fabio; Dovier, Agostino; Formisano, Andrea; Michel, Laurent; Pontelli, Enrico}, Constraint propagation on GPU: a case study for the cumulative constraint, 336-353 [Zbl 07745670]
\textit{Juvin, Carla; Houssin, Laurent; Lopez, Pierre}, Constraint programming for the robust two-machine flow-shop scheduling problem with budgeted uncertainty, 354-369 [Zbl 07745671]
\textit{Pezzoli, Gauthier; Pesant, Gilles}, A weighted counting algorithm for the circuit constraint, 370-377 [Zbl 07745672]
\textit{Gindullin, R.; Beldiceanu, N.; Ngouonou, J. Cheukam; Douence, R.; Quimper, C. -G.}, Boolean-arithmetic equations: acquisition and uses, 378-394 [Zbl 07745673]
\textit{Dilkas, Paulius}, Generating random instances of weighted model counting. An empirical analysis with varying primal treewidth, 395-416 [Zbl 07745674]
\textit{Montalbano, Pierre; Allouche, David; de Givry, Simon; Katsirelos, George; Werner, Tomáš}, Virtual pairwise consistency in cost function networks, 417-426 [Zbl 07745675]
\textit{Tremblay, François-Alexandre; Piché-Meunier, Dominique; Dubois, Louis}, Multi-objective optimization for the design of salary structures, 427-442 [Zbl 07745676]
\textit{Squillaci, Samuel; Pralet, Cédric; Roussel, Stéphanie}, Scheduling complex observation requests for a constellation of satellites: large neighborhood search approaches, 443-459 [Zbl 07745677]
\textit{Ferber, Aaron; Griffin, Emily; Dilkina, Bistra; Keskin, Burcu; Gore, Meredith}, Predicting wildlife trafficking routes with differentiable shortest paths, 460-476 [Zbl 07745678]
\textit{Trong-Hieu Tran; Pralet, Cédric; Fargier, Hélène}, Combining incomplete search and clause generation: an application to the orienteering problems with time windows, 493-509 [Zbl 07745680]Introduction to the special issue SEA 2018https://zbmath.org/1521.680082023-11-13T18:48:18.785376Z(no abstract)Algorithms and models for the web graph. 18th International workshop, WAW 2023, Toronto, ON, Canada, May 23--26, 2023. Proceedingshttps://zbmath.org/1521.680092023-11-13T18:48:18.785376ZThe articles of mathematical interest will be reviewed individually. For the preceding workshop see [Zbl 1496.68025].Algorithms and complexity. 13th international conference, CIAC 2023, Larnaca, Cyprus, June 13--16, 2023. Proceedingshttps://zbmath.org/1521.680102023-11-13T18:48:18.785376ZThe articles of this volume will be reviewed individually. For the preceding conference see [Zbl 1507.68025].
Indexed articles:
\textit{Spirakis, Paul G.; Nikoletseas, Sotiris; Raptopoulos, Christoforos}, Selected combinatorial problems through the prism of random intersection graphs models, 1-4 [Zbl 07745693]
\textit{Castenow, Jannik; Harbig, Jonas; Meyer auf der Heide, Friedhelm}, Unifying gathering protocols for swarms of mobile robots, 5-16 [Zbl 07745694]
\textit{Persiano, Giuseppe}, The complexity of secure RAMs, 17-20 [Zbl 07745695]
\textit{Alekseev, Yaroslav; Hirsch, Edward A.}, The power of the binary value principle, 21-36 [Zbl 07745696]
\textit{Asahiro, Yuichi; Eto, Hiroshi; Korenaga, Kana; Lin, Guohui; Miyano, Eiji; Nonoue, Reo}, Independent set under a change constraint from an initial solution, 37-51 [Zbl 07745697]
\textit{Attiya, Hagit; Schiller, Noa}, Asynchronous fully-decentralized SGD in the cluster-based model, 52-66 [Zbl 07745698]
\textit{Balzotti, Lorenzo; Franciosa, Paolo G.}, Non-crossing shortest paths lengths in planar graphs in linear time, 67-81 [Zbl 07745699]
\textit{Balzotti, Lorenzo; Franciosa, Paolo G.}, How vulnerable is an undirected planar graph with respect to max flow, 82-96 [Zbl 07745700]
\textit{Ben-Nun, Tal; Gianinazzi, Lukas; Hoefler, Torsten; Oltchik, Yishai}, Maximum flows in parametric graph templates, 97-111 [Zbl 07745701]
\textit{Bhyravarapu, Sriram; Kumari, Swati; Reddy, I. Vinod}, Dynamic coloring on restricted graph classes, 112-126 [Zbl 07745702]
\textit{Bliznets, Ivan; Sagunov, Danil; Tagin, Eugene}, Enumeration of minimal tropical connected sets, 127-141 [Zbl 07745703]
\textit{Bläsius, Thomas; Feilhauer, Adrian; Westenfelder, Jannik}, Dynamic flows with time-dependent capacities, 142-156 [Zbl 07745704]
\textit{Bshouty, Nader H.}, On one-sided testing affine subspaces, 157-171 [Zbl 07745705]
\textit{Busch, Costas; Chlebus, Bogdan S.; Kowalski, Dariusz R.; Poudel, Pavan}, Stable scheduling in transactional memory, 172-186 [Zbl 07745706]
\textit{Fernau, Henning; Foucaud, Florent; Mann, Kevin; Padariya, Utkarsh; Rao, K. N. Rajath}, Parameterizing path partitions, 187-201 [Zbl 07745707]
\textit{Fink, Simon D.; Rutter, Ignaz}, Maintaining triconnected components under node expansion, 202-216 [Zbl 07745708]
\textit{Fujito, Toshihiro; Mukae, Kneto; Tsuzuki, Junya}, Approximating power node-deletion problems, 217-231 [Zbl 07745709]
\textit{Fusy, Éric; Kucherov, Gregory}, Phase transition in count approximation by count-min sketch with conservative updates, 232-246 [Zbl 07745710]
\textit{Geva, Kerem; Katz, Matthew J.; Mitchell, Joseph S. B.; Packer, Eli}, Minimum-link \(C\)-oriented paths visiting a sequence of regions in the plane, 247-262 [Zbl 07745711]
\textit{Hanaka, Tesshu; Ono, Hirotaka; Otachi, Yota; Uda, Saeki}, Grouped domination parameterized by vertex cover, twin cover, and beyond, 263-277 [Zbl 07745712]
\textit{Harutyunyan, Hovhannes A.; Hovhannisyan, Narek}, Broadcasting in split graphs, 278-292 [Zbl 07745713]
\textit{Jana, Satyabrata; Saha, Souvik; Sahu, Abhishek; Saurabh, Saket; Verma, Shaily}, Partitioning subclasses of chordal graphs with few deletions, 293-307 [Zbl 07745714]
\textit{Koiran, Pascal; Saha, Subhayan}, Complete decomposition of symmetric tensors in linear time and polylogarithmic precision, 308-322 [Zbl 07745715]
\textit{Kumar, Manish; Molla, Anisur Rahaman; Sivasubramaniam, Sumathi}, Improved deterministic leader election in diameter-two networks, 323-335 [Zbl 07745716]
\textit{Pan, Victor Y.; Go, Soo; Luan, Qi; Zhao, Liang}, Fast Cauchy sum algorithms for polynomial zeros and matrix eigenvalues, 336-352 [Zbl 07745717]
\textit{Sam, Emmanuel; Fellows, Michael; Rosamond, Frances; Golovach, Petr A.}, On the parameterized complexity of the structure of lineal topologies (depth-first spanning trees) of finite graphs: the number of leaves, 353-367 [Zbl 07745718]
\textit{Yanhaona, Muhammad Nur; Nomaan, Asswad Sarker; Rahman, Md. Saidur}, Efficiently enumerating all spanning trees of a plane 3-tree (extended abstract), 368-382 [Zbl 07745719]
\textit{Zhu, Chun Jiang}, Communication-efficient distributed graph clustering and sparsification under duplication models, 383-398 [Zbl 07745720]Modeling decisions for artificial intelligence. 20th international conference, MDAI 2023, Umeå, Sweden, June 19--22, 2023. Proceedingshttps://zbmath.org/1521.680112023-11-13T18:48:18.785376ZThe articles of mathematical interest will be reviewed individually. For the preceding conference see [Zbl 1499.68027].Transformers for modeling physical systemshttps://zbmath.org/1521.681842023-11-13T18:48:18.785376Z"Geneva, Nicholas"https://zbmath.org/authors/?q=ai:geneva.nicholas"Zabaras, Nicholas"https://zbmath.org/authors/?q=ai:zabaras.nicholas-jSummary: Transformers are widely used in natural language processing due to their ability to model longer-term dependencies in text. Although these models achieve state-of-the-art performance for many language related tasks, their applicability outside of the natural language processing field has been minimal. In this work, we propose the use of transformer models for the prediction of dynamical systems representative of physical phenomena. The use of Koopman based embeddings provides a unique and powerful method for projecting any dynamical system into a vector representation which can then be predicted by a transformer. The proposed model is able to accurately predict various dynamical systems and outperform classical methods that are commonly used in the scientific machine learning literature.Liquid tensor experimenthttps://zbmath.org/1521.682452023-11-13T18:48:18.785376Z"Commelin, Johan"https://zbmath.org/authors/?q=ai:commelin.johan-mSummary (translated from the German): The Liquid Tensor Experiment is a project to verify the proof provided by Clausen and Scholze in 2019 of the ``main theorem of liquid vector spaces'' using computers. In the last few months, a team of mathematicians have largely completed this project. In this article we will explain, based on this developments, the potential of computer proof assistants for mathematical research.Editorial computers and fluids, special issue NAHOMCon '19https://zbmath.org/1521.760082023-11-13T18:48:18.785376ZFrom the text: This special issue presents selected papers from the first North American High Order Methods Conference (NAHOMCon) held at San Diego State University from June two to five of 2019.Applied analysis, computation and mathematical modelling in engineering. Select proceedings of AACMME 2021, Rourkela, India, February 24--26, 2021https://zbmath.org/1521.760092023-11-13T18:48:18.785376ZPublisher's description: This book is a compendium of the proceedings of the International Conference on Applied Analysis, Computation, and Mathematical Modelling in Engineering (AACMME-2021). The book covers a variety of applications such as mechanical, acoustical, physical, electrical, bio-mathematical, and computational fluid dynamics. Since mathematical modeling necessitates a wide range of skills and methods, the book concentrates on techniques that will be of specific interest to engineers, scientists, and those who work with discrete and continuous systems models. This book guides students, researchers, and professionals through the new approaches, the powerful tools for quickly mastering the most popular mathematical and computational models used in engineering and science. These new approaches enable readers to not only systematically create effective models, but also extend these models to any macroscopic physical structure.
The articles of this volume will be reviewed individually.Theoretical advances and applications of high-fidelity computation and modelling in fluid dynamicshttps://zbmath.org/1521.760102023-11-13T18:48:18.785376ZFrom the text: The special issue includes papers at the cutting-edge of computational methods, modelling and simulations in fluid dynamics and related interdisciplinary topics.The age of innocence. Nuclear physics between the First and Second World Warshttps://zbmath.org/1521.810032023-11-13T18:48:18.785376Z"Stuewer, Roger H."https://zbmath.org/authors/?q=ai:stuewer.roger-hSee the review of the original hardback edition in [Zbl 1496.81021].Physics and applications of hydrogen negative ion sourceshttps://zbmath.org/1521.810052023-11-13T18:48:18.785376ZPublisher's description: This book gives a comprehensive overview of hydrogen negative ion sources and their applications to particle acceleration and nuclear fusion. The book begins with fundamental aspects of negative ion production by volume and surface processes in hydrogen and its isotopes. It covers key topics, such as the need for separation of negative ion production and extraction regions, the need for lowering the work function of the plasma electrode by using caesium vapor or special materials for caesium-free sources, and the ion extractor structure required for hydrogen negative ion sources. Chapters covering various specific ion sources and applications are written by scientists who participated in their development and include sources for accelerators and for neutral beam injection into controlled nuclear fusion reactors.
The articles of this volume will not be indexed individually.Reasoning in physicshttps://zbmath.org/1521.810092023-11-13T18:48:18.785376Z(no abstract)Operations research and enterprise systems. 6th international conference, ICORES 2017, Porto, Portugal, February 23--25, 2017. Revised selected papershttps://zbmath.org/1521.900022023-11-13T18:48:18.785376ZThis book comprises selected conference articles in the area of operations research in enterprise systems. The articles of the book present the state-of-the art research in various operations research fields, such as the optimization of sports league scheduling with a real-life application for the Belgian football league, the challenges of optimization in voting theory and the paradoxes that arise, and planning and scheduling optimization problems, for example the battery swapping network problem or the predictive maintenance problem.
The book also considers problems related to financial problems, which include the use of Markov decision processes to optimize the payment of dividends, strategies for repricing under stochastic demand, and the optimization of combination warranty policies. More theoretical topics include the study of many-objective genetic algorithm problems, where the optimization of more than three objectives is examined, and the production of allocation strategies by the multi-armed bandit problem.
In the logistics field, the book covers the truck scheduling problem in container terminals, the optimal location of charging stations for a fleet of electric vehicles and the management of service parts for discontinued products. The last part of the book considers three application-based problems, namely the optimization of petroleum pipeline systems, the estimation of the power losses in offshore wind farm cabling, and a model for storage space allocation for import containers.
All the problems studied include real-life applications where the use of the proposed techniques can be readily understood and appreciated. Each chapter of this very interesting book is self-contained and includes separate sections of results, conclusions and list of relevant references.
Reviewer: Efstratios Rappos (Aubonne)Control theory and mathematical modeling. Proceedings of the conference, STMM-2022, dedicated to the memory of Nikolai Viktorovich Azbelev and Evgeny Leonidovich Tonkov, Udmurt State University, Ischewsk, Russia, June 13 -- June 17, 2022https://zbmath.org/1521.930012023-11-13T18:48:18.785376Z(no abstract)Mathematical modeling of physical systems. Applications of fields, circuits and signal processinghttps://zbmath.org/1521.940012023-11-13T18:48:18.785376Z"Chattopadhyay, Adhir Baran"https://zbmath.org/authors/?q=ai:chattopadhyay.adhir-baran"Hasan, Shazia"https://zbmath.org/authors/?q=ai:hasan.shazia"Chowdhury, Snehaunshu"https://zbmath.org/authors/?q=ai:chowdhury.snehaunshuPublisher's description: The book presents mathematical modelling of physical systems by combined approach based on field theory, circuit theory and signal processing. The book is broadly divided into three parts: applications of field theory, applications of circuit theory and applications of signals processing. First part contains six chapters, second part has two chapters and third part contains two chapters. First part is further decoupled into three plus three chapters, based on the common ``field nature'' exhibited by electromagnetic quantities and fluid quantities.Codes, cryptology and information security. 4th international conference, C2SI 2023, Rabat, Morocco, May 29--31, 2023. Proceedingshttps://zbmath.org/1521.940032023-11-13T18:48:18.785376ZThe articles of this volume will be reviewed individually. For the preceding conference see [Zbl 1408.68011].
Indexed articles:
\textit{Desmedt, Yvo}, Cryptologists should not ignore the history of Al-Andalusia, 3-9 [Zbl 07745625]
\textit{Bidoux, Loïc; Gaborit, Philippe}, Compact post-quantum signatures from proofs of knowledge leveraging structure for the \textsf{PKP, SD} and \textsf{RSD} problems, 10-42 [Zbl 07745626]
\textit{Naccache, David; Yifrach-Stav, Ofer}, On Catalan constant continued fractions, 43-54 [Zbl 07745627]
\textit{McLoughlin, Callum; Gritti, Clémentine; Samandari, Juliet}, Full Post-Quantum datagram TLS handshake in the Internet of Things, 57-76 [Zbl 07745628]
\textit{Ndiaye, Ousmane}, Moderate classical McEliece keys from quasi-centrosymmetric Goppa codes, 77-90 [Zbl 07745629]
\textit{Leuther, Jannis; Lucks, Stefan}, QCB is blindly unforgeable, 91-108 [Zbl 07745630]
\textit{Wang, Ruize; Dubrova, Elena}, A side-channel secret key recovery attack on CRYSTALS-Kyber using \(k\) chosen ciphertexts, 109-128 [Zbl 07745631]
\textit{Ahmad, Hussain; Hannusch, Carolin}, A new keyed hash function based on Latin squares and error-correcting codes to authenticate users in smart home environments, 129-135 [Zbl 07745632]
\textit{Prabowo, Theo Fanuela; Tan, Chik How}, Attack on a code-based signature scheme from QC-LDPC codes, 136-149 [Zbl 07745633]
\textit{Kumar, Vikas; Mandal, Bimal; Gangopadhyay, Aditi Kar; Gangopadhyay, Sugata}, Computational results on Gowers \(U_2\) and \(U_3\) norms of known S-boxes, 150-157 [Zbl 07745634]
\textit{Artem, Grigor; Iovino, Vincenzo; Roșie, Răzvan}, Multi-input non-interactive functional encryption: constructions and applications, 158-177 [Zbl 07745635]
\textit{Nandi, Mridul; Paul, Sayantan; Saha, Abishanka}, Indifferentiability of the confusion-diffusion network and the cascade block cipher, 178-195 [Zbl 07745636]
\textit{Chartouny, Maya; Patarin, Jacques; Toulemonde, Ambre}, Quantum cryptanalysis of 5 rounds Feistel schemes and Benes schemes, 196-203 [Zbl 07745637]
\textit{Maeno, Yuta; Miyaji, Hideaki; Miyaji, Atsuko}, Lattice-based accumulator with constant time list update and constant time verification, 204-222 [Zbl 07745638]
\textit{Ngoc Minh Phung; Mimura, Mamoru}, Malicious JavaScript detection based on AST analysis and key feature re-sampling in realistic environments, 225-241 [Zbl 07745639]
\textit{Kelesidis, Evgnosia-Alexandra; Maimuţ, Diana; Ciocan, Ilona Teodora}, Searching for gemstones: flawed stegosystems may hide promising ideas, 242-260 [Zbl 07745640]
\textit{Binh Le Thanh Thai; Tanaka, Hidema}, A study for security of visual cryptography, 261-277 [Zbl 07745641]
\textit{Sahllal, Nadir; Souidi, El Mamoun}, Forecasting click fraud via machine learning algorithms, 278-289 [Zbl 07745642]
\textit{Idrissi, Hind; Ennahbaoui, Mohammed}, An enhanced anonymous ECC-based authentication for lightweight application in TMIS, 290-320 [Zbl 07745643]
\textit{Edemskiy, Vladimir; Koltsova, Sofia}, Symmetric 4-adic complexity of quaternary generalized cyclotomic sequences of order four with period \(2p^n\), 323-337 [Zbl 07745644]
\textit{Gini, Agnese; Méaux, Pierrick}, Weightwise perfectly balanced functions and nonlinearity, 338-359 [Zbl 07745645]
\textit{Ballet, Stéphane; Pacifico, Bastien}, Chudnovsky-type algorithms over the projective line using generalized evaluation maps, 360-375 [Zbl 07745646]
\textit{Sekiguchi, Tomohiro; Tanaka, Hidema}, Security enhancement method using shortened error correcting codes, 379-394 [Zbl 07745647]
\textit{Aydin, Nuh; Lu, Yiyang; Onta, Vishad}, An updated database of \(\mathbb{Z}_4\) codes and an open problem about quasi-cyclic codes, 395-406 [Zbl 07745648]Constructive side-channel analysis and secure design. 10th international workshop, COSADE 2019, Darmstadt, Germany, April 3--5, 2019. Proceedingshttps://zbmath.org/1521.940042023-11-13T18:48:18.785376ZThe articles of mathematical interest will be reviewed individually. For the preceding workshop see [Zbl 1439.94001].
Indexed articles:
\textit{Mutlu, Onur}, RowHammer and beyond, 3-12 [Zbl 07752571]
\textit{Carré, Sébastien; Facon, Adrien; Guilley, Sylvain; Takarabt, Sofiane; Schaub, Alexander; Souissi, Youssef}, Cache-timing attack detection and prevention. Application to crypto libs and PQC, 13-21 [Zbl 07752572]
\textit{Azouaoui, Melissa; Poussier, Romain; Standaert, François-Xavier}, Fast side-channel security evaluation of ECC implementations. Shortcut formulas for horizontal side-channel attacks against ECSM with the Montgomery ladder, 25-42 [Zbl 07752573]
\textit{Ramezanpour, Keyvan; Ampadu, Paul; Diehl, William}, FIMA: fault intensity map analysis, 63-79 [Zbl 07752575]
\textit{Gruber, Michael; Selmke, Bodo}, Differential fault attacks on KLEIN, 80-95 [Zbl 07752576]
\textit{Bogdanov, Andrey; Rivain, Matthieu; Vejre, Philip S.; Wang, Junwei}, Higher-order DCA against standard side-channel countermeasures, 118-141 [Zbl 07752578]
\textit{Masure, Loïc; Dumas, Cécile; Prouff, Emmanuel}, Gradient visualization for general characterization in profiling attacks, 145-167 [Zbl 07752579]
\textit{David, Liron; Wool, Avishai}, Fast analytical rank estimation, 168-190 [Zbl 07752580]
\textit{Krämer, Juliane; Loiero, Mirjam}, Fault attacks on UOV and Rainbow, 193-214 [Zbl 07752581]
\textit{Jalali, Amir; Azarderakhsh, Reza; Kermani, Mehran Mozaffari; Jao, David}, Towards optimized and constant-time CSIDH on embedded devices, 215-231 [Zbl 07752582]
\textit{Purnal, Antoon; Arribas, Victor; De Meyer, Lauren}, Trade-offs in protecting \textsc{Keccak} against combined side-channel and fault attacks, 285-302 [Zbl 07752586]Topics in cryptology -- CT-RSA 2023. Cryptographers' track at the RSA conference 2023, San Francisco, CA, USA, April 24--27, 2023. Proceedingshttps://zbmath.org/1521.940052023-11-13T18:48:18.785376ZThe articles of this volume will be reviewed individually. For CT-RSA 2022 see [Zbl 1490.94003].
Indexed articles:
\textit{Mouha, Nicky; Celi, Christopher}, A vulnerability in implementations of SHA-3, SHAKE, EdDSA, and other NIST-approved algorithms, 3-28 [Zbl 07745599]
\textit{Costache, Anamaria; Nürnberger, Lea; Player, Rachel}, Optimisations and tradeoffs for HElib, 29-53 [Zbl 07745600]
\textit{Taguchi, Ren; Takayasu, Atsushi}, Concrete quantum cryptanalysis of binary elliptic curves via addition chain, 57-83 [Zbl 07745601]
\textit{Peikert, Chris; Xu, Jiayu}, Classical and quantum security of elliptic curve VRF, via relative indifferentiability, 84-112 [Zbl 07745602]
\textit{Joye, Marc}, On-line/off-line DCR-based homomorphic encryption and applications, 115-131 [Zbl 07745603]
\textit{Venema, Marloes}, A practical compiler for attribute-based encryption: new decentralized constructions and more, 132-159 [Zbl 07745604]
\textit{Brorsson, Joakim; David, Bernardo; Gentile, Lorenzo; Pagnin, Elena; Wagner, Paul Stankovski}, PAPR: publicly auditable privacy revocation for anonymous credentials, 163-190 [Zbl 07745605]
\textit{Afia, Ismail; AlTawy, Riham}, Unlinkable policy-based sanitizable signatures, 191-221 [Zbl 07745606]
\textit{Cheng, Junjie; Qiao, Kexin}, Improved graph-based model for recovering superpoly on Trivium, 225-251 [Zbl 07745607]
\textit{Bellini, Emanuele; Gerault, David; Grados, Juan; Makarim, Rusydi H.; Peyrin, Thomas}, Fully automated differential-linear attacks against ARX ciphers, 252-276 [Zbl 07745608]
\textit{Taka, Kazuma; Ishikawa, Tatsuya; Sakamoto, Kosei; Isobe, Takanori}, An efficient strategy to construct a better differential on multiple-branch-based designs: application to Orthros, 277-304 [Zbl 07745609]
\textit{Chen, Siwei; Zhu, Mingming; Xiang, Zejun; Xu, Runqing; Zeng, Xiangyong; Zhang, Shasha}, Rotational-XOR differential rectangle cryptanalysis on \textsc{Simon}-like ciphers, 305-330 [Zbl 07745610]
\textit{Alamati, Navid; Montgomery, Hart; Patranabis, Sikhar}, Multiparty noninteractive key exchange from ring key-homomorphic weak PRFs, 333-359 [Zbl 07745611]
\textit{Faust, Sebastian; Hazay, Carmit; Kretzler, David; Schlosser, Benjamin}, Putting the online phase on a diet: covert security from short MACs, 360-386 [Zbl 07745612]
\textit{Bouez, Alexandre; Singh, Kalpana}, One round threshold ECDSA without roll call, 389-414 [Zbl 07745613]
\textit{Fregly, Andrew; Harvey, Joseph; Kaliski jun., Burton S.; Sheth, Swapneel}, Merkle tree ladder mode: reducing the size impact of NIST PQC signature algorithms in practice, 415-441 [Zbl 07745614]
\textit{Barbu, Guillaume; Giraud, Christophe}, All shall FA-LLL: breaking CT-RSA 2022 and CHES 2022 infective countermeasures with lattice-based fault attacks, 445-468 [Zbl 07745615]
\textit{Beckwith, Luke; Abdulgadir, Abubakr; Azarderakhsh, Reza}, A flexible shared hardware accelerator for NIST-recommended algorithms CRYSTALS-Kyber and CRYSTALS-Dilithium with SCA protection, 469-490 [Zbl 07745616]
\textit{Hambitzer, Anna; Gerault, David; Huang, Yun Ju; Aaraj, Najwa; Bellini, Emanuele}, NNBits: bit profiling with a deep learning ensemble based distinguisher, 493-523 [Zbl 07745617]
\textit{Liu, Qun; Zhao, Zheng; Wang, Meiqin}, Improved heuristics for low-latency implementations of linear layers, 524-550 [Zbl 07745618]
\textit{Adomnicăi, Alexandre; Minematsu, Kazuhiko; Shikata, Junji}, Authenticated encryption for very short inputs, 553-572 [Zbl 07745619]
\textit{Sibleyras, Ferdinand; Todo, Yosuke}, Keyed sum of permutations: a simpler RP-based PRF, 573-593 [Zbl 07745620]
\textit{Bellare, Mihir; Shea, Laura}, Flexible password-based encryption: securing cloud storage and provably resisting partitioning-oracle attacks, 594-621 [Zbl 07745621]
\textit{Miracle, Sarah; Yilek, Scott}, Targeted invertible pseudorandom functions and deterministic format-transforming encryption, 622-642 [Zbl 07745622]
\textit{Kiltz, Eike; Pan, Jiaxin; Riepel, Doreen; Ringerud, Magnus}, Multi-user CDH problems and the concrete security of \(\mathsf{NAXOS}\) and \(\mathsf{X3DH}\), 645-671 [Zbl 07745623]
\textit{Arriaga, Afonso; Šala, Petra; Škrobot, Marjan}, Wireless-channel key exchange, 672-699 [Zbl 07745624]