000 03999nam a22006495i 4500
001 978-3-642-54479-8
003 DE-He213
005 20200420221256.0
007 cr nn 008mamaa
008 140225s2014 gw | s |||| 0|eng d
020 _a9783642544798
_9978-3-642-54479-8
024 7 _a10.1007/978-3-642-54479-8
_2doi
050 4 _aQA76.9.L63
050 4 _aQA76.5913
050 4 _aQA76.63
072 7 _aUM
_2bicssc
072 7 _aUYF
_2bicssc
072 7 _aCOM051000
_2bisacsh
072 7 _aCOM036000
_2bisacsh
082 0 4 _a005.1015113
_223
245 1 0 _aAlgebraic and Algorithmic Aspects of Differential and Integral Operators
_h[electronic resource] :
_b5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers /
_cedited by Moulay Barkatou, Thomas Cluzeau, Georg Regensburger, Markus Rosenkranz.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2014.
300 _aXII, 201 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v8372
505 0 _aConstructions 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.
520 _aThis 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.
650 0 _aComputer science.
650 0 _aAlgorithms.
650 0 _aComputer logic.
650 0 _aMathematical logic.
650 0 _aComputer science
_xMathematics.
650 0 _aPartial differential equations.
650 1 4 _aComputer Science.
650 2 4 _aLogics and Meanings of Programs.
650 2 4 _aMathematical Logic and Formal Languages.
650 2 4 _aDiscrete Mathematics in Computer Science.
650 2 4 _aAlgorithm Analysis and Problem Complexity.
650 2 4 _aSymbolic and Algebraic Manipulation.
650 2 4 _aPartial Differential Equations.
700 1 _aBarkatou, Moulay.
_eeditor.
700 1 _aCluzeau, Thomas.
_eeditor.
700 1 _aRegensburger, Georg.
_eeditor.
700 1 _aRosenkranz, Markus.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783642544781
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v8372
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-642-54479-8
912 _aZDB-2-SCS
912 _aZDB-2-LNC
942 _cEBK
999 _c52911
_d52911