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.
| Originalsprache | Englisch |
|---|
| Erscheinungsort | Altenbergerstrasse 69, 4040 Linz, AUSTRIA |
|---|
| Herausgeber | SFB F13 |
|---|
| Seitenumfang | 8 |
|---|
| Publikationsstatus | Veröffentlicht - Jän. 2007 |
|---|
| Name | SFB F013 Reports |
|---|
| Nr. | 2007-2 |
|---|
- 101 Mathematik
- 101001 Algebra
- 101005 Computeralgebra
- 101009 Geometrie
- 101012 Kombinatorik
- 101013 Mathematische Logik
- 101020 Technische Mathematik