{"entities":{"Q2656034":{"pageid":2666777,"ns":120,"title":"Item:Q2656034","lastrevid":57975285,"modified":"2026-04-03T07:36:23Z","type":"item","id":"Q2656034","labels":{"en":{"language":"en","value":"A computer-assisted proof of the existence of Smale horseshoe for the folded-towel map"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7319173"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656034$5EA52507-F938-4E19-B0E4-219758B61A00","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6e46adf0e5871d352a3e81cbd6f1cd3def6daa2","datavalue":{"value":{"text":"A computer-assisted proof of the existence of Smale horseshoe for the folded-towel map","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2656034$634FE434-1BA8-467E-8953-F250D466148E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba02c4d23be7d4145afc505ba2ea701cceb19f4d","datavalue":{"value":"1464.37084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2656034$0DF7095E-39CE-46C3-9096-ACC8B6AAFCC7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f816b0497e638c3c5b2f07ae01312df71450c684","datavalue":{"value":{"entity-type":"item","numeric-id":765041,"id":"Q765041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656034$293E591B-2F74-473E-A966-64FAB374A67B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"808a8c67e6fa2e90fc8ccd13eadca038054e6a2e","datavalue":{"value":{"entity-type":"item","numeric-id":186646,"id":"Q186646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656034$FA36DC8E-2300-4942-8980-F6ECA2ED80B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2d07f1615638384ca69a50bef14bf883b80a1545","datavalue":{"value":{"time":"+2021-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2656034$770644F4-F01B-4EEA-ABD8-00E2ED5D193F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f2dc31cc765d6dc58b8de35ac2ec855ec7b0e925","datavalue":{"value":"https://arxiv.org/abs/2101.10416","type":"string"},"datatype":"url"},"type":"statement","id":"Q2656034$7AA87E8C-6A5B-4813-82B1-FD98D7877B00","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"51b791c0e513c07a7c44515f7d4ed9c53c49a142","datavalue":{"value":"The author considers the dynamical system defined by the map \\(H(x,y,z)=(1.76-y^{2}-0.1z, x, y)\\). She provides a rigorous proof for the existence of symbolic dynamics chaos in the generalized H\u00e9non map's 4-th iterate \\(H^{4}\\), thus confirming a conjecture by \\textit{Q. Li} and \\textit{X.-S. Yang} [Discrete Dyn. Nat. Soc. 2007, Article ID 16239, 9 p. (2007; Zbl 1179.37050)]. Further, the author shows the uniform hyperbolicity of the invariant set. The computer-assisted proofs make use of the C++ library CAPD for interval arithmetic, differentiation and integration. The author also presents several plots to support the theoretical findings.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2656034$802F68FC-C809-4388-AD8F-4D27DFF2198D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"32f0c25f9ecf04b5fd6db29128977d340c6fc486","datavalue":{"value":{"entity-type":"item","numeric-id":589965,"id":"Q589965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656034$6FA41FDD-3912-47B2-ADE3-6CD21E9D2A32","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f39fef68e7f84f2aee1a8f805c77ec3461200855","datavalue":{"value":"37M22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2656034$9A129FF6-C5A0-4C16-A1D4-62F7C4FDB05B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0b7ccfaf6d3442c68f28a69cd1caf5370aa1c3ea","datavalue":{"value":"37D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2656034$B6B9C21C-2230-4ED8-ADBD-300F6915E7A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed2945092e300dc6b32c25d98dd1b27dc1059609","datavalue":{"value":"37D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2656034$D6551D56-0C7F-4675-B059-BCD435EB956B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3d6ac9051308bbd3595c7d7428d1c3c739f92d3b","datavalue":{"value":"37D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2656034$79CB6E38-8EEC-4605-BBEA-1AB1E62D8435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b559307b5b2969939e6945d65ee127220f8f6f4b","datavalue":{"value":"37B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2656034$5C41108F-6512-4329-994B-CC7EF002051F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9b4007f0c087172381c0f8947692b9ca40f7960","datavalue":{"value":"68V05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2656034$8307C3C1-2D29-461A-ABD1-8995B1BEB89C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"939b8d115bd4354e167c5bc76524cdbc274324c5","datavalue":{"value":"7319173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2656034$F9DAB6CD-7B33-406B-8E9A-81F2B9420BC9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"109c4221e7144572a3068b441e19092443735f31","datavalue":{"value":"computer assisted proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2656034$3327CE10-A8FF-434F-9232-927C791D316C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fc27f13195d7d8cb048669ac88dc081dcb2f69c","datavalue":{"value":"symbolic dynamics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2656034$231AEF1C-BB67-42E6-88F2-38BA9FE43F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ad289a4fec05cfb5c8a9de9f0ef7542cfd82e99","datavalue":{"value":"hyperbolicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2656034$E665D420-6732-4D36-9B8A-CBEE05CF2B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7e3a38dc969ce1a69f2f0f8a275686749cd7aee","datavalue":{"value":"folded towel map","type":"string"},"datatype":"string"},"type":"statement","id":"Q2656034$A0A3F59B-6EDB-4B92-BE2B-A1E417697340","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6f575565e6702f407c0d10d11a5ae3919e32fb78","datavalue":{"value":{"entity-type":"item","numeric-id":19645,"id":"Q19645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656034$D5A775BD-3836-42DC-B08B-1576AACA078A","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656034$0AD03875-3C83-4239-9E24-60F685ED3E71","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8abaa04b7cd36095ac51c248ae765497ac0f0c4f","datavalue":{"value":"W3115220112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2656034$AE3403C3-DDCE-4E30-B4CC-30247F972C23","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed2b959aafded73bc852feca4039087f2029d735","datavalue":{"value":{"entity-type":"item","numeric-id":1064636,"id":"Q1064636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656034$23714EA7-E23C-45FD-929F-028C2A71D32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"924809dc003f5522322fa973840c258f2647fe89","datavalue":{"value":{"entity-type":"item","numeric-id":701687,"id":"Q701687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656034$EB77465F-C199-4FDC-9861-0B3028E8701A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e97445758e451ec7c38a3fc39ae0c1708198dd0","datavalue":{"value":{"entity-type":"item","numeric-id":5474361,"id":"Q5474361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656034$B1981AD1-665B-4B3E-B2A6-A7652D72E283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b495e5fa69b520f678a296d07d7a62760d620256","datavalue":{"value":{"entity-type":"item","numeric-id":4736245,"id":"Q4736245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656034$DF5A36C6-7FA4-49F4-9E30-3B57D734DA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31c297fcbc5bbcb57fb9d10698c5ecad228eb7c1","datavalue":{"value":{"entity-type":"item","numeric-id":2478360,"id":"Q2478360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656034$4566EC50-8871-46CA-B95A-65EA698B806B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ec9bf691e2a4d8c3d03a4faabb2197a9d863bb9","datavalue":{"value":{"entity-type":"item","numeric-id":1030564,"id":"Q1030564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656034$935AB79A-2580-4BBA-9F09-DCFD02E15E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db84e3dcb6aca8f8c732bbeb0a73f288c4410a79","datavalue":{"value":{"entity-type":"item","numeric-id":1681108,"id":"Q1681108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656034$84215947-C2C9-43C1-93A2-81E6664D15B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3dc7ce9d6bcf2482147ce819628b26dc9fecc09","datavalue":{"value":{"entity-type":"item","numeric-id":1400901,"id":"Q1400901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656034$95AAE386-2FB5-400C-A3B3-4774CB201DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34d86e83323e1c8ff0a27bbe370997052e1d2ae2","datavalue":{"value":{"entity-type":"item","numeric-id":2005635,"id":"Q2005635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656034$EB63934D-62BC-432D-A927-658DA424A156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2de51eb292407d65a3c8d2052ad1daaf7cc9b821","datavalue":{"value":{"entity-type":"item","numeric-id":1877848,"id":"Q1877848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656034$51F0C11F-9F4D-4DD5-8FA6-5BEA5127B35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fef797c003b959ecb71b3e4010fe54eaa468ee9","datavalue":{"value":{"entity-type":"item","numeric-id":5905917,"id":"Q5905917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656034$0B762AAD-587E-42B7-9043-4282E3E7597B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec65b0a72badbdadb90a77f6d8ce40c048406f58","datavalue":{"value":{"entity-type":"item","numeric-id":1007257,"id":"Q1007257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656034$0C76274B-3FCF-4857-8D46-E46836C1AE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a0c3debfef5fc17ebfc244a92787065bd657b2c","datavalue":{"value":{"entity-type":"item","numeric-id":3062546,"id":"Q3062546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656034$226ADCE2-2779-419C-A8F6-C8309C2C0388","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9927340e218cc60166a05141292d0de719d3dd60","datavalue":{"value":"10.1016/J.CNSNS.2020.105680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2656034$32B691E4-9259-4572-AAB4-EB3D90AC417C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"930ad43cdee29ff270c949cec92ce1005a905485","datavalue":{"value":{"entity-type":"item","numeric-id":3124159,"id":"Q3124159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d16a83b8ba0bb9f8525d7bb4dfaba84fa431c3de","datavalue":{"value":{"amount":"+0.828474760055542","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2656034$769E0C4E-6087-4092-8D0F-3A8DEF5540BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"741edbc4ece1097b5134713c00e8130877622193","datavalue":{"value":{"entity-type":"item","numeric-id":2478360,"id":"Q2478360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bdd2374002ecc72ee8c426ff3467452749d91e3","datavalue":{"value":{"amount":"+0.813650369644165","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2656034$E348F14E-6402-415A-87C9-5E2E80B89EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76325f3d56f1532b69506e5929eac1b280e412ff","datavalue":{"value":{"entity-type":"item","numeric-id":3841278,"id":"Q3841278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7357877e29e736f82c0673ae2608a5e42c694a30","datavalue":{"value":{"amount":"+0.8089088797569275","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2656034$E6A7E356-3CE9-42A9-8EE2-14B5FF4AA3D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6a56052ac51647f87c2fbf760b7136bff05db14","datavalue":{"value":{"entity-type":"item","numeric-id":4520745,"id":"Q4520745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63041b74c54199ab3c3e53265f9f36f091c3979e","datavalue":{"value":{"amount":"+0.7988912463188171","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2656034$2A54859F-BFE7-4544-806A-2BF6FA28038C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f64826d4884fedfd85fecce99cf5855169fba4f","datavalue":{"value":{"entity-type":"item","numeric-id":4719908,"id":"Q4719908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c798049e04d92017e38c5d53532ea38a3e6fc4cd","datavalue":{"value":{"amount":"+0.7795525789260864","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2656034$643DE905-152E-43BE-8A10-C7D811C47EFC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2656034","badges":[]}}}}}