gefundene Verfasser Sturm, V


Treffer 1 - 20 von 234 für Suche 'Sturm, V', Suchdauer: 3,92s Treffer weiter einschränken
  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6

    P-adic root isolation von Sturm, Thomas, Weispfenning, Volker 1944-

    Veröffentlicht 2004
    Buch
  7. 7

    Solving univariate p-adic constraints von Sturm, Thomas, Weispfenning, Volker 1944-

    Veröffentlicht 2004
    Buch
  8. 8
  9. 9

    Computational geometry problems in redlog von Sturm, Thomas, Weispfenning, Volker 1944-

    Veröffentlicht 1997
    Buch
  10. 10

    Real quantifier elimination in practice von Dolzmann, Andreas, Sturm, Thomas, Weispfenning, Volker 1944-

    Veröffentlicht 1997
    Buch
  11. 11
  12. 12
  13. 13
  14. 14
  15. 15
  16. 16
  17. 17
  18. 18
  19. 19
  20. 20