Texts & Monographs in Symbolic Computation - Böcker
Visar alla böcker i serien Texts & Monographs in Symbolic Computation. Handla med fri frakt och snabb leverans.
33 produkter
33 produkter
Elliptic Integrals, Elliptic Functions and Modular Forms in Quantum Field Theory
Inbunden, Engelska, 2019
2 321 kr
Skickas inom 10-15 vardagar
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.
Symbolic Computation of Integrability Structures for Partial Differential Equations
Häftad, Engelska, 2018
1 164 kr
Skickas inom 10-15 vardagar
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.
Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra
In Honour of Peter Paule on his 60th Birthday
Inbunden, Engelska, 2020
1 091 kr
Skickas inom 10-15 vardagar
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.
Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra
In Honour of Peter Paule on his 60th Birthday
Häftad, Engelska, 2021
1 091 kr
Skickas inom 10-15 vardagar
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.
1 480 kr
Skickas inom 10-15 vardagar
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.
1 480 kr
Skickas inom 10-15 vardagar
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.
1 690 kr
Skickas inom 10-15 vardagar
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.
1 690 kr
Skickas inom 10-15 vardagar
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.
Thinking Programs
Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
Häftad, Engelska, 2022
743 kr
Skickas inom 10-15 vardagar
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.
1 795 kr
Skickas inom 10-15 vardagar
This volume gives an up-to-date review of the subject Integration in Finite Terms.
1 795 kr
Skickas inom 10-15 vardagar
This volume gives an up-to-date review of the subject Integration in Finite Terms.
Concrete Abstractions
Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Inbunden, Engelska, 2023
796 kr
Skickas inom 10-15 vardagar
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;
Concrete Abstractions
Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Häftad, Engelska, 2024
586 kr
Skickas inom 10-15 vardagar
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;
Thinking Programs
Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
Inbunden, Engelska, 2025
743 kr
Skickas inom 10-15 vardagar
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.
1 480 kr
Skickas inom 10-15 vardagar
The book of Sturmfels is both an easy-to-read textbook for invariant theory and a challenging research monograph that introduces a new approach to the algorithmic side of invariant theory.
533 kr
Skickas inom 10-15 vardagar
This book is a translation of Professor Wus seminal Chinese book of 1984 on Automated Geometric Theorem Proving. The translation was done by his former student Dongming Wang jointly with Xiaofan Jin so that authenticity is guaranteed. Meanwhile, automated geometric theorem proving based on Wus method of characteristic sets has become one of the fundamental, practically successful, methods in this area that has drastically enhanced the scope of what is computationally tractable in automated theorem proving. This book is a source book for students and researchers who want to study both the intuitive first ideas behind the method and the formal details together with many examples.
533 kr
Skickas inom 10-15 vardagar
The book gives a thorough introduction to the mathematical underpinnings of computer algebra. The subjects treated range from arithmetic of integers and polynomials to fast factorization methods, Grobner bases, and algorithms in algebraic geometry. The algebraic background for all the algorithms presented in the book is fully described, and most of the algorithms are investigated with respect to their computational complexity. Each chapter closes with a brief survey of the related literature.
1 091 kr
Skickas inom 10-15 vardagar
There are many problems which current user interfaces either do not handle well or do not address at all. The contributions to this volume concentrate on three main areas: interactive books, computer-aided instruction, and visualization. They range from a description of a framework for authoring and browsing mathematical books and of a tool for the direct manipulation of equations and graphs to the presentation of new techniques, such as the use of chains of recurrences for expediting the visualization of mathematical functions. Students, researchers, and developers involved in the design and implementation of scientific software will be able to draw upon the presented research material here to create ever-more powerful and user-friendly applications.
1 091 kr
Skickas inom 10-15 vardagar
This volume considers new methodological aspects related to design and implementation of symbolic computation systems. It aims at integrating such aspects into a homogeneous software environment for scientific computation. The proposed methodology is based on a combination of different techniques: algebraic specification through modular approach and completion algorithms, approximated and exact algebraic computing methods, object-oriented programming paradigm, automated theorem proving through methods based on Hilbert and methods of natural deduction. In particular, the proposed treatment of mathematical objects, via techniques for method abstraction, structures classification, and exact representation, the programming methodology which supports the design and impelementation issues, and reasoning capabilities supported by the whole framework are described.
848 kr
Skickas inom 10-15 vardagar
Das Symbolische Rechnen zur Losung mathematischer Probleme erlebt einen neuen Aufschwung durch den Einsatz speziell dafur entwickelter Softwaresysteme. Nach dem Erfolg von Mathematica und Maple erobert nun MACSYMA den Markt. MACSYMA wurde seit den spaten 60er Jahren am MIT entwickelt und uber die Jahre hin verbessert und weiterentwickelt. Es bietet die umfassendste Algorithmen-Bibliothek, die ein schnelles Losen der Aufgaben, besonders im Gebiet der Differential- und Integralrechnung, ermoglicht. Die Autoren geben in diesem Lehrbuch eine grundlegende Einfuhrung in das Symbolische Rechnen mit MACSYMA. Dem Band 2 liegt eine Diskette mit Aufgaben und Losungen bei, die Losungen werden in allen 3 gangigen Softwaresystemen Mathematica, Maple und MACSYMA dargestellt.
1 059 kr
Skickas inom 10-15 vardagar
This book provides a systematic and uniform presentation of elimination methods and the underlying theories, along the central line of decomposing arbitrary systems of polynomials into triangular systems of various kinds. Highlighting methods based on triangular sets, the book also covers the theory and techniques of resultants and Grobner bases. The methods and their efficiency are illustrated by fully worked out examples and their applications to selected problems such as from polynomial ideal theory, automated theorem proving in geometry and the qualitative study of differential equations. The reader will find the formally described algorithms ready for immediate implementation and applicable to many other problems. Suitable as a graduate text, this book offers an indispensable reference for everyone interested in mathematical computation, computer algebra (software), and systems of algebraic equations.
1 059 kr
Skickas inom 10-15 vardagar
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.
533 kr
Skickas inom 10-15 vardagar
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.
549 kr
Skickas inom 10-15 vardagar
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.
1 849 kr
Skickas inom 10-15 vardagar
In this book, origami is treated as a set of basic geometrical objects that are represented and manipulated symbolically and graphically by computers.
Symbolic Computation of Integrability Structures for Partial Differential Equations
Inbunden, Engelska, 2018
1 164 kr
Skickas inom 10-15 vardagar
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.
Concrete Tetrahedron
Symbolic Sums, Recurrence Equations, Generating Functions, Asymptotic Estimates
Häftad, Engelska, 2010
796 kr
Skickas inom 10-15 vardagar
The book treats four mathematical concepts which play a fundamental role in many different areas of mathematics: symbolic sums, recurrence (difference) equations, generating functions, and asymptotic estimates.Their key features, in isolation or in combination, their mastery by paper and pencil or by computer programs, and their applications to problems in pure mathematics or to "real world problems" (e.g. the analysis of algorithms) are studied. The book is intended as an algorithmic supplement to the bestselling "Concrete Mathematics" by Graham, Knuth and Patashnik.
1 059 kr
Skickas inom 10-15 vardagar
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.
1 059 kr
Skickas inom 10-15 vardagar
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.
Computer Algebra in Quantum Field Theory
Integration, Summation and Special Functions
Inbunden, Engelska, 2013
1 059 kr
Skickas inom 10-15 vardagar
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.