{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T08:01:43Z","timestamp":1777363303832,"version":"3.51.4"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2023,11,4]],"date-time":"2023-11-04T00:00:00Z","timestamp":1699056000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2023,11,4]],"date-time":"2023-11-04T00:00:00Z","timestamp":1699056000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"Polish National center","award":["2018\/29\/N\/ST1\/00449"],"award-info":[{"award-number":["2018\/29\/N\/ST1\/00449"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Appl. and Comput. Topology"],"published-print":{"date-parts":[[2024,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Motivated by the theoretical results of Mrozek et al. (Commun Nonlinear Sci Numer Simul 108:106\u2013226, 2022) we present an algorithmic construction of a transversal cellular decomposition for a planar ODE. We then use the associated combinatorial multivector field to algorithmically detect the existence of an isolated invariant set with the Conley index of a periodic orbit and admitting a combinatorial Poincar\u00e9 section. This construction combined with the theoretical results of Mrozek et al. (2022) leads to a method for automatized computer assisted proofs of the existence of periodic solutions in ODE\u2019s.<\/jats:p>","DOI":"10.1007\/s41468-023-00149-2","type":"journal-article","created":{"date-parts":[[2023,11,4]],"date-time":"2023-11-04T18:01:42Z","timestamp":1699120902000},"page":"875-908","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Rigorous computation in dynamics based on topological methods for multivector fields"],"prefix":"10.1007","volume":"8","author":[{"given":"Donald","family":"Woukeng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Damian","family":"Sadowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jakub","family":"Le\u015bkiewicz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Micha\u0142","family":"Lipi\u0144ski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tomasz","family":"Kapela","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,11,4]]},"reference":[{"key":"149_CR1","first-page":"501","volume":"2","author":"P Alexandrov","year":"1937","unstructured":"Alexandrov, P.: Diskrete R\u00e4ume. Rec Math Moscou, n Ser 2, 501\u2013519 (1937)","journal-title":"Rec Math Moscou, n Ser"},{"key":"149_CR2","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1006\/jdeq.2000.3835","volume":"171","author":"G Arioli","year":"2001","unstructured":"Arioli, G., Zgliczy\u0144ski, P.: Symbolic dynamics for the H\u00e9non\u2013Heiles Hamiltonian on the critical energy level. J. Differ. Equ. 171, 173\u2013202 (2001)","journal-title":"J. Differ. Equ."},{"key":"149_CR3","volume-title":"Ordinary Differential Equations","author":"VI Arnold","year":"1992","unstructured":"Arnold, V.I.: Ordinary Differential Equations. Springer, New York (1992)"},{"key":"149_CR4","unstructured":"Bilonenko, V., Thompson, B., Agafonkin, V.: Delaunator\u2014software for delaunay triangulation. https:\/\/github.com\/delfrrr\/delaunator-cpp (2018)"},{"key":"149_CR5","doi-asserted-by":"publisher","first-page":"2501","DOI":"10.1016\/j.topol.2006.04.033","volume":"154","author":"E Boczko","year":"2007","unstructured":"Boczko, E., Kalies, W.D., Mischaikow, K.: Polygonal approximation of flows. Topol. Appl. 154, 2501\u20132520 (2007)","journal-title":"Topol. Appl."},{"key":"149_CR6","unstructured":"Boost Group (1999) Boost C++ libraries. http:\/\/www.boost.org\/"},{"issue":"2","key":"149_CR7","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1090\/S0002-9904-1960-10400-4","volume":"66","author":"M Brown","year":"1960","unstructured":"Brown, M.: A proof of the generalized Schoenflies theorem. Bull. Am. Math. Soc. 66(2), 74\u201376 (1960)","journal-title":"Bull. Am. Math. Soc."},{"key":"149_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-00740-9","volume-title":"Quadrature RC-Oscillators: The Van Der Pol Approach","author":"JCF de Almeida Casaleiro","year":"2019","unstructured":"de Almeida Casaleiro, J.C.F., Oliveira, L.A.B.G., Filanovsky, I.M.: Quadrature RC-Oscillators: The Van Der Pol Approach. Springer, Berlin (2019)"},{"issue":"1","key":"149_CR9","doi-asserted-by":"publisher","first-page":"510","DOI":"10.1137\/18M1198946","volume":"18","author":"TK Dey","year":"2019","unstructured":"Dey, T.K., Juda, M., Kapela, T., et al.: Persistent homology of morse decompositions in combinatorial dynamics. SIAM J. Appl. Dyn. Syst. 18(1), 510\u2013530 (2019)","journal-title":"SIAM J. Appl. Dyn. Syst."},{"key":"149_CR10","volume-title":"General Topology","author":"R Engelking","year":"1989","unstructured":"Engelking, R.: General Topology. Heldermann Verlag, Berlin (1989)"},{"key":"149_CR11","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139020411","volume-title":"Matrix Analysis","author":"RA Horn","year":"2012","unstructured":"Horn, R.A., Johnson, C.R.: Matrix Analysis. Cambridge University Press, Cambridge (2012)"},{"issue":"6","key":"149_CR12","doi-asserted-by":"publisher","first-page":"1899","DOI":"10.1088\/0951-7715\/16\/6\/302","volume":"16","author":"T Kapela","year":"2003","unstructured":"Kapela, T., Zgliczy\u0144ski, P.: The existence of simple choreographies for the N-body problem\u2014a computer-assisted proof. Nonlinearity 16(6), 1899 (2003)","journal-title":"Nonlinearity"},{"issue":"105","key":"149_CR13","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1016\/j.cnsns.2020.105578","volume":"101","author":"T Kapela","year":"2021","unstructured":"Kapela, T., Mrozek, M., Wilczak, D., et al.: CAPD:: DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems. Commun. Nonlinear Sci. Numer. Simul. 101(105), 578 (2021). https:\/\/doi.org\/10.1016\/j.cnsns.2020.105578","journal-title":"Commun. Nonlinear Sci. Numer. Simul."},{"key":"149_CR14","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1016\/j.physd.2016.02.007","volume":"334","author":"JP Lessard","year":"2016","unstructured":"Lessard, J.P., Mireles James, J., Ransford, J.: Automatic differentiation for Fourier series and the radii polynomial approach. Phys. D: Nonlinear Phenom. 334, 174\u2013186 (2016). https:\/\/doi.org\/10.1016\/j.physd.2016.02.007. (topology in Dynamics, Differential Equations, and Data)","journal-title":"Phys. D: Nonlinear Phenom."},{"key":"149_CR15","doi-asserted-by":"crossref","unstructured":"Lipi\u0144ski, M.: Morse\u2013Conley\u2013Forman theory for generalized combinatorial multivector fields on finite topological spaces. Ph.D. thesis, Jagiellonian University (2021)","DOI":"10.1007\/s41468-022-00102-9"},{"key":"149_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/s41468-022-00102-9","author":"M Lipi\u0144ski","year":"2022","unstructured":"Lipi\u0144ski, M., Kubica, J., Mrozek, M., et al.: Conley\u2013Morse\u2013Forman theory for generalized combinatorial multivector fields on finite topological spaces. J. Appl. Comput. Topol. (2022). https:\/\/doi.org\/10.1007\/s41468-022-00102-9","journal-title":"J. Appl. Comput. Topol."},{"issue":"105","key":"149_CR17","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1007\/978-3-662-44199-2_28","volume":"8592","author":"C Maria","year":"2014","unstructured":"Maria, C., Boissonnat, J.D., Glisse, M., et al.: The gudhi library: simplicial complexes and persistent homology. Math. Soft. - ICMS 8592(105), 578 (2014). https:\/\/doi.org\/10.1007\/978-3-662-44199-2_28","journal-title":"Math. Soft. - ICMS"},{"key":"149_CR18","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/s41468-022-00102-9","volume":"121","author":"C McCord","year":"1995","unstructured":"McCord, C., Mischaikow, K., Mrozek, M.: Zeta functions, periodic trajectories and the Conley index. J. Differ. Equ. 121, 258\u2013292 (1995). https:\/\/doi.org\/10.1007\/s41468-022-00102-9","journal-title":"J. Differ. Equ."},{"issue":"1","key":"149_CR19","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1090\/S0273-0979-1995-00558-6","volume":"32","author":"K Mischaikow","year":"1995","unstructured":"Mischaikow, K., Mrozek, M.: Chaos in the Lorenz equations: a computer-assisted proof. Bull. Am. Math. Soc. (NS) 32(1), 66\u201372 (1995)","journal-title":"Bull. Am. Math. Soc. (NS)"},{"key":"149_CR20","volume-title":"Interval Analysis","author":"RE Moore","year":"1966","unstructured":"Moore, R.E.: Interval Analysis. Prentice-Hall Inc, Englewood Cliffs, NJ (1966)"},{"issue":"6","key":"149_CR21","doi-asserted-by":"publisher","first-page":"1585","DOI":"10.1007\/s10208-016-9330-z","volume":"17","author":"M Mrozek","year":"2017","unstructured":"Mrozek, M.: Conley\u2013Morse\u2013Forman theory for combinatorial multivector fields on Lefschetz complexes. Found. Comput. Math. 17(6), 1585\u20131633 (2017)","journal-title":"Found. Comput. Math."},{"key":"149_CR22","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1016\/j.jde.2021.10.001","volume":"304","author":"M Mrozek","year":"2021","unstructured":"Mrozek, M., Wanner, T.: Creating semiflows on simplicial complexes from combinatorial vector fields. J. Differ. Equ. 304, 375\u2013434 (2021)","journal-title":"J. Differ. Equ."},{"key":"149_CR23","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1016\/j.cnsns.2021.106226","volume":"108","author":"M Mrozek","year":"2022","unstructured":"Mrozek, M., Srzednicki, R., Thorpe, J., et al.: Combinatorial vs. classical dynamics: recurrence. Commun. Nonlinear Sci. Numer. Simul. 108, 106\u2013226 (2022)","journal-title":"Commun. Nonlinear Sci. Numer. Simul."},{"key":"149_CR24","doi-asserted-by":"crossref","DOI":"10.1090\/gsm\/140","volume-title":"Ordinary Differential Equations and Dynamical Systems","author":"G Teschl","year":"2012","unstructured":"Teschl, G.: Ordinary Differential Equations and Dynamical Systems, vol. 140. American Mathematical Society, Providence (2012)"},{"issue":"12","key":"149_CR25","doi-asserted-by":"publisher","first-page":"1197","DOI":"10.1016\/S0764-4442(99)80439-X","volume":"328","author":"W Tucker","year":"1999","unstructured":"Tucker, W.: The Lorenz attractor exists. Comptes Rendus de l\u2019Acad\u00e9mie des Sciences - Series I - Mathematics 328(12), 1197\u20131202 (1999). https:\/\/doi.org\/10.1016\/S0764-4442(99)80439-X","journal-title":"Comptes Rendus de l\u2019Acad\u00e9mie des Sciences - Series I - Mathematics"},{"issue":"11","key":"149_CR26","doi-asserted-by":"publisher","first-page":"978","DOI":"10.1080\/14786442608564127","volume":"2","author":"B van der Pol","year":"1926","unstructured":"van der Pol, B.: LXXXVIII. On \u201crelaxation-oscillations\u2019\u2019. Lond. Edinb. Dublin Philos. Mag. J. Sci. 2(11), 978\u2013992 (1926). https:\/\/doi.org\/10.1080\/14786442608564127","journal-title":"Lond. Edinb. Dublin Philos. Mag. J. Sci."},{"issue":"4","key":"149_CR27","first-page":"1039","volume":"11","author":"D Wilczak","year":"2009","unstructured":"Wilczak, D.: Abundance of heteroclinic and homoclinic orbits for the hyperchaotic R\u00f6ssler system. Discrete Contin. Dyn. Syst. Ser. B 11(4), 1039\u20131055 (2009)","journal-title":"Discrete Contin. Dyn. Syst. Ser. B"}],"container-title":["Journal of Applied and Computational Topology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s41468-023-00149-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s41468-023-00149-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s41468-023-00149-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,8]],"date-time":"2024-10-08T12:07:44Z","timestamp":1728389264000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s41468-023-00149-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,4]]},"references-count":27,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2024,9]]}},"alternative-id":["149"],"URL":"https:\/\/doi.org\/10.1007\/s41468-023-00149-2","relation":{},"ISSN":["2367-1726","2367-1734"],"issn-type":[{"value":"2367-1726","type":"print"},{"value":"2367-1734","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,11,4]]},"assertion":[{"value":"13 February 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 October 2023","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 October 2023","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 November 2023","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"This work is partially supported by Polish National Science Center under Preludium Grant 2018\/29\/N\/ST1\/00449. M.L. acknowledges support by the Dioscuri program initiated by the Max Planck Society, jointly managed with the National Science Centre (Poland), and mutually funded by the Polish Ministry of Science and Higher Education and the German Federal Ministry of Education and Research. During the preparation of this article D.W. and J.L. were scholarship holders of the Programme for outstanding students at the Faculty of Mathematics and Computer Science of the Jagiellonian University under the Excellence Initiative at the Jagiellonian University.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}