- Series
- Student Algebraic Geometry Seminar
- Time
- Friday, March 16, 2018 - 10:00am for 1 hour (actually 50 minutes)
- Location
- Skiles 006
- Speaker
- Kisun Lee – Georgia Tech – klee669@gatech.edu – http://people.math.gatech.edu/~klee669/
- Organizer
- Kisun Lee
Expanding the topic we discussed on last week, we consider the way to certify roots for system of equations with D-finite functions. In order to do this, we will first introduce the notion of D-finite functions, and observe the property of them. We also suggest two different ways to certify this, that is, alpha-theory and the Krawczyk method. We use the concept of majorant series for D-finite functions to apply above two methods for certification. After considering concepts about alpha-theory and the Krawczyk method, we finish the talk with suggesting some open problems about these.