Effective Real-closure of H-fields

Speaker: Sean Bontemps，CNRS, LIX             

Title: Effective Real-closure of H-fields

Language: English  

Time & Venue: 2026.09.10   15:00-16:00   思源楼525

Abstract: H-fields are fields with an ordering and a derivation subject to some compatibility.  Effective H-fields are H-fields representible by a concrete data structure and with algorithm carrying basic operations. This talk aim to construct field extensions of an H-field ℋ, we create algorithm that allow to compute roots of polynomials and of element of ℋ. We end up with a way to compute every element of the real-closure of a given H-field.