{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,17]],"date-time":"2026-06-17T02:32:54Z","timestamp":1781663574915,"version":"3.54.5"},"reference-count":17,"publisher":"Pleiades Publishing Ltd","issue":"2","license":[{"start":{"date-parts":[[2015,3,1]],"date-time":"2015-03-01T00:00:00Z","timestamp":1425168000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,3,1]],"date-time":"2015-03-01T00:00:00Z","timestamp":1425168000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Program Comput Soft"],"published-print":{"date-parts":[[2015,3]]},"DOI":"10.1134\/s0361768815020048","type":"journal-article","created":{"date-parts":[[2015,3,23]],"date-time":"2015-03-23T09:20:35Z","timestamp":1427102435000},"page":"105-111","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Qualitative investigation of a gene model using computer algebra algorithms"],"prefix":"10.1134","volume":"41","author":[{"given":"F.","family":"Boulier","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"M.","family":"Han","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"F.","family":"Lemaire","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"V. G.","family":"Romanovski","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"137","published-online":{"date-parts":[[2015,3,24]]},"reference":[{"key":"6250_CR1","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-3-540-73433-8_6","volume":"4545","author":"F Boulier","year":"2007","unstructured":"Boulier, F., Lefranc, M., Lemaire, F., Morant, P.-E., and Urguplu, A., On proving the absence of oscillations in models of genetic circuits, Algebraic Biology, 2007, vol. 4545, pp. 66\u201380.","journal-title":"Algebraic Biology"},{"key":"6250_CR2","unstructured":"Andronov, A.A., Leontovich, E.A., Gordon, I.M., and Maier, A.G., Theory of Bifurcations of Dynamic Systems on a Plane. wwwf.imperial.ac.uk\/~dturaev\/andrleont.pdf."},{"key":"6250_CR3","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/978-3-319-02297-0_7","volume":"8136","author":"H Errami","year":"2013","unstructured":"Errami, H., Eiswirth, M., Grigoriev, D., Seiler, W.M., Sturm, T., and Weber, A., Efficient methods to compute Hopf bifurcations in chemical reaction networks using reaction coordinates, Comput. Algebra Sci. Computing, 2013, vol. 8136, pp. 88\u201399.","journal-title":"Comput. Algebra Sci. Computing"},{"key":"6250_CR4","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/978-3-540-85101-1_5","volume":"5147","author":"F Boulier","year":"2008","unstructured":"Boulier, F., Lefranc, M., Lemaire, F., and Morant, P.-E., Applying a rigorous quasi-steady state approximation method for proving the absence of oscillations in models of genetic circuits, Algebraic Biology, 2008, vol. 5147, pp. 56\u201364.","journal-title":"Algebraic Biology"},{"key":"6250_CR5","first-page":"289","volume-title":"Math. Comput. Sci.","author":"F Boulier","year":"2011","unstructured":"Boulier, F., Lefranc, M., Lemaire, F., and Morant, P.-E., Model reduction of chemical reaction systems using elimination, Math. Comput. Sci., 2011, no. 5, pp. 289\u2013301."},{"key":"6250_CR6","unstructured":"Decker, W., Greuel, G.-M., Pfister, G., and Shonemann, H., Singular 3-1-6: A computer algebra system for polynomial computations. http:\/\/www.singular.unikl.de."},{"key":"6250_CR7","volume-title":"primdec.lib Singular 3-1-6 library for computing the primary decomposition and radical of ideals","author":"W Decker","year":"2010","unstructured":"Decker, W., Laplagne, S., Pfister, G., and Schonemann, H.A., primdec.lib Singular 3-1-6 library for computing the primary decomposition and radical of ideals, 2010."},{"key":"6250_CR8","first-page":"60","volume-title":"Bull. Sci. Math.","author":"G Darboux","year":"1878","unstructured":"Darboux, G., Memoire sur les equations differentielles algebriques du premier ordre et du premier degre (Melanges), Bull. Sci. Math., 1878, no. 2, pp. 60\u201396."},{"key":"6250_CR9","volume-title":"The Center and Cyclicity Problems: A Computational Algebra Approach","author":"VG Romanovski","year":"2009","unstructured":"Romanovski, V.G. and Shafer, D.S., The Center and Cyclicity Problems: A Computational Algebra Approach, Boston: Birkhauser, 2009."},{"key":"6250_CR10","volume-title":"Modern Algebra","author":"BL van der Waerden","year":"1969","unstructured":"van der Waerden, B.L., Modern Algebra, New York: Frederick Ungar, 1969."},{"key":"6250_CR11","first-page":"146","volume-title":"J. Symbolic Comput.","author":"P Gianni","year":"1988","unstructured":"Gianni, P., Trager, B., and Zacharias, G., Grobner bases and primary decomposition of polynomials, J. Symbolic Comput., 1988, no. 6, pp. 146\u2013167."},{"key":"6250_CR12","unstructured":"Wolfram, Mathematica, Version 9.0, Champaign, IL, 2012."},{"key":"6250_CR13","first-page":"134","volume-title":"Proc. 2nd GI Conf. on Automata Theory and Formal Languages","author":"GE Collins","year":"1975","unstructured":"Collins, G.E., Quantifier elimination for the elementary theory of real closed fields by cylindrical algebraic decomposition, Proc. 2nd GI Conf. on Automata Theory and Formal Languages, 1975, no. 33, pp. 134\u2013183."},{"key":"6250_CR14","first-page":"38","volume-title":"Proc. 4th Int. Conf. on Mathematical Aspects of Computer Science and Information Sciences (MACIS 2011)","author":"C Chen","year":"2011","unstructured":"Chen, C., Davenport, J.H., Lemaire, F., Moreno Maza, M., Phisanbut, N., Xia, B., Xiao, R., and Xie, Y., Solving semi-algebraic systems with the RegularChains library in Maple, Proc. 4th Int. Conf. on Mathematical Aspects of Computer Science and Information Sciences (MACIS 2011), Raschau, S., Ed., 2011, pp. 38\u201351."},{"key":"6250_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2421-9","volume-title":"Elements of Applied Bifurcation Theory","author":"YA Kuznetsov","year":"1995","unstructured":"Kuznetsov, Y.A., Elements of Applied Bifurcation Theory, New York: Springer, 1995."},{"key":"6250_CR16","volume-title":"Stability of Motion","author":"AM Liapunov","year":"1966","unstructured":"Liapunov, A.M., Stability of Motion, New York: Academic, 1966."},{"issue":"2","key":"6250_CR17","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1134\/S0361768813020072","volume":"39","author":"VG Romanovski","year":"2013","unstructured":"Romanovski, V.G., Mencinger, M., and Fercec, B., Investigation of center manifolds of three-dimensional systems using computer algebra, Program. Comput. Software, 2013, vol. 39, no. 2, pp. 67\u201373.","journal-title":"Program. Comput. Software"}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768815020048.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768815020048","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768815020048","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768815020048.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T03:09:52Z","timestamp":1775012992000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768815020048"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,3]]},"references-count":17,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2015,3]]}},"alternative-id":["6250"],"URL":"https:\/\/doi.org\/10.1134\/s0361768815020048","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,3]]},"assertion":[{"value":"20 June 2014","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 March 2015","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}