Bradford, Russell; Davenport, James H.; England, Matthew; Errami, Hassan; Gerdt, Vladimir; Grigoriev, Dima; Hoyt, Charles; Košta, Marek; Radulescu, Ovidiu; Sturm, Thomas; Weber, Andreas Identifying the parametric occurrence of multiple steady states for some biological networks. (English) Zbl 1442.92056 J. Symb. Comput. 98, 84-119 (2020). Reviewer: Amir Hashemi (Isfahan) MSC: 92C42 68W30 92-08 PDF BibTeX XML Cite \textit{R. Bradford} et al., J. Symb. Comput. 98, 84--119 (2020; Zbl 1442.92056) Full Text: DOI arXiv
Röbenack, Klaus; Voßwinkel, Rick; Richter, Hendrik Automatic generation of bounds for polynomial systems with application to the Lorenz system. (English) Zbl 1404.34055 Chaos Solitons Fractals 113, 25-30 (2018). MSC: 34C45 37C70 PDF BibTeX XML Cite \textit{K. Röbenack} et al., Chaos Solitons Fractals 113, 25--30 (2018; Zbl 1404.34055) Full Text: DOI arXiv
Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke CGSQE/SyNRAC: a real quantifier elimination package based on the computation of comprehensive Gröbner systems. (English) Zbl 1365.68488 ACM Commun. Comput. Algebra 50, No. 3, 101-104 (2016). MSC: 68W30 13-04 13P10 PDF BibTeX XML Cite \textit{R. Fukasaku} et al., ACM Commun. Comput. Algebra 50, No. 3, 101--104 (2016; Zbl 1365.68488) Full Text: DOI
Košta, Marek; Sturm, Thomas; Dolzmann, Andreas Better answers to real questions. (English) Zbl 1346.68290 J. Symb. Comput. 74, 255-275 (2016). MSC: 68W30 03C10 PDF BibTeX XML Cite \textit{M. Košta} et al., J. Symb. Comput. 74, 255--275 (2016; Zbl 1346.68290) Full Text: DOI arXiv
Jaroschek, Maximilian; Dobal, Pablo Federico; Fontaine, Pascal Adapting real quantifier elimination methods for conflict set computation. (English) Zbl 1471.68248 Lutz, Carsten (ed.) et al., Frontiers of combining systems. 10th international symposium, FroCoS 2015, Wrocław, Poland, September 21–24, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9322, 151-166 (2015). MSC: 68T20 03B25 03C10 PDF BibTeX XML Cite \textit{M. Jaroschek} et al., Lect. Notes Comput. Sci. 9322, 151--166 (2015; Zbl 1471.68248) Full Text: DOI arXiv
Li, Xiaoliang; Mou, Chenqi; Niu, Wei; Wang, Dongming Stability analysis for discrete biological models using algebraic methods. (English) Zbl 1270.92023 Math. Comput. Sci. 5, No. 3, 247-262 (2011). MSC: 92C42 92B05 92-08 37N25 PDF BibTeX XML Cite \textit{X. Li} et al., Math. Comput. Sci. 5, No. 3, 247--262 (2011; Zbl 1270.92023) Full Text: DOI
Zhao, Ting; Wang, Dongming; Hong, Hoon Solution formulas for cubic equations without or with constraints. (English) Zbl 1219.12002 J. Symb. Comput. 46, No. 8, 904-918 (2011). Reviewer: Mihai Cipu (Bucureşti) MSC: 12D10 12Y05 PDF BibTeX XML Cite \textit{T. Zhao} et al., J. Symb. Comput. 46, No. 8, 904--918 (2011; Zbl 1219.12002) Full Text: DOI
Weber, Andreas; Sturm, Thomas; Abdel-Rahman, Essam O. Algorithmic global criteria for excluding oscillations. (English) Zbl 1214.92002 Bull. Math. Biol. 73, No. 4, 899-916 (2011). MSC: 92B05 34C99 37N25 92C45 PDF BibTeX XML Cite \textit{A. Weber} et al., Bull. Math. Biol. 73, No. 4, 899--916 (2011; Zbl 1214.92002) Full Text: DOI
Emiris, Ioannis Z.; Tsigaridas, Elias P. Real algebraic numbers and polynomial systems of small degree. (English) Zbl 1162.68825 Theor. Comput. Sci. 409, No. 2, 186-199 (2008). MSC: 68W30 PDF BibTeX XML Cite \textit{I. Z. Emiris} and \textit{E. P. Tsigaridas}, Theor. Comput. Sci. 409, No. 2, 186--199 (2008; Zbl 1162.68825) Full Text: DOI
Dolzmann, Andreas; Weispfenning, Volker Multiple object semilinear motion planning. (English) Zbl 1119.68200 J. Symb. Comput. 42, No. 3, 324-337 (2007). MSC: 68T40 68U05 68W30 03C10 PDF BibTeX XML Cite \textit{A. Dolzmann} and \textit{V. Weispfenning}, J. Symb. Comput. 42, No. 3, 324--337 (2007; Zbl 1119.68200) Full Text: DOI
Größlinger, Armin; Griebl, Martin; Lengauer, Christian Quantifier elimination in automatic loop parallelization. (English) Zbl 1124.68035 J. Symb. Comput. 41, No. 11, 1206-1221 (2006). MSC: 68Q10 68N20 68W10 03C10 PDF BibTeX XML Cite \textit{A. Größlinger} et al., J. Symb. Comput. 41, No. 11, 1206--1221 (2006; Zbl 1124.68035) Full Text: DOI
Brown, Christopher W.; El Kahoui, M’hammed; Novotni, Dominik; Weber, Andreas Algorithmic methods for investigating equilibria in epidemic modeling. (English) Zbl 1120.92034 J. Symb. Comput. 41, No. 11, 1157-1173 (2006). MSC: 92D30 68U99 03C10 PDF BibTeX XML Cite \textit{C. W. Brown} et al., J. Symb. Comput. 41, No. 11, 1157--1173 (2006; Zbl 1120.92034) Full Text: DOI Link
El Kahoui, M’hammed; Weber, Andreas; Eberhardt, Bernd Improved algorithms for linear complementarity problem arising from collision response. (English) Zbl 0977.68096 Math. Comput. Simul. 56, No. 1, 69-93 (2001). MSC: 68U20 PDF BibTeX XML Cite \textit{M. El Kahoui} et al., Math. Comput. Simul. 56, No. 1, 69--93 (2001; Zbl 0977.68096) Full Text: DOI
Brown, Christopher W. Simple CAD construction and its applications. (English) Zbl 0976.65023 J. Symb. Comput. 31, No. 5, 521-547 (2001). Reviewer: Jacek Gilewicz (Marseille) MSC: 65D18 68W30 PDF BibTeX XML Cite \textit{C. W. Brown}, J. Symb. Comput. 31, No. 5, 521--547 (2001; Zbl 0976.65023) Full Text: DOI Link
Ioakimidis, N. I. Automatic derivation of positivity conditions inside boundary elements with the help of the REDLOG computer logic package. (English) Zbl 1163.65342 Eng. Anal. Bound. Elem. 23, No. 10, 847-856 (1999). MSC: 65Y99 68W30 PDF BibTeX XML Cite \textit{N. I. Ioakimidis}, Eng. Anal. Bound. Elem. 23, No. 10, 847--856 (1999; Zbl 1163.65342) Full Text: DOI