Volker Weispfenning

Volker Weispfenning (1988) hochkant|mini|Volker Weispfenning (1988) Volker B. Weispfenning (* 1944 in Frankfurt am Main) ist ein deutscher Mathematiker, der sich mit mathematischer Logik (Modelltheorie) und Computeralgebra befasst. Veröffentlicht in Wikipedia
Treffer 1 – 20 von 40 für Suche 'Weispfenning, Volker', Suchdauer: 0,10s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Deciding linear trigonometric problems

    Deciding linear trigonometric problems von Anai, Hirokazu, Weispfenning, Volker 1944-

    Veröffentlicht 2000
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Deciding linear transcendental problems

    Deciding linear transcendental problems von Weispfenning, Volker 1944-

    Veröffentlicht 2000
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Reach set computations using real quantifier elimination

    Reach set computations using real quantifier elimination von Anai, Hirokazu, Weispfenning, Volker 1944-

    Veröffentlicht 2000
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    An algebraic approach to offsetting and blending of solids

    An algebraic approach to offsetting and blending of solids von Sturm, Thomas, Weispfenning, Volker 1944-

    Veröffentlicht 1998
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Gröbner bases a computational approach to commutative algebra

    Gröbner bases a computational approach to commutative algebra von Becker, Thomas, Weispfenning, Volker 1944-

    Veröffentlicht 1998
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Proceedings of the 1998 international symposium on Symbolic and algebraic computation

    Proceedings of the 1998 international symposium on Symbolic and algebraic computation von Weispfenning, Volker

    Veröffentlicht 1998
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Gröbner bases a computational approach to commutative algebra

    Gröbner bases a computational approach to commutative algebra von Becker, Thomas, Weispfenning, Volker 1944-

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Gröbner bases a computational approach to commutative algebra

    Gröbner bases a computational approach to commutative algebra von Becker, Thomas, Weispfenning, Volker 1944-

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Parametric Gröbner bases for non-commutative polynomials

    Parametric Gröbner bases for non-commutative polynomials von Kredel, Heinz, Weispfenning, Volker 1944-

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    P-adic root isolation

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

    Veröffentlicht 2004
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Solving univariate p-adic constraints

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

    Veröffentlicht 2004
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Canonical comprehensive Gröbner bases

    Canonical comprehensive Gröbner bases von Weispfenning, Volker 1944-

    Veröffentlicht 2002
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Mixed real integer linear quantifier elimination

    Mixed real integer linear quantifier elimination von Weispfenning, Volker 1944-

    Veröffentlicht 1999
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Semilinear motion planning in REDLOG

    Semilinear motion planning in REDLOG von Weispfenning, Volker 1944-

    Veröffentlicht 1999
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    Mixed real integer linear quantifier elimination

    Mixed real integer linear quantifier elimination von Weispfenning, Volker 1944-

    Veröffentlicht 1998
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Real quantifier elimination in practice

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

    Veröffentlicht 1997
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Applying quantifier elimination to problems in simulation and optimization

    Applying quantifier elimination to problems in simulation and optimization von Weispfenning, Volker 1944-

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    Parametric mixed integer programming by elimination

    Parametric mixed integer programming by elimination von Weispfenning, Volker 1944-, Rui, Xue

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  19. 19
    The Chinese remainder problem, multivariate interpolation, and Gröbner bases

    The Chinese remainder problem, multivariate interpolation, and Gröbner bases von Becker, Thomas, Weispfenning, Volker 1944-

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  20. 20
    On the number of term orders

    On the number of term orders von Ritter, Gunter, Weispfenning, Volker 1944-

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: