Recent computer proofs for some special function inequalities are presented. The algorithmic ideas underlying these computer proofs are described, and the conceptual difference to existing algorithms for proving special function identities is discussed.
| Original language | English |
|---|
| Place of Publication | University of Linz, Altenbergerstraße 69, 4040 Linz, Austria |
|---|
| Publisher | SFB F13 |
|---|
| Number of pages | 18 |
|---|
| Publication status | Published - Mar 2007 |
|---|
| Name | SFB F013 Reports |
|---|
| No. | 2007-7 |
|---|
- 101 Mathematics
- 101001 Algebra
- 101005 Computer algebra
- 101009 Geometry
- 101012 Combinatorics
- 101013 Mathematical logic
- 101020 Technical mathematics