Texts & Monographs in Symbolic Computation – serie
Visar alla böcker i serien Texts & Monographs in Symbolic Computation. Handla med fri frakt och snabb leverans.
33 produkter
Elliptic Integrals, Elliptic Functions and Modular Forms in Quantum Field Theory
Av Johannes Blümlein, Carsten Schneider m. fl.
Inbunden, 2019
2401 kr
Lägg i varukorg
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 …
Symbolic Computation of Integrability Structures for Partial Differential Equations
Av Joseph Krasil'shchik, Alexander Verbovetsky m. fl.
Häftad, 2018
1204 kr
Lägg i varukorg
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 …
Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra
In Honour of Peter Paule on his 60th Birthday
Av Veronika Pillwein, Carsten Schneider
Inbunden, 2020
1128 kr
Lägg i varukorg
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, …
Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra
In Honour of Peter Paule on his 60th Birthday
Av Veronika Pillwein, Carsten Schneider
Häftad, 2021
1128 kr
Lägg i varukorg
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, …
Invitation to Analytic Combinatorics
From One to Several Variables
Inbunden, 2020
1530 kr
Lägg i varukorg
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 …
Invitation to Analytic Combinatorics
From One to Several Variables
Häftad, 2021
1530 kr
Lägg i varukorg
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 …
Anti-Differentiation and the Calculation of Feynman Amplitudes
Av Johannes Blümlein, Carsten Schneider
Inbunden, 2021
1748 kr
Lägg i varukorg
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. The book aims at comprehensive surveys and new innovative results of the analytic …
Anti-Differentiation and the Calculation of Feynman Amplitudes
Av Johannes Blümlein, Carsten Schneider
Häftad, 2022
1748 kr
Lägg i varukorg
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. The book aims at comprehensive surveys and new innovative results of the analytic …
Thinking Programs
Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
Häftad, 2022
784 kr
Lägg i varukorg
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 …
Integration in Finite Terms: Fundamental Sources
Av Clemens G. Raab, Michael F. Singer
Inbunden, 2022
1857 kr
Lägg i varukorg
This volume gives an up-to-date review of the subject Integration in Finite Terms. The book collects four significant texts together with an extensive bibliography and commentaries discussing these works and their impact. These texts, either out of print or never published before, are fundamental …
Integration in Finite Terms: Fundamental Sources
Av Clemens G. Raab, Michael F. Singer
Häftad, 2023
1857 kr
Lägg i varukorg
This volume gives an up-to-date review of the subject Integration in Finite Terms. The book collects four significant texts together with an extensive bibliography and commentaries discussing these works and their impact. These texts, either out of print or never published before, are fundamental …
Concrete Abstractions
Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Inbunden, 2023
823 kr
Lägg i varukorg
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, …
Concrete Abstractions
Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Häftad, 2024
605 kr
Lägg i varukorg
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, …
Thinking Programs
Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
Inbunden, 2025
769 kr
Lägg i varukorg
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 …
Algorithms in Invariant Theory
Av Bernd Sturmfels, Peter Paule
Häftad, 2008
1530 kr
Lägg i varukorg
J. Kung and G.-C. Rota, in their 1984 paper, write: “Like the Arabian phoenix rising out of its ashes, the theory of invariants, pronounced dead at the turn of the century, is once again at the forefront of mathematics”. The book of Sturmfels is both an easy-to-read textbook for invariant theory …
Mechanical Theorem Proving in Geometries
Basic Principles
Av Wen-tsün Wu
Häftad, 1994
551 kr
Lägg i varukorg
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 …
Polynomial Algorithms in Computer Algebra
Häftad, 1996
551 kr
Lägg i varukorg
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 …
Computer - Human Interaction in Symbolic Computation
Häftad, 1998
1128 kr
Lägg i varukorg
The well attended March 1994 HIse workshop in Amsterdam was a very lively con ference which stimulated much discussion and human-human interaction. As the editor of this volume points out, the Amsterdam meeting was just part of a year-long project that brought many people together from many parts …
Advances in the Design of Symbolic Computation Systems
Av Alfonso Miola, Marco Temperini
Häftad, 1997
1128 kr
Lägg i varukorg
New methodological aspects related to design and implementation of symbolic computation systems are considered in this volume aiming at integrating such aspects into a homogeneous software environment for scientific computation. The proposed methodology is based on a combination of different …
Computer-supported Calculus
Av Adi Ben-Israel, Robert P. Gilbert
Inbunden, 2002
877 kr
Lägg i varukorg
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 …
Elimination Methods
Av D. Wang
Häftad, 2000
1095 kr
Lägg i varukorg
The development of polynomial-elimination techniques from classical theory to modern algorithms has undergone a tortuous and rugged path. This can be observed L. van der Waerden's elimination of the "elimination theory" chapter from from B. his classic Modern Algebra in later editions, A. Weil's …
Approximate Commutative Algebra
Av Lorenzo Robbiano, John Abbott
Häftad, 2009
1095 kr
Lägg i varukorg
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 …
Correct Software in Web Applications and Web Services
Av Bernhard Thalheim, Klaus-Dieter Schewe m. fl.
Inbunden, 2015
551 kr
Lägg i varukorg
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 …
Correct Software in Web Applications and Web Services
Av Bernhard Thalheim, Klaus-Dieter Schewe m. fl.
Häftad, 2016
568 kr
Lägg i varukorg
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 …
Introduction to Computational Origami
Av Tetsuo Ida
Inbunden, 2020
1912 kr
Lägg i varukorg
In this book, origami is treated as a set of basic geometrical objects that are represented and manipulated symbolically and graphically by computers. Focusing on how classical and modern geometrical problems are solved by means of origami, the book explains the methods not only with mathematical …
Symbolic Computation of Integrability Structures for Partial Differential Equations
Av Joseph Krasil'shchik, Alexander Verbovetsky m. fl.
Inbunden, 2018
1204 kr
Lägg i varukorg
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 …
Concrete Tetrahedron
Symbolic Sums, Recurrence Equations, Generating Functions, Asymptotic Estimates
Häftad, 2010
823 kr
Lägg i varukorg
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 …
Numerical and Symbolic Scientific Computing
Progress and Prospects
Häftad, 2011
1095 kr
Lägg i varukorg
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 …
Loewy Decomposition of Linear Differential Equations
Inbunden, 2012
1095 kr
Lägg i varukorg
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 …
Computer Algebra in Quantum Field Theory
Integration, Summation and Special Functions
Av Carsten Schneider, Johannes Blümlein
Inbunden, 2013
1095 kr
Lägg i varukorg
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 …
