Skip to main content
Article thumbnail
Location of Repository

An Application of Quantifier Elimination to Mathematical Biology

By Corinne Chauvin, Myriam Müller and Andreas Weber

Abstract

Wewere interested in the change of the qualitative behaviour of a parameterized system of non-linear di#erential equations as they occur in epidemiology, which are given by rational functions of the parameters. At a certain point of the computation, questions of the following form arose: if a certain rational function of the parameters is equal to one, is it true that another rational function is less than zero for all parameters? We had di#culties to solve this question by the use of commercial algebra systems. However this problem can be formulated as a #rst order formula over the reals and can thus be solved by a quanti#er elimination method. Wehave used the implementation of H. Hong and for three parameters the necessary computation time on a Sparc 2 was about one minute. The method was not only valuable for deciding the formula, but in several cases the returned equivalent quanti#er-free formula gave additional information. 1. Introduction Wewere interested in the change of the q..

Year: 2007
OAI identifier: oai:CiteSeerX.psu:10.1.1.36.3786
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.igd.fhg.de/~aweber/... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.