{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:17:36Z","timestamp":1750220256805,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,7,4]],"date-time":"2022-07-04T00:00:00Z","timestamp":1656892800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,7,4]]},"DOI":"10.1145\/3476446.3535473","type":"proceedings-article","created":{"date-parts":[[2022,7,5]],"date-time":"2022-07-05T13:16:01Z","timestamp":1657026961000},"page":"33-38","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Applications of Computer Algebra to Parameter Analysis of Dynamical Systems"],"prefix":"10.1145","author":[{"given":"Nathalie","family":"Verdi\u00e8re","sequence":"first","affiliation":[{"name":"Universit\u00e9 du Havre, Le Havre, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S\u00e9bastien","family":"Orange","sequence":"additional","affiliation":[{"name":"Universit\u00e9 du Havre, Le Havre, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,7,5]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/10.900248"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cmpb.2007.07.002"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1152\/jn.1993.69.6.1948"},{"key":"e_1_3_2_1_5_1","volume-title":"Universit\u00e9 Lille I, LIFL, 59655, Villeneuve d'Ascq","author":"Boulier Fran\u00e7ois","year":"1997","unstructured":"Fran\u00e7ois Boulier , Daniel Lazard , Fran\u00e7ois Ollivier , and Michel Petitot . Computing representation for radicals of finitely generated differential ideals. Technical report , Universit\u00e9 Lille I, LIFL, 59655, Villeneuve d'Ascq , 1997 . Fran\u00e7ois Boulier, Daniel Lazard, Fran\u00e7ois Ollivier, and Michel Petitot. Computing representation for radicals of finitely generated differential ideals. Technical report, Universit\u00e9 Lille I, LIFL, 59655, Villeneuve d'Ascq, 1997."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/968708.968710"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1080\/0020717031000067420"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/0025-5564(92)90058-5"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2011.12.014"},{"key":"e_1_3_2_1_10_1","volume-title":"varieties, and algorithms. An introduction to computational algebraic geometry and commutative algebra","author":"Cox David","year":"2015","unstructured":"David Cox , John Little , and Donal O'Shea . Ideals , varieties, and algorithms. An introduction to computational algebraic geometry and commutative algebra . 2 nd ed. 03 2015 . David Cox, John Little, and Donal O'Shea. Ideals, varieties, and algorithms. An introduction to computational algebraic geometry and commutative algebra. 2nd ed. 03 2015.","edition":"2"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.neucom.2011.09.006"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2003.09.013"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0378-4754(01)00274-9"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1474-6670(17)35173-X"},{"key":"e_1_3_2_1_15_1","first-page":"714","volume-title":"Proceedings of the 30th IEEE Conference on Decision and Control","author":"Diop Sette","year":"1991","unstructured":"Sette Diop and Michel Fliess . Nonlinear observabiliy, identifiability and persistant trajectories . In Proceedings of the 30th IEEE Conference on Decision and Control , pages 714 -- 719 , Brighton, UK , 1991 . Sette Diop and Michel Fliess. Nonlinear observabiliy, identifiability and persistant trajectories. In Proceedings of the 30th IEEE Conference on Decision and Control, pages 714--719, Brighton, UK, 1991."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/780506.780516"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0313-1_8"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1038\/296162a0"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1098\/rspb.1984.0024"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1113\/jphysiol.1952.sp004764"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpa.21921"},{"key":"e_1_3_2_1_22_1","volume-title":"Which model to use for cortical spiking neurons? IEEE transactions on neural networks, 15(5):1063--1070","author":"Izhikevich Eugene M.","year":"2004","unstructured":"Eugene M. Izhikevich . Which model to use for cortical spiking neurons? IEEE transactions on neural networks, 15(5):1063--1070 , 2004 . Eugene M. Izhikevich. Which model to use for cortical spiking neurons? IEEE transactions on neural networks, 15(5):1063--1070, 2004."},{"key":"e_1_3_2_1_23_1","volume-title":"Dynamical Systems in Neuroscience","author":"Izhikevich Eugene M.","year":"2007","unstructured":"Eugene M. Izhikevich . Dynamical Systems in Neuroscience . MIT press , 2007 . Eugene M. Izhikevich. Dynamical Systems in Neuroscience. MIT press, 2007."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cmpb.2016.04.024"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jtbi.2006.02.006"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(94)90029-9"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.mbs.2011.06.001"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.mbs.2009.08.010"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2021.105030"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/0025-5564(78)90063-9"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.compbiomed.2010.02.004"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(02)00302-3"},{"key":"e_1_3_2_1_33_1","unstructured":"Mohab Safey\n      El Din\n    . RAG\n      Lib\n       (\n      Real Algebraic Geometry\n     Library).\n   Available at https:\/\/www-polsys.lip6.fr\/ safey\/RAGLib 2007\n  .  Mohab Safey El Din. RAGLib (Real Algebraic Geometry Library). Available at https:\/\/www-polsys.lip6.fr\/ safey\/RAGLib 2007."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11786-007-0003-9"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0006-3495(03)75086-3"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2015.05.004"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008972005316"},{"key":"e_1_3_2_1_38_1","first-page":"69","article-title":"Diagnosability in the case of multifaults in nonlinear models","author":"Verdi\u00e8re Nathalie","year":"2018","unstructured":"Nathalie Verdi\u00e8re and S\u00e9bastien Orange . Diagnosability in the case of multifaults in nonlinear models . Journal of Process Control , 69 , 2018 . Nathalie Verdi\u00e8re and S\u00e9bastien Orange. Diagnosability in the case of multifaults in nonlinear models. Journal of Process Control, 69, 2018.","journal-title":"Journal of Process Control"},{"key":"e_1_3_2_1_39_1","first-page":"15","article-title":"Identifiability and estimation of pharmacokinetic parameters of ligands of macrophage mannose receptor","author":"Verdi\u00e8re Nathalie","year":"2005","unstructured":"Nathalie Verdi\u00e8re , Lilianne Denis-Vidal , Ghislaine, and Dominique Domurado . Identifiability and estimation of pharmacokinetic parameters of ligands of macrophage mannose receptor . International Journal of Applied Maths and Computer Science , 15 , 2005 . Nathalie Verdi\u00e8re, Lilianne Denis-Vidal, Ghislaine, and Dominique Domurado. Identifiability and estimation of pharmacokinetic parameters of ligands of macrophage mannose receptor. International Journal of Applied Maths and Computer Science, 15, 2005.","journal-title":"International Journal of Applied Maths and Computer Science"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.mbs.2018.12.012"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/0378-4754(82)90645-0"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008880518515"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1358190.1358197"}],"event":{"name":"ISSAC '22: International Symposium on Symbolic and Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Villeneuve-d'Ascq France","acronym":"ISSAC '22"},"container-title":["Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3476446.3535473","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3476446.3535473","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:30:47Z","timestamp":1750188647000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3476446.3535473"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,4]]},"references-count":42,"alternative-id":["10.1145\/3476446.3535473","10.1145\/3476446"],"URL":"https:\/\/doi.org\/10.1145\/3476446.3535473","relation":{},"subject":[],"published":{"date-parts":[[2022,7,4]]},"assertion":[{"value":"2022-07-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}