Algebraic and Algorithmic Aspects of Differential and Integral Operators 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers
tarafından
 
Barkatou, Moulay. editor.

Başlık
Algebraic and Algorithmic Aspects of Differential and Integral Operators 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers

Yazar
Barkatou, Moulay. editor.

ISBN
9783642544798

Fiziksel Niteleme
XII, 201 p. online resource.

Seri
Lecture Notes in Computer Science, 8372

İçindekiler
Constructions of Free Commutative Integro-Differential Algebras -- Basic Module Theory over Non-commutative Rings with Computational Aspects of Operator Algebras -- Operational Calculi for Nonlocal Cauchy Problems in Resonance Cases -- Intertwining Laplace Transformations of Linear Partial Differential Equations -- Composing and Factoring Generalized Green’s Operators and Ordinary Boundary Problems -- Relativistic Coulomb Integrals and Zeilberger’s Holonomic Systems Approach II -- Multivariate Dimension Polynomials of Inversive Difference Field Extensions -- Differential (Monoid) Algebra and More -- Exact Solution of Local and Nonlocal BVPs for the Laplace Equation in a Rectangle.

Özet
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.

Konu Başlığı
Computer science.
 
Algorithms.
 
Computer logic.
 
Mathematical logic.
 
Computer science -- Mathematics.
 
Partial differential equations.
 
Logics and Meanings of Programs.
 
Mathematical Logic and Formal Languages.
 
Discrete Mathematics in Computer Science.
 
Algorithm Analysis and Problem Complexity.
 
Symbolic and Algebraic Manipulation.

Yazar Ek Girişi
Barkatou, Moulay.
 
Cluzeau, Thomas.
 
Regensburger, Georg.
 
Rosenkranz, Markus.

Ek Kurum Yazar
SpringerLink (Online service)

Elektronik Erişim
http://dx.doi.org/10.1007/978-3-642-54479-8


Materyal TürüBarkodYer NumarasıDurumu/İade Tarihi
Electronic Book24009-1001QA76.9 .L63Springer E-Book Collection