D-Finite Functions
D-Finite Functions

Author: Manuel Kauers

Publisher: Springer Nature

Published: 2023-11-08

Total Pages: 669

ISBN-13: 3031346521

DOWNLOAD EBOOK

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.

Finite Difference Methods for Ordinary and Partial Differential Equations
Finite Difference Methods for Ordinary and Partial Differential Equations

Author: Randall J. LeVeque

Publisher: SIAM

Published: 2007-01-01

Total Pages: 356

ISBN-13: 9780898717839

DOWNLOAD EBOOK

This book introduces finite difference methods for both ordinary differential equations (ODEs) and partial differential equations (PDEs) and discusses the similarities and differences between algorithm design and stability analysis for different types of equations. A unified view of stability theory for ODEs and PDEs is presented, and the interplay between ODE and PDE analysis is stressed. The text emphasizes standard classical methods, but several newer approaches also are introduced and are described in the context of simple motivating examples.

Function Algebras on Finite Sets
Function Algebras on Finite Sets

Author: Dietlinde Lau

Publisher: Springer Science & Business Media

Published: 2006-11-23

Total Pages: 668

ISBN-13: 3540360239

DOWNLOAD EBOOK

Function Algebras on Finite Sets gives a broad introduction to the subject, leading up to the cutting edge of research. The general concepts of the Universal Algebra are given in the first part of the book, to familiarize the reader from the very beginning on with the algebraic side of function algebras. The second part covers the following topics: Galois-connection between function algebras and relation algebras, completeness criterions, and clone theory.

Automated Solution of Differential Equations by the Finite Element Method
Automated Solution of Differential Equations by the Finite Element Method

Author: Anders Logg

Publisher: Springer Science & Business Media

Published: 2012-02-24

Total Pages: 723

ISBN-13: 3642230997

DOWNLOAD EBOOK

This book is a tutorial written by researchers and developers behind the FEniCS Project and explores an advanced, expressive approach to the development of mathematical software. The presentation spans mathematical background, software design and the use of FEniCS in applications. Theoretical aspects are complemented with computer code which is available as free/open source software. The book begins with a special introductory tutorial for beginners. Following are chapters in Part I addressing fundamental aspects of the approach to automating the creation of finite element solvers. Chapters in Part II address the design and implementation of the FEnicS software. Chapters in Part III present the application of FEniCS to a wide range of applications, including fluid flow, solid mechanics, electromagnetics and geophysics.

Enumerative Combinatorics: Volume 2
Enumerative Combinatorics: Volume 2

Author: Richard P. Stanley

Publisher: Cambridge University Press

Published: 2001-06-04

Total Pages: 600

ISBN-13: 9780521789875

DOWNLOAD EBOOK

An introduction, suitable for beginning graduate students, showing connections to other areas of mathematics.

Numerical Methods for Partial Differential Equations
Numerical Methods for Partial Differential Equations

Author: Sandip Mazumder

Publisher: Academic Press

Published: 2015-12-01

Total Pages: 484

ISBN-13: 0128035048

DOWNLOAD EBOOK

Numerical Methods for Partial Differential Equations: Finite Difference and Finite Volume Methods focuses on two popular deterministic methods for solving partial differential equations (PDEs), namely finite difference and finite volume methods. The solution of PDEs can be very challenging, depending on the type of equation, the number of independent variables, the boundary, and initial conditions, and other factors. These two methods have been traditionally used to solve problems involving fluid flow. For practical reasons, the finite element method, used more often for solving problems in solid mechanics, and covered extensively in various other texts, has been excluded. The book is intended for beginning graduate students and early career professionals, although advanced undergraduate students may find it equally useful. The material is meant to serve as a prerequisite for students who might go on to take additional courses in computational mechanics, computational fluid dynamics, or computational electromagnetics. The notations, language, and technical jargon used in the book can be easily understood by scientists and engineers who may not have had graduate-level applied mathematics or computer science courses. - Presents one of the few available resources that comprehensively describes and demonstrates the finite volume method for unstructured mesh used frequently by practicing code developers in industry - Includes step-by-step algorithms and code snippets in each chapter that enables the reader to make the transition from equations on the page to working codes - Includes 51 worked out examples that comprehensively demonstrate important mathematical steps, algorithms, and coding practices required to numerically solve PDEs, as well as how to interpret the results from both physical and mathematic perspectives

Mathematical Aspects of Computer and Information Sciences
Mathematical Aspects of Computer and Information Sciences

Author: Daniel Slamanig

Publisher: Springer Nature

Published: 2020-03-18

Total Pages: 469

ISBN-13: 3030431207

DOWNLOAD EBOOK

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.

Analytic Combinatorics
Analytic Combinatorics

Author: Marni Mishna

Publisher: CRC Press

Published: 2019-11-29

Total Pages: 196

ISBN-13: 1351036807

DOWNLOAD EBOOK

Analytic Combinatorics: A Multidimensional Approach is written in a reader-friendly fashion to better facilitate the understanding of the subject. Naturally, it is a firm introduction to the concept of analytic combinatorics and is a valuable tool to help readers better understand the structure and large-scale behavior of discrete objects. Primarily, the textbook is a gateway to the interactions between complex analysis and combinatorics. The study will lead readers through connections to number theory, algebraic geometry, probability and formal language theory. The textbook starts by discussing objects that can be enumerated using generating functions, such as tree classes and lattice walks. It also introduces multivariate generating functions including the topics of the kernel method, and diagonal constructions. The second part explains methods of counting these objects, which involves deep mathematics coming from outside combinatorics, such as complex analysis and geometry. Features Written with combinatorics-centric exposition to illustrate advanced analytic techniques Each chapter includes problems, exercises, and reviews of the material discussed in them Includes a comprehensive glossary, as well as lists of figures and symbols About the author Marni Mishna is a professor of mathematics at Simon Fraser University in British Columbia. Her research investigates interactions between discrete structures and many diverse areas such as representation theory, functional equation theory, and algebraic geometry. Her specialty is the development of analytic tools to study the large-scale behavior of discrete objects.

Functional Analysis, Sobolev Spaces and Partial Differential Equations
Functional Analysis, Sobolev Spaces and Partial Differential Equations

Author: Haim Brezis

Publisher: Springer Science & Business Media

Published: 2010-11-02

Total Pages: 600

ISBN-13: 0387709142

DOWNLOAD EBOOK

This textbook is a completely revised, updated, and expanded English edition of the important Analyse fonctionnelle (1983). In addition, it contains a wealth of problems and exercises (with solutions) to guide the reader. Uniquely, this book presents in a coherent, concise and unified way the main results from functional analysis together with the main results from the theory of partial differential equations (PDEs). Although there are many books on functional analysis and many on PDEs, this is the first to cover both of these closely connected topics. Since the French book was first published, it has been translated into Spanish, Italian, Japanese, Korean, Romanian, Greek and Chinese. The English edition makes a welcome addition to this list.