Mechanical Theorem Proving in Geometries

Wen-Tsün Wu

• Paperback | Engels | Texts & Monographs in Symbolic Computation
• There seems to be no doubt that geometry originates from such practical activ- ities as weather observation and terrain survey. But there are differen... Lees meer

An Invitation to Analytic Combinatorics

Stephen Melczer

• Paperback | Engels | Texts & Monographs in Symbolic Computation
• This book uses new mathematical tools to examine broad computability and complexity questions in enumerative combinatorics, with applications to other... Lees meer

Integration in Finite Terms: Fundamental Sources

• Paperback | Engels | Texts & Monographs in Symbolic Computation
• 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... Lees meer

An Introduction to Computational Origami

Tetsuo Ida

• Hardcover | Engels | Texts & Monographs in Symbolic Computation
• In this book, origami is treated as a set of basic geometrical objects that are represented and manipulated symbolically and graphically by computers.... Lees meer

Correct Software in Web Applications and Web Services

• Paperback | Engels | Texts & Monographs in Symbolic Computation
• The papers in this volume aim at obtaining a common understanding of the challenging research questions in web applications comprising web information... Lees meer

Anti-Differentiation and the Calculation of Feynman Amplitudes

• Paperback | Engels | Texts & Monographs in Symbolic Computation
• This volume comprises review papers presented at the Conference on Antidifferentiation and the Calculation of Feynman Amplitudes, held in Zeuthen, Ger... Lees meer

Polynomial Algorithms in Computer Algebra

Franz Winkler

• Paperback | Engels | Texts & Monographs in Symbolic Computation
• For several years now I have been teaching courses in computer algebra at the Universitat Linz, the University of Delaware, and the Universidad de Alc... Lees meer

Computer - Human Interaction in Symbolic Computation

• Paperback | Engels | Texts & Monographs in Symbolic Computation
• The well attended March 1994 HIse workshop in Amsterdam was a very lively con- ference which stimulated much discussion and human-human interaction. A... Lees meer

Computer Algebra in Quantum Field Theory

• Paperback | Engels | Texts & Monographs in Symbolic Computation
• The book focuses on advanced computer algebra methods and special functions that have striking applications in the context of quantum field theory. It... Lees meer

Algorithms in Invariant Theory

Bernd Sturmfels

• Paperback | Engels | Texts & Monographs in Symbolic Computation
• This book is both an easy-to-read textbook for invariant theory and a challenging research monograph that introduces a new approach to the algorithmic... Lees meer

Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra

• Hardcover | Engels | Texts & Monographs in Symbolic Computation
• The book is centered around the research areas of combinatorics, special functions, and computer algebra. What these research fields share is that man... Lees meer

The Symbolic Computation of Integrability Structures for Partial Differential Equations

Joseph Krasil'shchik, Alexander Verbovetsky, Raffaele Vitolo

• Paperback | Engels | Texts & Monographs in Symbolic Computation
• Proposes a new approach and new software for computations Discusses example programs Represents the only book on integrable systems and symbolic compu... Lees meer

Approximate Commutative Algebra

• Paperback | Engels | Texts & Monographs in Symbolic Computation
• Approximate Commutative Algebra is an emerging field of research which endeavours to bridge the gap between traditional exact Computational Commutativ... Lees meer

Anti-Differentiation and the Calculation of Feynman Amplitudes

• Hardcover | Engels | Texts & Monographs in Symbolic Computation
• This volume comprises review papers presented at the Conference on Antidifferentiation and the Calculation of Feynman Amplitudes, held in Zeuthen, Ger... Lees meer

Loewy Decomposition of Linear Differential Equations

Fritz Schwarz

• Paperback | Engels | Texts & Monographs in Symbolic Computation
• The central subject of the book is the generalization of Loewy's decomposition - originally introduced by him for linear ordinary differential equatio... Lees meer

Computer Algebra in Quantum Field Theory

• Hardcover | Engels | Texts & Monographs in Symbolic Computation
• The book focuses on advanced computer algebra methods and special functions that have striking applications in the context of quantum field theory. It... Lees meer

Loewy Decomposition of Linear Differential Equations

Fritz Schwarz

• Hardcover | Engels | Texts & Monographs in Symbolic Computation
• The central subject of the book is the generalization of Loewy's decomposition - originally introduced by him for linear ordinary differential equatio... Lees meer

Advances in the Design of Symbolic Computation Systems

• Paperback | Engels | Texts & Monographs in Symbolic Computation
• New methodological aspects related to design and implementation of symbolic computation systems are considered in this volume aiming at integrating su... Lees meer

Elliptic Integrals, Elliptic Functions and Modular Forms in Quantum Field Theory

• Hardcover | Engels | Texts & Monographs in Symbolic Computation
• This book includes review articles in the field of elliptic integrals, elliptic functions and modular forms intending to foster the discussion between... Lees meer

An Invitation to Analytic Combinatorics

Stephen Melczer

• Hardcover | Engels | Texts & Monographs in Symbolic Computation
• This book uses new mathematical tools to examine broad computability and complexity questions in enumerative combinatorics, with applications to other... Lees meer

The Symbolic Computation of Integrability Structures for Partial Differential Equations

Joseph Krasil'shchik, Alexander Verbovetsky, Raffaele Vitolo

• Hardcover | Engels | Texts & Monographs in Symbolic Computation
• Proposes a new approach and new software for computations Discusses example programs Represents the only book on integrable systems and symbolic compu... Lees meer

Elimination Methods

D Wang

• Paperback | Engels | Texts & Monographs in Symbolic Computation
• The development of polynomial-elimination techniques from classical theory to modern algorithms has undergone a tortuous and rugged path. This can be ... Lees meer

Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra

• Paperback | Engels | Texts & Monographs in Symbolic Computation
• The book is centered around the research areas of combinatorics, special functions, and computer algebra. What these research fields share is that man... Lees meer

Quantifier Elimination and Cylindrical Algebraic Decomposition

• Paperback | Engels | Texts & Monographs in Symbolic Computation
• George Collins' discovery of Cylindrical Algebraic Decomposition (CAD) as a method for Quantifier Elimination (QE) for the elementary theory of real c... Lees meer