Speaker: Võ Ngọc Thiệu (Đại học Tôn Đức Thắng)
Time: 9:30 - 11:00, Wednesday April 06, 2022
Abstract: The effective differential Nullstellensatz is a fundamental result in the computational theory of algebraic differential equations. It provides an algorithm for checking whether a system of algebraic differential equations has a solution or not. We present an upper bound for the effective differential Nullstellensatz, sketch the proofs and estimate the optimality of the bound. Some related open questions will be discussed.
Online: https://meet.google.com/esi-huxm-xqg | 
