You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book presents the state-of-the-art in tackling differential equations using advanced methods and software tools of symbolic computation. It focuses on the symbolic-computational aspects of three kinds of fundamental problems in differential equations: transforming the equations, solving the equations, and studying the structure and properties of their solutions.
This book constitutes the proceedings of the 5th International Meeting on Algebraic and Algorithmic Aspects of Differential and Integral Operators, AADIOS 2012, held at the Applications of Computer Algebra Conference in Sofia, Bulgaria, on June 25-28, 2012. The total of 9 papers presented in this volume consists of 2 invited papers and 7 regular papers which were carefully reviewed and selected from 13 submissions. The topics of interest are: symbolic computation for operator algebras, factorization of differential/integral operators, linear boundary problems and green's operators, initial value problems for differential equations, symbolic integration and differential galois theory, symbolic operator calculi, algorithmic D-module theory, rota-baxter algebra, differential algebra, as well as discrete analogs and software aspects of the above.
This volume contains nine refereed research papers in various areas from combinatorics to dynamical systems, with computer algebra as an underlying and unifying theme. Topics covered include irregular connections, rank reduction and summability of solutions of differential systems, asymptotic behaviour of divergent series, integrability of Hamiltonian systems, multiple zeta values, quasi-polynomial formalism, Padé approximants related to analytic integrability, hybrid systems. The interactions between computer algebra, dynamical systems and combinatorics discussed in this volume should be useful for both mathematicians and theoretical physicists who are interested in effective computation.
These proceedings provide methods, techniques, different mathematical tools and recent results in the study of formal and analytic solutions to Diff. (differential, partial differential, difference, q-difference, q-difference-differential.... ) Equations. They consist of selected contributions from the conference "Formal and Analytic Solutions of Diff. Equations", held at Alcalá de Henares, Spain during September 4-8, 2017. Their topics include summability and asymptotic study of both ordinary and partial differential equations. The volume is divided into four parts. The first paper is a survey of the elements of nonlinear analysis. It describes the algorithms to obtain asymptotic expansion...
Written by world-renowned experts, the book is a collection of tutorial presentations and research papers catering to the latest advances in symbolic summation, factorization, symbolic-numeric linear algebra and linear functional equations. The papers were presented at a workshop celebrating the 60th birthday of Sergei Abramov (Russia), whose highly influential contributions to symbolic methods are adopted in many leading computer algebra systems.
Written by world-renowned experts, the book is a collection of tutorial presentations and research papers catering to the latest advances in symbolic summation, factorization, symbolic-numeric linear algebra and linear functional equations. The papers were presented at a workshop celebrating the 60th birthday of Sergei Abramov (Russia), whose highly influential contributions to symbolic methods are adopted in many leading computer algebra systems.
This volume consists of invited lecture notes, survey papers and original research papers from the AAGADE school and conference held in Będlewo, Poland in September 2015. The contributions provide an overview of the current level of interaction between algebra, geometry and analysis and demonstrate the manifold aspects of the theory of ordinary and partial differential equations, while also pointing out the highly fruitful interrelations between those aspects. These interactions continue to yield new developments, not only in the theory of differential equations but also in several related areas of mathematics and physics such as differential geometry, representation theory, number theory a...
This book constitutes the refereed proceedings of the 21st International Workshop on Computer Algebra in Scientific Computing, CASC 2019, held in Moscow, Russia, in August 2019. The 28 full papers presented together with 2 invited talks were carefully reviewed and selected from 44 submissions. They deal with cutting-edge research in all major disciplines of computer algebra. The papers cover topics such as polynomial algebra, symbolic and symbolic-numerical computation, applications of symbolic computation for investigating and solving ordinary differential equations, applications of CASs in the investigation and solution of celestial mechanics problems, and in mechanics, physics, and robotics.
This book constitutes the proceedings of the 23rd International Workshop on Computer Algebra in Scientific Computing, CASC 2021, held in Sochi, Russia, in September 2021. The 24 full papers presented together with 1 invited talk were carefully reviewed and selected from 40 submissions. The papers cover theoretical computer algebra and its applications in scientific computing.
This book constitutes the proceedings of the 17th International Workshop on Computer Algebra in Scientific Computing, CASC 2015, held in Aachen, Germany, in September 2015. The 35 full papers presented in this volume were carefully reviewed and selected from 42 submissions. They deal with the ongoing progress both in theoretical computer algebra and its expanding applications. New and closer interactions are fostered by combining the area of computer algebra methods and systems and the application of the tools of computer algebra for the solution of problems in scientific computing.