D-Finite Functions (Record no. 59995)

000 -LEADER
fixed length control field 02536 a2200217 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 240108b |||||||| |||| 00| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 9783031346514(HB)
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title eng
080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER
Universal Decimal Classification number 519.1
Item number KAU
100 ## - MAIN ENTRY--AUTHOR NAME
Personal name Kauers, Manuel
245 ## - TITLE STATEMENT
Title D-Finite Functions
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Name of publisher Springer
Year of publication 2023
Place of publication Linz, Austria
300 ## - PHYSICAL DESCRIPTION
Number of Pages 664p
490 ## - SERIES STATEMENT
Series statement Algorithms and Computation in Mathematics
Volume number/sequential designation 30
505 ## - FORMATTED CONTENTS NOTE
Formatted contents note Chapter. 1. Background and fundamental concepts Chapter. 2. The recurrence case in one variable Chapter. 3. The differential case in one variable Chapter. 4. Operators Chapter. 5. Summation and integration Answers to Exercises Software Notations References Index
520 ## - SUMMARY, ETC.
Summary, etc 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
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Difference equations Differential equations,
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Linear Équations aux différences Équations différentielles linéaires
690 ## - LOCAL SUBJECT ADDED ENTRY--TOPICAL TERM (OCLC, RLIN)
Topical term or geographic name as entry element Mathematics
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type BOOKS
Holdings
Withdrawn status Lost status Damaged status Not for loan Current library Shelving location Full call number Accession Number Koha item type
        IMSc Library First floor, Rack No: 34, Shelf No: 36 519.1 KAU 77482 BOOKS
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha