Seems you have not registered as a member of localhost.saystem.shop!
You may have to register before you can download all our books and magazines, click the sign up button below to create a free account.
Algebraic and Algorithmic Aspects of Differential and Integral Operators
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.
Differential Equations with Symbolic Computation
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.
From Combinatorics to Dynamical Systems
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.
Formal and Analytic Solutions of Diff. Equations
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...
Mathematical Software – ICMS 2016
This book constitutes the proceedings of the 5th International Conference on Mathematical Software, ICMS 2015, held in Berlin, Germany, in July 2016. The 68 papers included in this volume were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections named: univalent foundations and proof assistants; software for mathematical reasoning and applications; algebraic and toric geometry; algebraic geometry in applications; software of polynomial systems; software for numerically solving polynomial systems; high-precision arithmetic, effective analysis, and special functions; mathematical optimization; interactive operation to scientific artwork and mathematical reasoning; information services for mathematics: software, services, models, and data; semDML: towards a semantic layer of a world digital mathematical library; miscellanea.
Latest Advances in Symbolic Algorithms
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.
Computer Algebra 2006
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.
Analytic, Algebraic and Geometric Aspects of Differential Equations
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...
Computer Algebra in Scientific Computing
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.
Computer Algebra in Scientific Computing
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.
