Personal tools
You are here: Home / Internal / RISC Forum / 2009 / RISC Forum

RISC Forum

Filed under: ,
Christoph Koutschan: Computer algebra algorithms for d-finite and holonomic functions (internal thesis defense)
When Jun 08, 2009
from 01:30 PM to 02:00 PM
Where RISC seminar room
Attendees all@risc
Add event to calendar vCal
iCal

Computer algebra algorithms for d-finite and holonomic functions

Christoph Koutschan (internal thesis defense)

Abstract

The first part of the talk is dedicated to my Mathematica package HolonomicFunctions which has been implemented during the last two years and which will be an important part of the thesis. It provides commands for the automatic manipulation of multivariate d-finite and holonomic functions (closure properties, summation, integration) as well as arithmetic and Gröbner bases in certain noncommutative polynomial rings (Ore algebras). In the second part, some examples are presented to which the package has been applied successfully:

1) the computation of relations for basis functions that are highly needed in numerical simulations and

2) a new proof of Stembridge's TSPP theorem that is completely algorithmic.

« April 2025 »
April
MoTuWeThFrSaSu
123456
78910111213
14151617181920
21222324252627
282930
Upcoming Events
RISC Forum Apr 07, 2025 01:30 PM - 01:45 PM
NO RISC Forum (lecture free) Apr 14, 2025 01:30 PM - 01:45 PM
NO RISC Forum Apr 21, 2025 01:30 PM - 01:45 PM
RISC Forum Apr 28, 2025 01:30 PM - 01:45 PM
FIRST AID COURSE May 05, 2025 01:00 PM - 05:00 PM
Previous events…
Upcoming events…