000 04199nam a22006495i 4500
001 vtls000545082
003 RU-ToGU
005 20210922083141.0
007 cr nn 008mamaa
008 160915s2014 gw | s |||| 0|eng d
020 _a9783642544798
_9978-3-642-54479-8
024 7 _a10.1007/978-3-642-54479-8
_2doi
035 _ato000545082
040 _aSpringer
_cSpringer
_dRU-ToGU
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
_helectronic 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.
260 _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
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.
_9155490
650 0 _aComputer software.
_9303280
650 0 _aLogic design.
_9306256
650 0 _aComputational complexity.
_9304814
650 0 _aAlgebra
_xData processing.
_9304851
650 0 _aDifferential equations, partial.
_9303599
650 1 4 _aComputer Science.
_9155490
650 2 4 _aLogics and Meanings of Programs.
_9306257
650 2 4 _aMathematical Logic and Formal Languages.
_9303363
650 2 4 _aDiscrete Mathematics in Computer Science.
_9304816
650 2 4 _aAlgorithm Analysis and Problem Complexity.
_9303732
650 2 4 _aSymbolic and Algebraic Manipulation.
_9566359
650 2 4 _aPartial Differential Equations.
_9303602
700 1 _aBarkatou, Moulay.
_eeditor.
_9452800
700 1 _aCluzeau, Thomas.
_eeditor.
_9452801
700 1 _aRegensburger, Georg.
_eeditor.
_9329266
700 1 _aRosenkranz, Markus.
_eeditor.
_9329267
710 2 _aSpringerLink (Online service)
_9143950
773 0 _tSpringer eBooks
830 0 _aLecture Notes in Computer Science,
_9279505
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-642-54479-8
912 _aZDB-2-SCS
912 _aZDB-2-LNC
999 _c402634