𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Factorization-free Decomposition Algorithms in Differential Algebra

✍ Scribed by Evelyne Hubert


Publisher
Elsevier Science
Year
2000
Tongue
English
Weight
371 KB
Volume
29
Category
Article
ISSN
0747-7171

No coin nor oath required. For personal study only.

✦ Synopsis


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 effective version of Ritt's algorithm can be simply described.


πŸ“œ SIMILAR VOLUMES


Computer Algebra Algorithms and Routines
✍ 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