Suchergebnisse - Weispfenning, Volker 1944-

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 filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 1998
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 1998
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 2004
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

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

    Veröffentlicht 2002
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 1999
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Semilinear motion planning in REDLOG
    von Weispfenning, Volker 1944-

    Veröffentlicht 1999
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

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

    Veröffentlicht 1998
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

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

    Veröffentlicht 1996
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

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

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

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

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

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

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    Non-commutative Groebner bases in algebras of solvable type
    von Kandri-Rody, Abdelilah, Weispfenning, Volker 1944-

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    The complexity of almost linear diophantine problems
    von Weispfenning, Volker 1944-

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    Efficient decision procedures for locally finite theories
    Band 2
    von Weispfenning, Volker 1944-

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

    Solving parametric polynomial equations and inequalities by symbolic algorithms
    von Weispfenning, Volker 1944-

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

    Parametric linear and quadratic optimization by elimination
    von Weispfenning, Volker 1944-

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

    A new approach to quantifier elimination for real algebra
    von Weispfenning, Volker 1944-

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  19. 19
    Buchumschlag

    Constructing universal Gröbner bases
    von Weispfenning, Volker 1944-

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  20. 20
    Buchumschlag

    Existential equivalence of ordered abelian groups with parameters
    von Weispfenning, Volker 1944-

    Veröffentlicht 1989
    Buch


    Gespeichert in:

Suchwerkzeuge: