Résolution du problème de l'ellipse et du cercle par l'algorithme de Hörmander (Q3479523)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Résolution du problème de l'ellipse et du cercle par l'algorithme de Hörmander
scientific article

    Statements

    Résolution du problème de l'ellipse et du cercle par l'algorithme de Hörmander (English)
    0 references
    0 references
    1990
    0 references
    Kahan's problem
    0 references
    Hörmander's proof of quantifier elimination
    0 references

    Identifiers