Refine Results
Sort By
From
To
Page 1
Page 1
Complex Systems in Biomedicine
Features contributions from several Italian research groups that are working on the field of biomedicine. Each chapter in this book deals with a specific subfield, with the aim of providing an overview of the subject and an account of the research results.
Applied Proof Theory : Proof Interpretations and Their Use in Mathematics
Ulrich Kohlenbach presents an applied form of proof theory that has led in recent years to new results in number theory, approximation theory, nonlinear analysis, geodesic geometry and ergodic theory (among others). This applied approach is based on logical transformations (so-called proof interpretations) and concerns the extraction of effective data (such as bounds) from prima facie ineffective proofs as well as new qualitative results such as independence of solutions from certain parameters, generalizations of proofs by elimination of premises. The book first develops the necessary logical machinery emphasizing novel forms of Gödel's famous functional ('Dialectica') interpretation. It then establishes general logical metatheorems that connect these techniques with concrete mathematics. Finally, two extended case studies (one in approximation theory and one in fixed point theory) show in detail how this machinery can be applied to concrete proofs in different areas of mathematics.
Applicazioni ed esercizi di modellistica numerica per problemi differenziali = Applications and exercises in numerical modeling for differential problems
Contains a collection of exercises related to typical topics in a course on analytical and numerical methods offered in a degree program in Engineering or Mathematics. Starting with exercises in functional analysis and approximation theory, the text develops problems related to the numerical resolution of elliptic, parabolic, and hyperbolic partial differential equations, scalar or vector, in one or more spatial dimensions. Pure diffusion and pure convection problems are therefore addressed, alongside diffusion-transport problems and problems in compressible and incompressible fluid dynamics. Particular emphasis is given to the finite element method for the spatial discretization of the problems considered, although exercises on the finite difference and finite volume methods are also included.
