{"entities":{"Q1872003":{"pageid":1882745,"ns":120,"title":"Item:Q1872003","lastrevid":48090610,"modified":"2026-01-03T14:46:35Z","type":"item","id":"Q1872003","labels":{"en":{"language":"en","value":"Computing validated solutions of implicit differential equations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1903997"}},"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":"Q1872003$AEC8A13C-6AC2-4DC6-A820-EC01EFF0C06F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ca49383faeb448e31ec8120916904057b76bcbc","datavalue":{"value":{"text":"Computing validated solutions of implicit differential equations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1872003$690EE7AF-1B2B-47B5-94AB-25B97B0E272C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5cdfbe2a0a1da286a581d30f0d3b6de08bf305d4","datavalue":{"value":"1028.34004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1872003$BDE35C8D-EA00-4D49-9149-20E1BDF164F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ecec99305d2b47016e5ed9773fe2f03b23eb8360","datavalue":{"value":"10.1023/A:1022858921155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1872003$CED7199C-0749-4948-A6FC-612E56F0F55A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c657b0c861f3e70bfad15074a30334b0b8ddbb4","datavalue":{"value":{"entity-type":"item","numeric-id":229305,"id":"Q229305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1872003$41C93282-4A65-4B61-AF13-AFB5CF9E02B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"edb3037d9240c3de5ec1eb8537af34ed404026f7","datavalue":{"value":{"entity-type":"item","numeric-id":229304,"id":"Q229304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1872003$AF733835-9503-42B2-987E-CBB8739F9C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f53a2c2db410710046fe0e64731e00ea36e6485","datavalue":{"value":{"entity-type":"item","numeric-id":748257,"id":"Q748257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1872003$75DDF821-E73A-4923-8A69-E0D21F79B7DD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c019dc575b36ae14a089b68c55e17d32bd8f15e1","datavalue":{"value":{"entity-type":"item","numeric-id":73077,"id":"Q73077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1872003$3E0DCFE5-4E64-42AC-BFC4-69C202C47F72","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9741052acb3601490f70dda00f31b7265d37a65","datavalue":{"value":{"time":"+2003-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1872003$3BB18ADF-30C7-49AB-8732-18AAF3EE6BFE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"27e8896377129214ae499de1ce036053dbb36c39","datavalue":{"value":"The authors study the numerical analysis of Taylor model methods to solve explicit and implicit ordinary differential equations including validation. The proposed methods rewrite the original problem first as an integro-differential equation and, finally, as fixed-point problem in an appropriate function space. The validation of the result then appears as a consequence of the stability inequality of the fixed-point theorem. Finally, some explicit computations including the well known double pendulum in Cartesian coordinates on the state level are presented.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1872003$B4C73EE7-87E8-4F86-849B-DF2F651D8BD3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1871bdcadd171892fafd94745a3893f7f3cf8673","datavalue":{"value":{"entity-type":"item","numeric-id":587270,"id":"Q587270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1872003$D9631ACE-83D0-4F67-93A2-30C43B1411A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ed51642a75013e2c8317fd6f54da9de3ef6ccdb","datavalue":{"value":"34A09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1872003$34D77626-8F70-4AE7-A92F-9AF6C3619D84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c67e8dde31bcc811e3fa82d6b37fe672c129708","datavalue":{"value":"1903997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1872003$9CF498A1-0470-4028-B34B-CE9D5A19802C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84a14e5d37dda38959aa23a03224c5068360156e","datavalue":{"value":"differential-algebraic equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1872003$918AA9D2-CAB0-40FD-B2C0-F847C9CE6B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d50ceed9e5431c00dbe8f9b967e16a36d7121ce","datavalue":{"value":"Taylor model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1872003$A81FB20E-27A6-4EB3-8C02-B5A962625DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c39dd4672ab501c86ee17568ece807839e256896","datavalue":{"value":"self-validated methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1872003$5639399F-10E1-4837-BAF7-D71E97E3EA5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8def73582acd3ba18df906b6f3576168bbf0498","datavalue":{"value":"interval methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1872003$EFA62BE1-135C-4CD7-928A-6BB8164792AC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ed85e0371a64cd224baaf994d357f34424e17513","datavalue":{"value":{"entity-type":"item","numeric-id":16874,"id":"Q16874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1872003$51311990-DC7C-4152-8DC0-6A77404BE99E","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":"Q1872003$B0C202CC-CF82-4027-8881-8FBD53644425","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cfd0a54fe253b83c8a1ac18f27bf8d2601abb355","datavalue":{"value":"https://doi.org/10.1023/a:1022858921155","type":"string"},"datatype":"url"},"type":"statement","id":"Q1872003$BE86203B-1782-403F-8EE4-03D570766A14","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d026db287d317304dd8cf9ec15b4fa9f0b7bd9c","datavalue":{"value":"W127314038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1872003$38F881F1-D026-4416-B93C-0422534AA769","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfb2b0d9459ea0bbd5cc55c3f0547073623a174c","datavalue":{"value":{"entity-type":"item","numeric-id":849188,"id":"Q849188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e47a3e760d6c1f258eba862ffb7c870c5fc0c009","datavalue":{"value":{"amount":"+0.7807317972183228","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":"Q1872003$C671789E-47D1-45F1-885D-40D04D982769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cc8af2f46e96b9f97d138afa45ee6af29e6ba4a","datavalue":{"value":{"entity-type":"item","numeric-id":3358165,"id":"Q3358165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91491d83ec02a7687e77a1f6ee252393e2cfe31d","datavalue":{"value":{"amount":"+0.7753041386604309","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":"Q1872003$8603A110-42DF-4B79-AE31-79C78D32121D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0e29e1ba57856883932ed956ed92884db863ddb","datavalue":{"value":{"entity-type":"item","numeric-id":2769532,"id":"Q2769532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69d832f95a7a8e3b32faabb2dd063b87a22b79cc","datavalue":{"value":{"amount":"+0.7701805830001831","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":"Q1872003$0FE27D39-0109-4BF9-AB29-9F7F4BDA2D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80999cfa08aa9a57094a0449523e33ae544f4538","datavalue":{"value":{"entity-type":"item","numeric-id":4841299,"id":"Q4841299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"140959cab1e98c39ec48325a249ad7fa16c13f0e","datavalue":{"value":{"amount":"+0.7668880820274353","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":"Q1872003$98221B43-C4DA-4389-8087-D7DD493116DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6eb815eaf2883b41c45eff1eb763f09f1a08835","datavalue":{"value":{"entity-type":"item","numeric-id":4463457,"id":"Q4463457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fd424ab198a9ef8a4cc321d8e77f28e473f4905","datavalue":{"value":{"amount":"+0.7552182674407959","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":"Q1872003$53540A81-FC0F-4F8B-8FC7-6B432A88B020","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1872003","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1872003"}}}}}