(Ilmumisaeg: 04-Sep-2025, Hardback, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031997044)
This book describes some basic principles that allow developers of computer programs (computer scientists, software engineers, programmers) to clearly think about the artifacts they dea...Loe edasi...
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...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, either out of p...Loe edasi...
(Ilmumisaeg: 12-Apr-2023, Hardback, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031249334)
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...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 comprehensiv...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 langua...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 text...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...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 com...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 langua...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...
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...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: 14-Aug-2020, Hardback, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319591889)
In this book origami is treated as basic geometrical operations that are represented and manipulated symbolically and graphically by computers. It is explained how classical and modern geometrical problems are solved by origami. The methods are ex...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 fie...Loe edasi...
Joseph Krasil'shchik, Alexander Verbovetsky, Raffaele Vitolo
Sari: Texts & Monographs in Symbolic Computation
(Ilmumisaeg: 12-Apr-2018, Hardback, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319716541)
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....Loe edasi...
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....Loe edasi...
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...
Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger
Sari: Texts & Monographs in Symbolic Computation
(Ilmumisaeg: 25-Jun-2015, Hardback, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319171111)
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...
