An upper bound for effective differential Nullstellensatz
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


New Scientiffic Publications