Funder
Max Planck Institute for Informatics
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Computational Theory and Mathematics,Computational Mathematics
Reference75 articles.
1. Arnon, D.S.: Algorithms for the geometry of semi-algebraic sets. Technical Report 436, Computer Science Department, University of Wisconsin-Madison, Ph.D. Thesis (1981)
2. Basu, S., Pollack, R., Roy, M.-F.: On the combinatorial and algebraic complexity of quantifier elimination. J. ACM 43(6), 1002–1045 (1996)
3. Boulier, F., Lefranc, M., Lemaire, F., Morant, P.-E., Ürgüplü, A.: On proving the absence of oscillations in models of genetic circuits. In: Proceedings of the AB 2007, volume 4545 of LNCS, pp. 66–80. Springer (2007)
4. Boulier, F., Lefranc, M., Lemaire, F., Morant, P.-E.: Applying a rigorous quasi-steady state approximation method for proving the absence of oscillations in models of genetic circuits. In: Proceedings of the AB 2008, volume 5147 of LNCS, pp. 56–64. Springer (2008)
5. Brown, C.W., Gross C.: Efficient preprocessing methods for quantifier elimination. In: Proceedings of the CASC 2006, volume 4194 of LNCS, pp. 89–100. Springer (2006)
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献