Articles
Au départ (1829), le théorème d'algèbre de Ch. F. Sturm fournit un algorithme pour compter le nombre de racines d'un polynôme sur un intervalle réel. Généralisé par A. Tarski (dans les années 1930), il devient un algorithme de décision pour la théorie logique du premier ordre du corps ordonné des no...