An extension of Karr's algorithm is presented by which symbolic sums involving radical expressions can be simplified. We discuss the construction of appropriate difference fields as well as algorithms for solving difference equations in these fields. The paper is concluded with a list of identities found by an implementation of our techniques.
| Original language | English |
|---|
| Place of Publication | Altenbergerstrasse 69, 4040 Linz, AUSTRIA |
|---|
| Publisher | SFB F13 |
|---|
| Number of pages | 8 |
|---|
| Publication status | Published - Jan 2007 |
|---|
| Name | SFB F013 Reports |
|---|
| No. | 2007-2 |
|---|
- 101 Mathematics
- 101001 Algebra
- 101005 Computer algebra
- 101009 Geometry
- 101012 Combinatorics
- 101013 Mathematical logic
- 101020 Technical mathematics