{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,5]],"date-time":"2026-10-05T09:06:32Z","timestamp":1791191192843,"version":"4.1.0"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2014,12,1]],"date-time":"2014-12-01T00:00:00Z","timestamp":1417392000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Algorithms Mol Biol"],"published-print":{"date-parts":[[2014,12]]},"DOI":"10.1186\/s13015-014-0024-2","type":"journal-article","created":{"date-parts":[[2014,12,3]],"date-time":"2014-12-03T11:11:59Z","timestamp":1417605119000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":18,"title":["A constraint solving approach to model reduction by tropical equilibration"],"prefix":"10.1186","volume":"9","author":[{"given":"Sylvain","family":"Soliman","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fran\u00e7ois","family":"Fages","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ovidiu","family":"Radulescu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2014,12,4]]},"reference":[{"key":"24_CR1","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/S0747-7171(88)80005-1","volume":"5","author":"D Grigoriev","year":"1988","unstructured":"Grigoriev D, Vorobjov N:Solving systems of polynomial inequalities in subexponential time. J Symbolic Computat. 1988, 5: 37-64. 10.1016\/S0747-7171(88)80005-1.","journal-title":"J Symbolic Computat"},{"key":"24_CR2","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/3-540-51517-8_81","volume":"18","author":"D Grigoriev","year":"1989","unstructured":"Grigoriev D:Complexity of quantifier elimination in the theory of ordinary differential equations. Lect Notes Comput Sci. 1989, 18: 11-25. 10.1007\/3-540-51517-8_81.","journal-title":"Lect Notes Comput Sci"},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"Pantea C, Gupta A, Rawlings JB, Craciun G: The QSSA in chemical kinetics: as taught and as practiced. In Discrete and Topological Models in Molecular Biology. Berlin: Springer; 2014:419\u2013442.,","DOI":"10.1007\/978-3-642-40193-0_20"},{"key":"24_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-31531-5_1","volume":"660","author":"A Gorban","year":"2005","unstructured":"Gorban A, Karlin I:Invariant manifolds for physical and chemical kinetics. Lect Notes Phys. 2005, 660: 1-491. 10.1007\/978-3-540-31531-5_1.","journal-title":"Lect Notes Phys"},{"issue":"4","key":"24_CR5","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1002\/kin.550260408","volume":"26","author":"S Lam","year":"1994","unstructured":"Lam S, Goussis D:The CSP method for simplifying kinetics. Int J Chem Kinet. 1994, 26 (4): 461-486. 10.1002\/kin.550260408.","journal-title":"Int J Chem Kinet"},{"issue":"3","key":"24_CR6","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/0010-2180(92)90034-M","volume":"88","author":"U Maas","year":"1992","unstructured":"Maas U, Pope SB:Simplifying chemical kinetics: intrinsic low-dimensional manifolds in composition space. Combustion Flame. 1992, 88 (3): 239-264. 10.1016\/0010-2180(92)90034-M.","journal-title":"Combustion Flame"},{"issue":"18","key":"24_CR7","doi-asserted-by":"publisher","first-page":"i575","DOI":"10.1093\/bioinformatics\/btq388","volume":"26","author":"S Gay","year":"2010","unstructured":"Gay S, Soliman S, Fages F:A graphical method for reducing and relating models in systems biology. Bioinformatics. 2010, 26 (18): i575-i581. [Special issue ECCB\u201910],","journal-title":"Bioinformatics"},{"key":"24_CR8","doi-asserted-by":"publisher","first-page":"131","DOI":"10.3389\/fgene.2012.00131","volume":"3","author":"O Radulescu","year":"2012","unstructured":"Radulescu O, Gorban AN, Zinovyev A, Noel V:Reduction of dynamical biochemical reactions networks in computational biology. Front Genet. 2012, 3: 131-[http:\/\/www.frontiersin.org\/bioinformatics_and_computational_biology\/10.3389\/fgene.2012.00131\/abstract],","journal-title":"Front Genet"},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"Sturmfels B: Solving systems of polynomial equations, Volume 97, American Mathematical Soc: Providence; 2002.,","DOI":"10.1090\/cbms\/097"},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"Walker RJ: Algebraic curves, New York: Springer; 1978.,","DOI":"10.1007\/978-1-4612-6323-4"},{"issue":"601","key":"24_CR11","first-page":"139","volume":"2006","author":"M Einsiedler","year":"2006","unstructured":"Einsiedler M, Kapranov M, Lind D:Non-archimedean amoebas and tropical varieties. J f\u00fcr die reine und angewandte Mathematik (Crelles J). 2006, 2006 (601): 139-157.","journal-title":"J f\u00fcr die reine und angewandte Mathematik (Crelles J)"},{"key":"24_CR12","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/j.entcs.2012.05.016","volume":"284","author":"V Noel","year":"2012","unstructured":"Noel V, Grigoriev D, Vakulenko S, Radulescu O:Tropical geometries and dynamics of biochemical networks application to hybrid cell cycle models. Electron Notes Theor Comput Sci. 2012, 284: 75-91. 10.1016\/j.entcs.2012.05.016.","journal-title":"Electron Notes Theor Comput Sci"},{"key":"24_CR13","doi-asserted-by":"crossref","unstructured":"Noel V, Grigoriev D, Vakulenko S, Radulescu O: Tropicalization and tropical equilibration of chemical reactions. In Tropical and Idempotent Mathematics and Applications, Volume 616 of Contemporary Mathematics. Edited by Litvinov G, Sergeev S: American Mathematical Society; 2014:261\u2013277.,","DOI":"10.1090\/conm\/616\/12316"},{"key":"24_CR14","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/s00037-012-0053-5","volume":"22","author":"D Grigoriev","year":"2013","unstructured":"Grigoriev D:Complexity of solving tropical linear systems. Comput Complexity. 2013, 22: 71-88. 10.1007\/s00037-012-0053-5.","journal-title":"Comput Complexity"},{"issue":"12","key":"24_CR15","doi-asserted-by":"publisher","first-page":"1360","DOI":"10.1016\/j.jsc.2005.11.006","volume":"41","author":"T Theobald","year":"2006","unstructured":"Theobald T:On the frontiers of polynomial computations in tropical geometry. J Symbolic Comput. 2006, 41 (12): 1360-1375. 10.1016\/j.jsc.2005.11.006.","journal-title":"J Symbolic Comput"},{"issue":"34","key":"24_CR16","doi-asserted-by":"publisher","first-page":"D689","DOI":"10.1093\/nar\/gkj092","volume":"1","author":"N le Nov\u00e8re","year":"2006","unstructured":"le Nov\u00e8re N, Bornstein B, Broicher A, Courtot M, Donizelli M, Dharuri H, Li L, Sauro H, Schilstra M, Shapiro B, Snoep JL, Hucka M:BioModels Database: a free, centralized database of curated, published, quantitative kinetic models of biochemical and cellular systems. Nucleic Acid Res. 2006, 1 (34): D689-D691. 10.1093\/nar\/gkj092.","journal-title":"Nucleic Acid Res"},{"key":"24_CR17","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/S1367-5788(99)90091-3","volume":"23","author":"G Cohen","year":"1999","unstructured":"Cohen G, Gaubert S, Quadrat J:Max-plus algebra and system theory: where we are and where to go now. Ann Rev Control. 1999, 23: 207-219. 10.1016\/S1367-5788(99)90091-3.","journal-title":"Ann Rev Control"},{"issue":"2","key":"24_CR18","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/s11537-008-0832-6","volume":"3","author":"O Viro","year":"2008","unstructured":"Viro O:From the sixteenth Hilbert problem to tropical geometry. Jpn J Math. 2008, 3 (2): 185-214. 10.1007\/s11537-008-0832-6.","journal-title":"Jpn J Math"},{"issue":"7","key":"24_CR19","doi-asserted-by":"publisher","first-page":"2310","DOI":"10.1016\/j.ces.2009.09.005","volume":"65","author":"AN Gorban","year":"2010","unstructured":"Gorban AN, Radulescu O, Zinovyev AY: Asymptotology of chemical reaction networks Chem Eng Sci. 2010, 65 (7): 2310-2324. 10.1016\/j.ces.2009.09.005. [International Symposium on Mathematics in Chemical Kinetics and Engineering]","journal-title":"Chem Eng Sci"},{"key":"24_CR20","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"AK Mackworth","year":"1977","unstructured":"Mackworth AK:Consistency in networks of relations. Artif Intell. 1977, 8: 99-118. 10.1016\/0004-3702(77)90007-8.","journal-title":"Artif Intell"},{"key":"24_CR21","doi-asserted-by":"crossref","first-page":"3","DOI":"10.3233\/AIC-1989-2101","volume":"2","author":"P Meseguer","year":"1989","unstructured":"Meseguer P:Constraint satisfaction problems: an overview. A.I. Commun. 1989, 2: 3-17.","journal-title":"A.I. Commun"},{"key":"24_CR22","first-page":"32","volume":"13","author":"V Kumar","year":"1992","unstructured":"Kumar V:Algorithms for constraint- satisfaction problems: a survey. A.I. Mag. 1992, 13: 32-44.","journal-title":"A.I. Mag"},{"issue":"15","key":"24_CR23","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1186\/1748-7188-7-15","volume":"7","author":"S Soliman","year":"2012","unstructured":"Soliman S:Invariants and other structural properties of biochemical models as a constraint satisfaction problem. Algorithms Mol Biol. 2012, 7 (15): 15-","journal-title":"Algorithms Mol Biol"},{"issue":"1-2","key":"24_CR24","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1017\/S1471068411000494","volume":"12","author":"J Wielemaker","year":"2012","unstructured":"Wielemaker J, Schrijvers T, Triska M, Lager T: SWI-Prolog Theory Prac Logic Program. 2012, 12 (1-2): 67-96. 10.1017\/S1471068411000494.","journal-title":"Theory Prac Logic Program"},{"key":"24_CR25","unstructured":"Wielemaker J: SWI-Prolog 6.3.15 Reference Manual; 1990. [], http:\/\/www.swi-prolog.org\/pldoc\/refman\/"},{"key":"24_CR26","first-page":"131","volume":"3","author":"O Radulescu","year":"2012","unstructured":"Radulescu O, Gorban A, Zinovyev A, Noel V:Reduction of dynamical biochemical reaction networks in computational biology. Front Bioinformatics Comput Biol. 2012, 3: 131-","journal-title":"Front Bioinformatics Comput Biol"},{"key":"24_CR27","unstructured":"Beldiceanu N, Carlsson M, Demassey S, Petit T: Global constraints catalog. Tech. Rep. T2005-6, Swedish Institute of Computer Science 2005"},{"key":"24_CR28","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/0004-3702(92)90004-H","volume":"58","author":"EC Freuder","year":"1992","unstructured":"Freuder EC, Wallace RJ:Partial constraint satisfaction. Artif Intell. 1992, 58: 21-70. 10.1016\/0004-3702(92)90004-H.","journal-title":"Artif Intell"}],"container-title":["Algorithms for Molecular Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s13015-014-0024-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1186\/s13015-014-0024-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s13015-014-0024-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s13015-014-0024-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,27]],"date-time":"2020-08-27T14:03:42Z","timestamp":1598537022000},"score":1,"resource":{"primary":{"URL":"https:\/\/almob.biomedcentral.com\/articles\/10.1186\/s13015-014-0024-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12]]},"references-count":28,"aliases":["10.1186\/preaccept-1468617733126024"],"journal-issue":{"issue":"1","published-print":{"date-parts":[[2014,12]]}},"alternative-id":["24"],"URL":"https:\/\/doi.org\/10.1186\/s13015-014-0024-2","relation":{},"ISSN":["1748-7188"],"issn-type":[{"value":"1748-7188","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,12]]},"assertion":[{"value":"4 April 2014","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 November 2014","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 December 2014","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"24"}}