✦ LIBER ✦

Algorithms and methods in differential algebra

✍ Scribed by Jean Moulin Ollagnier

Publisher: Elsevier Science
Year: 1996
Tongue: English
Weight: 854 KB
Volume: 157
Category: Article
ISSN: 0304-3975
DOI: 10.1016/0304-3975(95)00179-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Factorization-free Decomposition Algorit

Factorization-free Decomposition Algorithms in Differential Algebra

✍ Evelyne Hubert 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 371 KB

Insight on the structure of differential ideals defined by coherent autoreduced set allows one to uncouple the differential and algebraic computations in a decomposition algorithm. Original results as well as concise new proofs of already presented theorems are exposed. As a consequence, an effectiv

Numerical methods of algebra (theory and

Numerical methods of algebra (theory and algorithms)

✍ V.N. Kublanouskaya 📂 Article 📅 1967 🏛 Elsevier Science ⚖ 195 KB

Algorithms in Local Algebra

✍ Hans-Gert Gräbe 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 395 KB

Let \(k\) be a field, \(S=k\left[x_{v}: v \in V\right]\) be the polynomial ring over the finite set of variables ( \(x_{v}: v \in V\) ), and \(m=\left(x_{v}: v \in V\right)\) the ideal defining the origin of Spec S. It is theoretically known (see e.g. Alonso et al., 1991) that the algorithmic ideas

Polynomial Algorithms in Computer Algebr

Polynomial Algorithms in Computer Algebra

📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 105 KB

Algorithms forq -Hypergeometric Summatio

Algorithms forq -Hypergeometric Summation in Computer Algebra

✍ Harald Böing; Wolfram Koepf 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 406 KB

This paper describes three algorithms for q-hypergeometric summation: • a multibasic analogue of Gosper's algorithm, • the q-Zeilberger algorithm, and • an algorithm for finding q-hypergeometric solutions of linear recurrences together with their Maple implementations, which is relevant both to pe

Computer Algebra Algorithms and Routines

Computer Algebra Algorithms and Routines for the Computation of Conservation Laws and Fixing of Gauge in Differential Expressions

✍ T. Wolf; A. Brand; M. Mohammadzadeh 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 303 KB

In this paper we present three different approaches for the determination of conservation laws. For three corresponding REDUCE computer algebra programs CONLAW1/2/3 the necessary subroutines are described. All three programs use subroutines which remove redundant functions and constants in the gener