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 / edited by Moulay Barkatou, Thomas Cluzeau, Georg Regensburger, Markus Rosenkranz.

Format:

Book

Contributor:

Barkatou, Moulay, editor.

Cluzeau, Thomas, editor.

Regensburger, Georg, editor.

Rosenkranz, Markus, 1971- editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

LNCS sublibrary. Theoretical computer science and general issues ; SL 1, 8372.

Theoretical Computer Science and General Issues ; 8372

Language:

English

Subjects (All):

Computer logic.

Logic, Symbolic and mathematical.

Computer science--Mathematics.

Computer science.

Algorithms.

Differential equations, Partial.

Logics and Meanings of Programs.

Mathematical Logic and Formal Languages.

Discrete Mathematics in Computer Science.

Algorithm Analysis and Problem Complexity.

Symbolic and Algebraic Manipulation.

Partial Differential Equations.

Local Subjects:

Logics and Meanings of Programs.

Mathematical Logic and Formal Languages.

Discrete Mathematics in Computer Science.

Algorithm Analysis and Problem Complexity.

Symbolic and Algebraic Manipulation.

Partial Differential Equations.

Physical Description:

1 online resource (XII, 201 pages).

Edition:

First edition 2014.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.

System Details:

text file PDF

Summary:

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.

Contents:

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.

Other Format:

Printed edition:

ISBN:

978-3-642-54479-8

9783642544798

Access Restriction:

Restricted for use by site license.