Book serie: / Книги серии: Texts & Monographs in Symbolic Computation » Page 2 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Texts & Monographs in Symbolic Computation » Page 2

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

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

pdf

Author: Johannes Blümlein Carsten Schneider Peter Paule
Language: English
Year: 2019

00

30.01.2024

0

0

book The Symbolic Computation of Integrability Structures for Partial Differential Equations

The Symbolic Computation of Integrability Structures for Partial Differential Equations

pdf

Author: Joseph Krasil'shchik Alexander Verbovetsky Raffaele Vitolo
Language: English
Year: 2017

00

29.01.2024

0

0

book Correct Software in Web Applications and Web Services

Correct Software in Web Applications and Web Services

pdf

Author: Bernhard Thalheim Klaus-Dieter Schewe Andreas Prinz Bruno Buchberger (eds.)
Language: English
Year: 2015

00

27.01.2024

0

0

book Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions

Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions

pdf

Author: Jakob Ablinger Johannes Blümlein (auth.) Carsten Schneider Johannes Blümlein (eds.)
Language: English
Year: 2013

00

27.01.2024

0

0

book The Concrete Tetrahedron: Symbolic Sums, Recurrence Equations, Generating Functions, Asymptotic Estimates

The Concrete Tetrahedron: Symbolic Sums, Recurrence Equations, Generating Functions, Asymptotic Estimates

pdf

Author: Manuel Kauers Peter Paule (auth.)
Language: English
Year: 2011

00

27.01.2024

1

0

book Approximate Commutative Algebra

Approximate Commutative Algebra

pdf

Author: Martin Kreuzer Hennie Poulisse Lorenzo Robbiano (auth.) Lorenzo Robbiano John Abbott (eds.)
Language: English
Year: 2010

00

27.01.2024

2

0

book Algorithms in Invariant Theory

Algorithms in Invariant Theory

pdf

Author: Dr. Bernd Sturmfels (auth.)
Language: English
Year: 2008

00

27.01.2024

1

0

book Polynomial Algorithms in Computer Algebra

Polynomial Algorithms in Computer Algebra

pdf

Author: Dipl.-Ing. Dr. Franz Winkler (auth.)
Language: English
Year: 1996

00

27.01.2024

1

0

book Automated Practical Reasoning: Algebraic Approaches

Automated Practical Reasoning: Algebraic Approaches

pdf

Author: Jochen Pfalzgraf Dongming Wang (auth.) Dr. Jochen Pfalzgraf Dr. Dongming Wang (eds.)
Language: English
Year: 1995

00

27.01.2024

1

0

book Mechanical Theorem Proving in Geometries: Basic Principles

Mechanical Theorem Proving in Geometries: Basic Principles

pdf

Author: Dr. Wen-tsün Wu (auth.)
Language: English
Year: 1994

00

27.01.2024

1

0