Quentin Brouette

Publication Activity (10 Years)

Years Active: 2013-2019
Publications (10 Years): 3

Top Topics

Semantics Of Logic Programs

Experimental Conditions

Learning Algorithm

Top Venues

Arch. Math. Log.

Publications

Quentin Brouette, Pablo Cubides Kovacsics, Françoise Point
Strong density of Definable Types and closed Ordered differential Fields. J. Symb. Log. 84 (3) (2019)
Quentin Brouette, Françoise Point
On differential Galois groups of strongly normal extensions. Math. Log. Q. 64 (3) (2018)
Quentin Brouette
Definable types in the theory of closed ordered differential fields. Arch. Math. Log. 56 (1-2) (2017)
Quentin Brouette
A nullstellensatz and a positivstellensatz for ordered differential fields. Math. Log. Q. 59 (3) (2013)