{"title":"Texts And Monographs In Symbolic Computation Ser","description":null,"products":[{"product_id":"symbolic-computation-of-integrability-structures-for-partial-differential-equati-book-joseph-krasil-shchik-9783030100889","title":"The Symbolic Computation of Integrability Structures for Partial Differential Equations","description":"This is the first book devoted to the task of computing integrability structures by computer. The symbolic computation of integrability operator is a computationally hard problem and the book covers a huge number of situations through tutorials. The mathematical part of the book is a new approach to integrability structures that allows to treat all of them in a unified way. The software is an official package of Reduce. Reduce is free software, so everybody can download it and make experiments using the programs available at our website.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51728327115025,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ GARDNERS","offer_id":51728327639313,"sku":"NGR9783030100889","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/303010088X.jpg?v=1751284659"},{"product_id":"correct-software-in-web-applications-and-web-services-book-bernhard-thalheim-9783319171111","title":"Correct Software in Web Applications and Web Services","description":"The papers in this volume aim at obtaining a common understanding of the challenging research questions in web applications comprising web information systems, web services, and web interoperability; obtaining a common understanding of verification needs in web applications; achieving a common understanding of the available rigorous approaches to system development, and the cases in which they have succeeded; identifying how rigorous software engineering methods can be exploited to develop suitable web applications; and at developing a European-scale research agenda combining theory, methods and tools that would lead to suitable web applications with the potential to implement systems for computation in the public domain.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52129756184849,"sku":"NLS9783319171111","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319171111.jpg?v=1757497871"},{"product_id":"quantifier-elimination-and-cylindrical-algebraic-decomposition-book-bob-f-caviness-9783211827949","title":"Quantifier Elimination and Cylindrical Algebraic Decomposition","description":"George Collins' discovery of Cylindrical Algebraic Decomposition (CAD) as a method for Quantifier Elimination (QE) for the elementary theory of real closed fields brought a major breakthrough in automating mathematics with recent important applications in high-tech areas (e.g. robot motion), also stimulating fundamental research in computer algebra over the past three decades. This volume is a state-of-the art collection of important papers on CAD and QE and on the related area of algorithmic aspects of real geometry. In addition to original contributions by S. Basu et al., L. Gonz lez-Vega et al., G. Hagel, H. Hong and J.R. Sendra, J.R. Johnson, S. McCallum, D. Richardson, and V. Weispfenning and a survey by G.E. Collins outlining the twenty-year progress in CAD-based QE it brings together seminal publications from the area: A. Tarski: A Decision Method for Elementary Algebra and Geometry G.E. Collins: Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition M.J. Fischer and M.O. Rabin: Super-Exponential Complexity of Presburger Arithmetic D.S. Arnon et al.: Cylindrical Algebraic Decomposition I: The Basic Algorithm; I: An Adjacency Algorithm for the Plane H. Hong: An Improvement of the Projection Operator in Cyclindrical Algebraic Decomposition G.E. Collins and H. Hong: Partial Cylindrical Algebraic Decomposition for Quantifier Elimination H. Hong: Simple Solution Formula Construction in Cylindrical Algebraic Decomposition Based Quantifier Elimination J. Renegar: Recent Progress on the Complexity of the Decision Problem for the Reals","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52143935455505,"sku":"NLS9783211827949","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783211827949.jpg?v=1757586649"},{"product_id":"computer-algebra-in-quantum-field-theory-book-carsten-schneider-9783709116159","title":"Computer Algebra in Quantum Field Theory","description":"The book focuses on advanced computer algebra methods and special functions that have striking applications in the context of quantum field theory.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52147974504721,"sku":"NLS9783709116159","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783709116159.jpg?v=1757602215"},{"product_id":"anti-differentiation-and-the-calculation-of-feynman-amplitudes-book-carsten-schneider-9783030802189","title":"Anti-Differentiation and the Calculation of Feynman Amplitudes","description":"This volume comprises review papers presented at the Conference on Antidifferentiation and the Calculation of Feynman Amplitudes, held in Zeuthen, Germany, in October 2020, and a few additional invited reviews.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52150720561425,"sku":"NLS9783030802189","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030802189.jpg?v=1757610989"},{"product_id":"symbolic-computation-of-integrability-structures-for-partial-differential-equati-book-joseph-krasil-shchik-9783319716541","title":"The Symbolic Computation of Integrability Structures for Partial Differential Equations","description":"This is the first book devoted to the task of computing integrability structures by computer. The symbolic computation of integrability operator is a computationally hard problem and the book covers a huge number of situations through tutorials. The mathematical part of the book is a new approach to integrability structures that allows to treat all of them in a unified way. The software is an official package of Reduce. Reduce is free software, so everybody can download it and make experiments using the programs available at our website.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52349156065553,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52349159735569,"sku":"NLS9783319716541","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319716541.jpg?v=1758179025"},{"product_id":"integration-in-finite-terms-fundamental-sources-book-clemens-g-raab-9783030987664","title":"Integration in Finite Terms: Fundamental Sources","description":"This volume gives an up-to-date review of the subject Integration in Finite Terms.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52403992625425,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52403993411857,"sku":"NLS9783030987664","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030987664.jpg?v=1758762950"},{"product_id":"invitation-to-analytic-combinatorics-book-stephen-melczer-9783030670825","title":"An Invitation to Analytic Combinatorics","description":"This book uses new mathematical tools to examine broad computability and complexity questions in enumerative combinatorics, with applications to other areas of mathematics, theoretical computer science, and physics. A focus on effective algorithms leads to the development of computer algebra software of use to researchers in these domains.    After a survey of current results and open problems on decidability in enumerative combinatorics, the text shows how the cutting edge of this research is the new domain of Analytic Combinatorics in Several Variables (ACSV). The remaining chapters of the text alternate between a pedagogical development of the theory, applications (including the resolution by this author of conjectures in lattice path enumeration which resisted several other approaches), and the development of algorithms. The final chapters in the text show, through examples and general theory, how results from stratified Morse theorycan help refine some of these computability questions.    Complementing the written presentation are over 50 worksheets for the SageMath and Maple computer algebra systems working through examples in the text.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52407463805201,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52407464526097,"sku":"NLS9783030670825","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030670825.jpg?v=1758772288"},{"product_id":"polynomial-algorithms-in-computer-algebra-book-franz-winkler-9783211827598","title":"Polynomial Algorithms in Computer Algebra","description":"For several years now I have been teaching courses in computer algebra at the Universitat Linz, the University of Delaware, and the Universidad de Alcala de Henares. In the summers of 1990 and 1992 I have organized and taught summer schools in computer algebra at the Universitat Linz. Gradually a set of course notes has emerged from these activities. People have asked me for copies of the course notes, and different versions of them have been circulating for a few years. Finally I decided that I should really take the time to write the material up in a coherent way and make a book out of it. Here, now, is the result of this work. Over the years many students have been helpful in improving the quality of the notes, and also several colleagues at Linz and elsewhere have contributed to it. I want to thank them all for their effort, in particular I want to thank B. Buchberger, who taught me the theory of Grabner bases nearly two decades ago, B. F. Caviness and B. D. Saunders, who first stimulated my interest in various problems in computer algebra, G. E. Collins, who showed me how to compute in algebraic domains, and J. R. Sendra, with whom I started to apply computer algebra methods to problems in algebraic geometry. Several colleagues have suggested improvements in earlier versions of this book. However, I want to make it clear that I am responsible for all remaining mistakes.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52426211950865,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52426212638993,"sku":"NLS9783211827598","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783211827598.jpg?v=1759157050"},{"product_id":"computer-supported-calculus-book-a-ben-israel-9783709172308","title":"Computer-Supported Calculus","description":"This is a new type of calculus book: Students who master this text will be well versed in calculus and, in addition, possess a useful working knowledge of one of the most important mathematical software systems, namely, MACSYMA. This will equip them with the mathematical competence they need for science and engi- neering and the competitive workplace. The choice of MACSYMA is not essential for the didactic goal of the book. In fact, any of the other major mathematical software systems, e. g., AXIOM, MATHEMATICA, MAPLE, DERIVE, or REDUCE, could have been taken for the examples and for acquiring the skill in using these systems for doing mathematics on computers. The symbolic and numerical calcu- lations described in this book will be easily performed in any of these systems by slight modification of the syntax as soon as the student understands and masters the MACSYMA examples in this book. What is important, however, is that the student gets all the information necessary to design and execute the calculations in at least one concrete implementation language as this is done in this book and also that the use of the mathematical software system is completely integrated with the text. In these times of globalization, firms which are unable to hire adequately trained technology experts will not prosper. For corporations which depend heavily on sci- ence and engineering, remaining competitive in the global economy will require hiring employees having had a traditionally rigorous mathematical education.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52427544396049,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52427545542929,"sku":"NLS9783709172308","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783709172308.jpg?v=1759161318"},{"product_id":"mechanical-theorem-proving-in-geometries-book-wentsn-wu-9783211825068","title":"Mechanical Theorem Proving in Geometries","description":"There seems to be no doubt that geometry originates from such practical activ- ities as weather observation and terrain survey. But there are different manners, methods, and ways to raise the various experiences to the level of theory so that they finally constitute a science. F. Engels said, The objective of mathematics is the study of space forms and quantitative relations of the real world.  Dur- ing the time of the ancient Greeks, there were two different methods dealing with geometry: one, represented by the Euclid's Elements, purely pursued the logical relations among geometric entities, excluding completely the quantita- tive relations, as to establish the axiom system of geometry. This method has become a model of deduction methods in mathematics. The other, represented by the relevant work of Archimedes, focused on the study of quantitative re- lations of geometric objects as well as their measures such as the ratio of the circumference of a circle to its diameter and the area of a spherical surface and of a parabolic sector. Though these approaches vary in style, have their own features, and reflect different viewpoints in the development of geometry, both have made great contributions to the development of mathematics. The development of geometry in China was all along concerned with quanti- tative relations.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52428851052817,"sku":"NLS9783211825068","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783211825068.jpg?v=1759165368"},{"product_id":"thinking-programs-book-wolfgang-schreiner-9783030805098","title":"Thinking Programs","description":"This book describes some basic principles that allow developers of computer programs (computer scientists, software engineers, programmers) to clearly think about the artifacts they deal with in their daily work: data types, programming languages, programs written in these languages that compute from given inputs wanted outputs, and programs that describe continuously executing systems. The core message is that clear thinking about programs can be expressed in a single universal language, the formal language of logic. Apart from its universal elegance and expressiveness, this “logical” approach to the formal modeling of and reasoning about computer programs has another advantage: due to advances in computational logic (automated theorem proving, satisfiability solving, model checking), nowadays much of this process can be supported by software. This book therefore accompanies its theoretical elaborations by practical demonstrations of various systems and tools thatare based on respectively make use of the presented logical underpinnings.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52451755098385,"sku":"NLS9783030805098","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52739674898705,"sku":"NIN9783030805098","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030805098.jpg?v=1759362491"},{"product_id":"correct-software-in-web-applications-and-web-services-book-bernhard-thalheim-9783319347271","title":"Correct Software in Web Applications and Web Services","description":"The papers in this volume aim at obtaining a common understanding of the challenging research questions in web applications comprising web information systems, web services, and web interoperability; obtaining a common understanding of verification needs in web applications; achieving a common understanding of the available rigorous approaches to system development, and the cases in which they have succeeded; identifying how rigorous software engineering methods can be exploited to develop suitable web applications; and at developing a European-scale research agenda combining theory, methods and tools that would lead to suitable web applications with the potential to implement systems for computation in the public domain.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52456285798673,"sku":"NLS9783319347271","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52760960401681,"sku":"NIN9783319347271","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319347271.jpg?v=1759376872"},{"product_id":"algorithmic-combinatorics-enumerative-combinatorics-special-functions-and-comput-book-veronika-pillwein-9783030445614","title":"Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra","description":"The book is centered around the research areas of combinatorics, special functions, and computer algebra. What these research fields share is that many of their outstanding results do not only have applications in Mathematics, but also other disciplines, such as computer science, physics, chemistry, etc. A particular charm of these areas is how they interact and influence one another. For instance, combinatorial or special functions' techniques have motivated the development of new symbolic algorithms. In particular, first proofs of challenging problems in combinatorics and special functions were derived by making essential use of computer algebra. This book addresses these interdisciplinary aspects. Algorithmic aspects are emphasized and the corresponding software packages for concrete problem solving are introduced. Readers will range from graduate students, researchers to practitioners who are interested in solving concrete problems within mathematics and other research disciplines.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52482844786961,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52482846163217,"sku":"NLS9783030445614","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030445614.jpg?v=1759853833"},{"product_id":"thinking-programs-book-wolfgang-schreiner-9783031997044","title":"Thinking Programs","description":"This book describes some basic principles that allow developers of computer programs (computer scientists, software engineers, programmers) to clearly think about the artifacts they deal with in their daily work: data types, programming languages, programs written in these languages that compute wanted outputs from given inputs, and programs that describe continuously executing systems. The core message is that clear thinking about programs can be expressed in a single, universal language, the formal language of logic. Apart from its universal elegance and expressiveness, this “logical” approach to the formal modeling of, and reasoning about, computer programs has another advantage: due to advances in computational logic (automated theorem proving, satisfiability solving, model checking), nowadays much of this process can be supported by software. This book therefore accompanies its theoretical elaborations by practical demonstrations of various systems and tools that are based on or make use of the presented logical underpinnings.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52531840516369,"sku":"NLS9783031997044","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52760593432849,"sku":"NIN9783031997044","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783031997044.jpg?v=1760658258"},{"product_id":"loewy-decomposition-of-linear-differential-equations-book-fritz-schwarz-9783709112854","title":"Loewy Decomposition of Linear Differential Equations","description":"The central subject of the book is the generalization of Loewy's decomposition - originally introduced by him for linear ordinary differential equations - to linear partial differential equations. Equations for a single function in two independent variables of order two or three are comprehensively discussed. A complete list of possible solution types is given. Various ad hoc results available in the literature are obtained algorithmically. The border of decidability for generating a Loewy decomposition are explicitly stated. The methods applied may be generalized in an obvious way to equations of higher order, in more variables or systems of such equations.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52588008145169,"sku":"NLS9783709112854","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783709112854.jpg?v=1761057367"},{"product_id":"computer-human-interaction-in-symbolic-computation-book-norbert-kajler-9783211828434","title":"Computer - Human Interaction in Symbolic Computation","description":"The well attended March 1994 HIse workshop in Amsterdam was a very lively con  ference which stimulated much discussion and human-human interaction. The value of the effort was not only in generating new ideas, but in making people aware of work that has gone on on many fronts in using computers to make mathematics more understandable.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52618074521873,"sku":"NLS9783211828434","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783211828434.jpg?v=1761532136"},{"product_id":"elliptic-integrals-elliptic-functions-and-modular-forms-in-quantum-field-theory-book-carsten-schneider-9783030044794","title":"Elliptic Integrals, Elliptic Functions and Modular Forms in Quantum Field Theory","description":"This book includes review articles in the field of elliptic integrals, elliptic functions and modular forms intending to foster the discussion between theoretical physicists working on higher loop calculations and mathematicians working in the field of modular forms and functions and analytic solutions of higher order differential and difference equations.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52660540539153,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52660541522193,"sku":"NLS9783030044794","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030044794.jpg?v=1762265467"},{"product_id":"concrete-abstractions-book-wolfgang-schreiner-9783031249334","title":"Concrete Abstractions","description":"This book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by computer software.The presented domains are typically investigated in discrete mathematics, logic, algebra, and computer science;","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52661262254353,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52661263204625,"sku":"NLS9783031249334","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783031249334.jpg?v=1762267084"},{"product_id":"approximate-commutative-algebra-book-lorenzo-robbiano-9783211993132","title":"Approximate Commutative Algebra","description":"Approximate Commutative Algebra is an emerging field of research which endeavours to bridge the gap between traditional exact Computational Commutative Algebra and approximate numerical computation. The last 50 years have seen enormous progress in the realm of exact Computational Commutative Algebra, and given the importance of polynomials in scientific modelling, it is very natural to want to extend these ideas to handle approximate, empirical data deriving from physical measurements of phenomena in the real world. In this volume nine contributions from established researchers describe various approaches to tackling a variety of problems arising in Approximate Commutative Algebra.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52664755552529,"sku":"NLS9783211993132","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52932495180049,"sku":"NIN9783211993132","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783211993132.jpg?v=1762275459"},{"product_id":"integration-in-finite-terms-fundamental-sources-book-clemens-g-raab-9783030987695","title":"Integration in Finite Terms: Fundamental Sources","description":"This volume gives an up-to-date review of the subject Integration in Finite Terms.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52671360401681,"sku":"NLS9783030987695","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030987695.jpg?v=1762292089"},{"product_id":"anti-differentiation-and-the-calculation-of-feynman-amplitudes-book-carsten-schneider-9783030802219","title":"Anti-Differentiation and the Calculation of Feynman Amplitudes","description":"This volume comprises review papers presented at the Conference on Antidifferentiation and the Calculation of Feynman Amplitudes, held in Zeuthen, Germany, in October 2020, and a few additional invited reviews.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52672750977297,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52672751567121,"sku":"NLS9783030802219","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030802219.jpg?v=1762295370"},{"product_id":"numerical-and-symbolic-scientific-computing-book-ulrich-langer-9783709107935","title":"Numerical and Symbolic Scientific Computing","description":"The book presents the state of the art and results and also includes articles pointing to future developments. Most of the articles center around the theme of linear partial differential equations. Major aspects are fast solvers in elastoplasticity, symbolic analysis for boundary problems, symbolic treatment of operators, computer algebra, and finite element methods, a symbolic approach to finite difference schemes, cylindrical algebraic decomposition and local Fourier analysis, and white noise analysis for stochastic partial differential equations. Further numerical-symbolic topics range from applied and computational geometry to computer algebra methods used for total variation energy minimization.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52674870313233,"sku":"NLS9783709107935","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ LIKE_NEW \/ SBYB","offer_id":52885722366225,"sku":"CIN3709107938LN","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783709107935.jpg?v=1762300598"},{"product_id":"algorithmic-combinatorics-enumerative-combinatorics-special-functions-and-comput-book-veronika-pillwein-9783030445584","title":"Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra","description":"The book is centered around the research areas of combinatorics, special functions, and computer algebra. Readers will range from graduate students, researchers to practitioners who are interested in solving concrete problems within mathematics and other research disciplines.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52690057396497,"sku":"NLS9783030445584","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030445584.jpg?v=1762336841"},{"product_id":"loewy-decomposition-of-linear-differential-equations-book-fritz-schwarz-9783709116876","title":"Loewy Decomposition of Linear Differential Equations","description":"The central subject of the book is the generalization of Loewy's decomposition - originally introduced by him for linear ordinary differential equations - to linear partial differential equations. Equations for a single function in two independent variables of order two or three are comprehensively discussed. A complete list of possible solution types is given. Various ad hoc results available in the literature are obtained algorithmically. The border of decidability for generating a Loewy decomposition are explicitly stated. The methods applied may be generalized in an obvious way to equations of higher order, in more variables or systems of such equations.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":53522259640593,"sku":"NLS9783709116876","price":0.0,"currency_code":"GBP","in_stock":false}]},{"product_id":"computer-algebra-in-quantum-field-theory-book-carsten-schneider-9783709148495","title":"Computer Algebra in Quantum Field Theory","description":"The book focuses on advanced computer algebra methods and special functions that have striking applications in the context of quantum field theory. It presents the state of the art and new methods for (infinite) multiple sums, multiple integrals, in particular Feynman integrals, difference and differential equations in the format of survey articles. The presented techniques emerge from interdisciplinary fields: mathematics, computer science and theoretical physics; the articles are written by mathematicians and physicists with the goal that both groups can learn from the other field, including most recent developments. Besides that, the collection of articles also serves as an up-to-date handbook of available algorithms\/software that are commonly used or might be useful in the fields of mathematics, physics or other sciences.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":53522484068625,"sku":"NLS9783709148495","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783709148495.jpg?v=1778458521"}],"url":"https:\/\/www.worldofbooks.com\/collections\/texts-and-monographs-in-symbolic-computation-ser-book-series.oembed?page=3","provider":"World of Books ","version":"1.0","type":"link"}