000 04260nam a22006495i 4500
001 978-3-642-54479-8
003 DE-He213
005 20240423130230.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 _aQA75.5-76.95
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
082 0 4 _a004.0151
_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.
250 _a1st ed. 2014.
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 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_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 _aMachine theory.
650 0 _aComputer science
_xMathematics.
650 0 _aDiscrete mathematics.
650 0 _aAlgorithms.
650 0 _aDifferential equations.
650 1 4 _aComputer Science Logic and Foundations of Programming.
650 2 4 _aFormal Languages and Automata Theory.
650 2 4 _aDiscrete Mathematics in Computer Science.
650 2 4 _aAlgorithms.
650 2 4 _aSymbolic and Algebraic Manipulation.
650 2 4 _aDifferential Equations.
700 1 _aBarkatou, Moulay.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aCluzeau, Thomas.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aRegensburger, Georg.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aRosenkranz, Markus.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783642544781
776 0 8 _iPrinted edition:
_z9783642544804
830 0 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v8372
856 4 0 _uhttps://doi.org/10.1007/978-3-642-54479-8
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cSPRINGER
999 _c186445
_d186445