(Ilmumisaeg: 11-Apr-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031249341)
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 inves...Loe edasi...
(Ilmumisaeg: 11-Apr-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031249341)
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 inves...Loe edasi...
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, ...Loe edasi...
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 sur...Loe edasi...
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 sur...Loe edasi...
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, pr...Loe edasi...
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, pr...Loe edasi...
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 alg...Loe edasi...
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 discipli...Loe edasi...
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 discipli...Loe edasi...
(Ilmumisaeg: 13-Aug-2020, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319591896)
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,...Loe edasi...
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...Loe edasi...
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...Loe edasi...
Joseph Krasil'shchik, Alexander Verbovetsky, Raffaele Vitolo
Sari: Texts & Monographs in Symbolic Computation
(Ilmumisaeg: 03-Apr-2018, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319716558)
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...Loe edasi...
Joseph Krasil'shchik, Alexander Verbovetsky, Raffaele Vitolo
Sari: Texts & Monographs in Symbolic Computation
(Ilmumisaeg: 03-Apr-2018, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319716558)
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...Loe edasi...
Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger
Sari: Texts & Monographs in Symbolic Computation
(Ilmumisaeg: 12-Jun-2015, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319171128)
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 n...Loe edasi...
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...Loe edasi...
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 t...Loe edasi...
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 methodol...Loe edasi...
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 fi...Loe edasi...
