D Finite Functions

Defined as solutions of linear differential or difference equations with polynomial coefficients, D-finite functions play an important role in various areas of mathematics. This book is a comprehensive introduction to the theory of these functions with a special emphasis on computer algebra algorithms for computing with them: algorithms for detecting relations from given data, for evaluating D-finite functions, for executing closure properties, for obtaining various kinds of “explicit” expressions, for factoring operators, and for definite and indefinite symbolic summation and integration are explained in detail. The book comes “with batteries included” in the sense that it requires no background in computer algebra as the relevant facts from this area are summarized in the beginning. This makes the book accessible to a wide range of readers, from mathematics students who plan to work themselves on D-finite functions to researchers who want to apply the theory to their own work. Hundreds of exercises invite the reader to apply the techniques in the book and explore further aspects of the theory on their own. Solutions to all exercises are given in the appendix. When algorithms for D-finite functions came up in the early 1990s, computer proofs were met with a certain skepticism. Fortunately, these times are over and computer algebra has become a standard tool for many mathematicians. Yet, this powerful machinery is still not as widely known as it deserves. This book helps to spread the word that certain tasks can be safely delegated to a computer algebra system, and also what the limitations of these techniques are.

This book constitutes the refereed proceedings of the 8th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2019, held in Gebze, Turkey, in November 2019. The 22 revised papers and 14 short papers presented were carefully reviewed and selected from 66 submissions. The papers are organized in the following topical sections: algorithms and foundation; security and cryptography; combinatorics, codes, designs and graphs; data modeling and machine learning; tools and software track.

This volume gives an up-to-date review of the subject Integration in Finite Terms. The book collects four significant texts together with an extensive bibliography and commentaries discussing these works and their impact. These texts, either out of print or never published before, are fundamental to the subject of the book. Applications in combinatorics and physics have aroused a renewed interest in this well-developed area devoted to finding solutions of differential equations and, in particular, antiderivatives, expressible in terms of classes of elementary and special functions.

This book elucidates how Finite Element methods look like from the perspective of Green’s functions, and shows new insights into the mathematical theory of Finite Elements. Practically, this new view on Finite Elements enables the reader to better assess solutions of standard programs and to find better model of a given problem. The book systematically introduces the basic concepts how Finite Elements fulfill the strategy of Green’s functions and how approximating of Green’s functions. It discusses in detail the discretization error and shows that are coherent with the strategy of “goal oriented refinement”. The book also gives much attention to the dependencies of FE solutions from the parameter set of the model.

Over the past several years, significant advances have been made in developing the discontinuous Galerkin finite element method for applications in fluid flow and heat transfer. Certain unique features of the method have made it attractive as an alternative for other popular methods such as finite volume and finite elements in thermal fluids engineering analyses. This book is written as an introductory textbook on the discontinuous finite element method for senior undergraduate and graduate students in the area of thermal science and fluid dynamics. It also can be used as a reference book for researchers and engineers who intend to use the method for research in computational fluid dynamics and heat transfer. A good portion of this book has been used in a course for computational fluid dynamics and heat transfer for senior undergraduate and first year graduate students. It also has been used by some graduate students for self-study of the basics of discontinuous finite elements. This monograph assumes that readers have a basic understanding of thermodynamics, fluid mechanics and heat transfer and some background in numerical analysis. Knowledge of continuous finite elements is not necessary but will be helpful. The book covers the application of the method for the simulation of both macroscopic and micro/nanoscale fluid flow and heat transfer phenomena.

The book focuses on advanced computer algebra methods and special functions that have striking applications in the context of quantum field theory. It presents the state of the art and new methods for (infinite) multiple sums, multiple integrals, in particular Feynman integrals, difference and differential equations in the format of survey articles. The presented techniques emerge from interdisciplinary fields: mathematics, computer science and theoretical physics; the articles are written by mathematicians and physicists with the goal that both groups can learn from the other field, including most recent developments. Besides that, the collection of articles also serves as an up-to-date handbook of available algorithms/software that are commonly used or might be useful in the fields of mathematics, physics or other sciences.

The book is the first systematical treatment of the theory of finite elements in Archimedean vector lattices and contains the results known on this topic up to the year 2013. It joins all important contributions achieved by a series of mathematicians that can only be found in scattered in literature.