Format: Paperback / softback, 488 pages, height x width: 235x155 mm, weight: 771 g,
1 Illustrations, black and white; XIX, 488 p. 1 illus.
Series: Theory and Applications of Computability
Pub. Date: 26-Jul-2023
ISBN-13: 9783031113697
Reverse mathematics studies the complexity of proving mathematical theorems and solving mathematical problems. Typical questions include: Can we prove this result without first proving that one? Can a computer solve this problem? A highly active part of mathematical logic and computability theory, the subject offers beautiful results as well as significant foundational insights.
1 introduction.- Part I Computable mathematics: 2 Computability theory.-
3 Instance-solution problems.- 4 Problem reducibilities.- Part II
Formalization and syntax: 5 Second order arithmetic.- 6 Induction and
bounding.- 7 Forcing.- Part III Combinatorics: 8 Ramsey's theorem.- 9 Other
combinatorial principles.- Part IV Other areas: 10 Analysis and topology.- 11
Algebra.- 12 Set theory and beyond.
Format: Paperback / softback, 342 pages, height x width: 235x155 mm, weight: 551 g,
1 Illustrations, black and white; XVII, 342 p. 1 illus.,
Series: Synthese Library 465
Pub. Date: 28-Jul-2023
ISBN-13: 9783031056734
This volume offers English translations of three early works by Ernst Schroeder (1841-1902), a mathematician and logician whose philosophical ruminations and pathbreaking contributions to algebraic logic attracted the admiration and ire of figures such as Dedekind, Frege, Husserl, and C. S. Peirce. Today he still engages the sympathetic interest of logicians and philosophers.
The works translated record Schroeder's journey out of algebra into algebraic logic and document his transformation of George Boole's opaque and unwieldy logical calculus into what we now recognize as Boolean algebra. Readers interested in algebraic logic and abstract algebra can look forward to a tour of the early history of those fields with a guide who was exceptionally thorough, unfailingly honest, and deeply reflective.
Preface1) Introduction
2) Ernst Schro der's "Lehrbuch der Arithmetik und Algebra fu r Lehrer und
Studirende" (1873); 3) Ernst Schro der's booklet "Der Operationskreis des
Logikkalkuls (1877); 4) Ernst Schro der "Note u ber den Operationskreis des
Logikcalculs" (1877). Bibliography Name/Subject Index
Format: Paperback / softback, 105 pages, height x width: 279x210 mm, weight: 317 g, 2 Illustrations, color;
1 Illustrations, black and white; XI, 105 p. 3 illus., 2 illus. in color
Pub. Date: 21-Jul-2023
ISBN-13: 9783031079863
This study guide is designed for students taking courses in differential equations. The textbook includes examples, questions, and exercises that will help engineering students to review and sharpen their knowledge of the subject and enhance their performance in the classroom. Offering detailed solutions, multiple methods for solving problems, and clear explanations of concepts, this hands-on guide will improve studentfs problem-solving skills and basic and advanced understanding of the topics covered in electric circuit analysis courses.
Reviews
"Both problems and solutions are presented very clearly. The large format of the book, together with its generous spacing, means that each page has a good deal of text with plenty of additional room for notes. ... this book is more likely to be of interest for courses directed at engineering students." (Bill Satzer, MAA Reviews, October 30, 2022)
1) Problems: First-Order Differential Equations
2) Solutions of Problems: First-Order Differential Equations
3) Problems: Second-Order Differential Equations
4) Solutions of Problems: Second-Order Differential Equations
5) Problems: Series and their Applications in Solving Differential Equations
6) Solutions of Problems: Series and their Applications in Solving Differential Equations
7) Problems: Laplace Transform and its Applications in Solving Differential Equations
8) Solutions of Problems: Laplace Transform and its Applications in Solving Differential Equations
Format: Paperback / softback, 101 pages, height x width: 235x155 mm, weight: 191 g,
1 Illustrations, black and white; XII, 101 p. 1 illus.
Series: SpringerBriefs in Probability and Mathematical Statistics
Pub. Date: 05-Jul-2023
ISBN-13: 9783031337710
This book offers an introduction to the field of stochastic analysis of Hermite processes. These selfsimilar stochastic processes with stationary increments live in a Wiener chaos and include the fractional Brownian motion, the only Gaussian process in this class.
Using the Wiener chaos theory and multiple stochastic integrals, the book covers the main properties of Hermite processes and their multiparameter counterparts, the Hermite sheets. It delves into the probability distribution of these stochastic processes and their sample paths, while also presenting the basics of stochastic integration theory with respect to Hermite processes and sheets.
The book goes beyond theory and provides a thorough analysis of physical models driven by Hermite noise, including the Hermite Ornstein-Uhlenbeck process and the solution to the stochastic heat equation driven by such a random perturbation. Moreover, it explores up-to-date topics central to current research in statistical inference for Hermite-driven models.
Introduction.
Chapter
1. Multiple Stochastic Integrals.
Chapter
2. Hermite processes: Definition and basic properties.
Chapter
3. The Wiener integral with respect to the Hermite process and the Hermite Ornstein-Uhlenbeck process.
Chapter
4. Hermite sheets and SPDEs.
Chapter
5. Statistical inference for stochastic (partial) differential equations with Hermite noise.- References.
Format: Hardback, 224 pages, height x width: 235x155 mm, 1 Illustrations, black and white; VIII, 224 p. 1 illus., 1 Hardback
Series: Springer INdAM Series 55
Pub. Date: 31-Aug-2023
ISBN-13: 9789819936786
This book collects contributions presented at the INdAM Workshop "Mathematical modeling and Analysis of degradation and restoration in Cultural Heritage?MACH2021", held in Rome, Italy in September 2021. The book is focused on mathematical modeling and simulation techniques with the aim of improving the current strategies of conservation and restoration in cultural heritage, sharing different experiences and approaches.
The main topics are corrosion and sulphation of materials, damage and fractures, stress in thermomechanical systems, contact and adhesion problems, and phase transitions.
Introduction Round Table The impact of Covid-19 pandemic on cultural
heritage: from fruition to conservation practises Gabriella Bretti, Cecilia
Cavaterra, Margherita Solci and Michela Spagnuolo
Numerical simulation of the Athens 1999 earthquake including simplified
models of the Acropolis and the Parthenon: initial results and outlook Paola
F. Antonietti, Carlo Cauzzi, Ilario Mazzieri, Laura Melas and Marco
Stupazzini
Randomness in a nonlinear model of sulphation phenomena Francesca Arceci,
Luca Maria Giordano, Mario Maurelli, Daniela Morale and Stefania Ugolini
Automatic description of rubble masonry geometries by machine learning based
approach Antonio Bilotta, Andrea Causin, Margherita Solci and Emilio Turco
Themes and reflections upon structural analysis in the field of archaeology
Roberto Busonera and Alessandra Ten
A model for craquelure: brittle layers on elastic substrates Andrea Braides,
Andrea Causin, and Margherita Solci
From point clouds to 3D simulations of marble sulfation Armando Coco, Silvia
Preda and Matteo Semplice
A semi-analytical approach to approximate chattering time of rocking
structures Anastasios I. Giouvanidis, Elias G. Dimitrakopoulos and Paulo B.
Lourenco
Numerical modelling of historical masonry structures with the finite element
code NOSA-ITACA Maria Girardi, Cristina Padovani, Daniele Pellegrini,
Margherita Porcelli and Leonardo Robol
Mathematical Methods for the Shape Analysis and Indexing of Tangible CH
artefacts Elia Moscoso Thompson, Chiara Romanengo, Andrea Scalas, Chiara E.
Catalano,
Michela Mortara, Silvia Biasotti, Bianca Falcidieno and Michela Spagnuolo
Multiscale carbonation models - a review Adrian Muntean
Forecasting damage and consolidation: mathematical models of reacting flows
in porous media Roberto Natalini
Models and mathematical issues in color film restorations Alice Plutino,
Beatrice Sarti and Alessandro Rizzi
Format: Hardback, 304 pages, height x width: 235x155 mm, weight: 637 g, 5 Illustrations, color;
9 Illustrations, black and white; XIV, 304 p. 14 illus., 5 illus. in color.
Series: Springer Proceedings in Mathematics & Statistics 427
Pub. Date: 29-Jul-2023
ISBN-13: 9783031327063
This proceedings volume presents a selection of peer-reviewed contributions from the Second Non-Associative Algebras and Related Topics (NAART II) conference, which was held at the University of Coimbra, Portugal, from July 18?22, 2022. The conference was held in honor of mathematician Alberto Elduque, who has made significant contributions to the study of non-associative structures such as Lie, Jordan, and Leibniz algebras.
The papers in this volume are organized into four parts: Lie algebras, superalgebras, and groups; Leibniz algebras; associative and Jordan algebras; and other non-associative structures. They cover a variety of topics, including classification problems, special maps (automorphisms, derivations, etc.), constructions that relate different structures, and representation theory.
One of the unique features of NAART is that it is open to all topics related to non-associative algebras, including octonion algebras, composite algebras, Banach algebras, connections with geometry, applications in coding theory, combinatorial problems, and more. This diversity allows researchers from a range of fields to find the conference subjects interesting and discover connections with their own areas, even if they are not traditionally considered non-associative algebraists.
Since its inception in 2011, NAART has been committed to fostering cross-disciplinary connections in the study of non-associative structures.
Part 1: Lie Algebras, Superalgebras and Groups.- 1.Local derivations of
classical simple Lie algebras (S. Ayupov, K. Kudaybergenov).- 2. Examples and
patterns on quadratic Lie algebras (P. Benito and J. Roldan-Lopez).-
3.
Reductive homogeneous spaces of the compact Lie group G2 (C. Draper and F. J.
Palomo).-
4. On certain algebraic structures associated with Lie
(super)algebras(N. Kamiya).-
5. Schreier's type formulae and two scales for
growth of Lie algebras and groups (V. Petrogradsky).- Part 2: Leibniz
Algebras.-
6. Universal central extensions of compatible Leibniz algebras
(J.M.C Miras, M. Ladra).-
7. On some properties of generalized
Lie-derivations of Leibniz algebras (J.M.C Miras, N.P. Rego).-
8.
Biderivations of low-dimensional Leibniz algebras (M. Mancini).-
9. Poisson
structure on the invariants of pairs of matrices (R. Turdibaev).- Part
3.
Associative and Jordan Algebras and Related Structures.-
10. Automorphisms,
derivations and gradings of the split quartic Cayley algebra (V. Blasco and
A. Daza-Garcia).-
11. On a Theorem of Brauer-Cartan-Hua type in superalgebras
(J. Laliena).-
12. Growth functions of Jordan algebras (C. Martinez and E.
Zelmanov).-
13. The image of polynomials in one variable on the algebra of 3
x 3 upper triangular matrices (T.C. de Mello and D.Rodrigues).- Part 4: Other
Nonassociative Structures.- 14. Simultaneous orthogonalization of inner
products over arbitrary fields (Y. Cabrera, C. Gil, D. Martin and C.
Martin).-
15. Invariant theory of free bicommutative algebras (V. Drensky).-
16. An approach to the classification of finite semifields by quantum
computing (J.M.H. Caceres, I.F. Rua).- 17.On ideals and derived and central
descending series of n-ary Hom-algebras (A. Kitouni, S. Mboya, E. Ongong'a,
S. Silvestrov).-
18. Okubo algebras with isotropic norm (A. Elduque).
Format: Hardback, 227 pages, height x width: 235x155 mm, XIII, 227 p.,
Pub. Date: 15-Sep-2023
ISBN-13: 9783031372599
This book offers the first comprehensive presentation of measure-valued solutions for nonlinear deterministic and stochastic evolution equations on infinite dimensional Banach spaces. Unlike traditional solutions, measure-valued solutions allow for a much broader class of abstract evolution equations to be addressed, providing a broader approach.
The book presents extensive results on the existence of measure-valued solutions for differential equations that have no solutions in the usual sense. It covers a range of topics, including evolution equations with continuous/discontinuous vector fields, neutral evolution equations subject to vector measures as impulsive forces, stochastic evolution equations, and optimal control of evolution equations. The optimal control problems considered cover the existence of solutions, necessary conditions of optimality, and more, significantly complementing the existing literature.
This book will be of great interest to researchers in functional analysis, partial differential equations, dynamic systems and their optimal control, and their applications, advancing previous research and providing a foundation for further exploration of the field.
1. Background Materials From Analysis. -
2. Measure Solutions for
Deterministic Evolution Equations. -
3. Measure Solutions for Impulsive
Systems. -
4. Measure Solutions for Stochastic Systems. -
5. Measure
Solutions for Neutral Evolution Equations. -
6. Optimal Control of Evolution
Equations. -
7. Examples From Physical Sciences.