This report compares various implementations for differential characteristic set computations and introduces a characteristic set library for Aldor. Its design along with alternatives is discussed. The possibilities to connect the library to Maple and Mathematica are presented and a comparison of different implementations for differential polynomial rings is given.
| Original language | English |
|---|
| Place of Publication | Johannes Kepler University, Altenberger Str. 69, 4040 Linz |
|---|
| Publisher | RISC |
|---|
| Number of pages | 133 |
|---|
| Publication status | Published - Dec 2005 |
|---|
| Name | RISC Report Series |
|---|
| No. | 05-15 |
|---|
- 101 Mathematics
- 101001 Algebra
- 101005 Computer algebra
- 101009 Geometry
- 101012 Combinatorics
- 101013 Mathematical logic
- 101020 Technical mathematics