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