DI-UMONS : Dépôt institutionnel de l’université de Mons

Recherche transversale
Rechercher
(titres de publication, de périodique et noms de colloque inclus)
2013-04-01 - Article/Dans un journal avec peer-review - Anglais - 12 page(s)

Brouette Quentin , "A Nullstellensatz and a Positivstellensatz for Ordered Differential Fields" in Mathematical Logic Quarterly

  • Edition : John Wiley & Sons, Inc. - Engineering
  • Codes CREF : Algèbre - théorie des anneaux - théorie des corps (DI1147), Mathématiques (DI1100), Logique mathématique (DI1170), Equations différentielles et aux dérivées partielles (DI1127)
  • Unités de recherche UMONS : Logique mathématique (S838)
  • Instituts UMONS : Institut de Recherche sur les Systèmes Complexes (Complexys)
  • Centres UMONS : Algèbre, Géométrie et Interactions fondamentales (AGIF)