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}
}