An Application of Quantifier Elimination to Mathematical Biology

J. Fleischer, J. Grabmeier, F. W. Hehl, and W. Küchlin (Editors)
C. Chauvin, M. Müller, and Andreas Weber
In proceedings of Computer Algebra in Science and Engineering, Zentrum für Interdisziplinäre Forschung, pages 287-296, World Scientific, Aug. 1994
 

Bibtex

@INPROCEEDINGS{ChauvinMuellerWeber94a,
        author = {Chauvin, C. and M{\"u}ller, M. and Weber, Andreas},
        editor = {Fleischer, J. and Grabmeier, J. and Hehl, F. W. and K{\"u}chlin, W.},
         pages = {287--296},
         title = {An Application of Quantifier Elimination to Mathematical Biology},
     booktitle = {Computer Algebra in Science and Engineering},
          year = {1994},
         month = aug,
     publisher = {World Scientific},
  organization = {Zentrum f{\"u}r Interdisziplin{\"a}re Forschung},
          isbn = {981-02-2319-6}
}