Symbolic Summation and Applications

Activity: Talk or presentation › Invited talk › unknown

Period30 Apr 2007
Event titlenvited colloquium talk at Trisemestre on Methods of Proof Theory in Mathematics, Max Planck Institute for Mathematics, Bonn, Germany
Event typeOther
LocationGermanyShow on map

Fields of science

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