Symbolic Summation with Radical Expressions

Activity: Talk or presentation › Contributed talk › unknown

Description

An extension of Karr's summation 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 by a list of identities found with an implementation of our techniques.
Period31 Jul 2007
Event titleContributed talk at ISSAC'07
Event typeConference
LocationCanadaShow on map

Fields of science

  • 101013 Mathematical logic
  • 101001 Algebra
  • 101012 Combinatorics
  • 101020 Technical mathematics
  • 101 Mathematics
  • 101009 Geometry
  • 101005 Computer algebra