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 /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Barkatou, Moulay (Επιμελητής έκδοσης), Cluzeau, Thomas (Επιμελητής έκδοσης), Regensburger, Georg (Επιμελητής έκδοσης), Rosenkranz, Markus (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
• Σειρά: Lecture Notes in Computer Science, 8372
• Θέματα: Computer science.; Algorithms.; Computer logic.; Mathematical logic.; Computer science > Mathematics.; Partial differential equations.; Computer Science.; 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.
• Φυσική περιγραφή: XII, 201 p. online resource.
• ISBN: 9783642544798
• ISSN: 0302-9743 ;

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.