{"entities":{"Q1174351":{"pageid":1185100,"ns":120,"title":"Item:Q1174351","lastrevid":66292158,"modified":"2026-04-12T08:52:05Z","type":"item","id":"Q1174351","labels":{"en":{"language":"en","value":"Computer-assisted existence proofs for two-point boundary value problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8593"}},"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":"Q1174351$6418481F-025F-4631-8202-DA4CA53D338A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"341096a5c8f1235b8b4d0f282fda165eefd9b0cf","datavalue":{"value":{"text":"Computer-assisted existence proofs for two-point boundary value problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1174351$B15B64B7-EAAB-4C7A-995D-3F696261A7F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9983fefd8e068c71538cd2ccc6d14843027cb39b","datavalue":{"value":"0782.65107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174351$695EEB40-B718-4886-A8EC-24159D6F3E3B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60801497291552bdb176f683e5ed7c837a0a63ec","datavalue":{"value":"10.1007/BF02239009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174351$E3BA5B31-9CC1-4248-BE78-EB801925E803","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b79ece58f33b59758a066cb6b9ee149bab3a2c9a","datavalue":{"value":{"entity-type":"item","numeric-id":167642,"id":"Q167642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174351$B6B6B015-06B5-4845-A92B-5BBB4D0620A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1174351$12933A65-7191-4D80-B967-107810075623","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e9c3f4bf1de92fd4d24b9d4bc565ebc565ca6150","datavalue":{"value":"As in the paper by \\textit{J. Schr\u00f6der}, the present author discusses the computer-assisted existence proofs for two-point boundary value problems but in scalar case: \\(-U'' + F(x,U,U') = 0\\) \\((0 \\leq x \\leq 1)\\), \\(B_ 0[U] = B_ 1[U] = 0\\). The method consists of two parts. These are to get some approximate solution of the problem and to calculate its error bounds ensuring the existence of a true solution.   Along the Newton-collocation method for the first part, the author gives a detailed way to estimate error bounds. His result is illustrated by two numerical examples, first of which is to look fo \\(2\\pi\\)-periodic solutions of the forced pendulum equation, while the second is for the case \\(F = \\lambda U[1 - {1\\over 2}U'{}^ 2 - {1\\over 8}U'{}^ 4]\\), \\(U(0) = U'(1) = 0\\). Their bifurcation diagrams are successfully obtained.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174351$38ABA5D0-90E5-4303-9C94-926ADD8B84A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"72c7237df77c9d933ed193b3d220cb0cec46f9fc","datavalue":{"value":"65L10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174351$0ABE3EFD-9231-472A-8551-BFE88A2F548E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d1176ef9b8b04e78ba0d319b9004ab77984480ff","datavalue":{"value":"65L70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174351$17A48637-09DD-447F-931B-0473C1E0CD3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174351$74B5F4E2-C6C4-4D1A-90F8-75D2CCDF9D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a40e5aa707c04cfe3be4bcdc226880def2863b4c","datavalue":{"value":"34B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174351$34CAC209-BE1A-4B59-9B75-FE5F3F2D3599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c16369e906d6302d02668f410d77d723e29ec9f4","datavalue":{"value":"34C23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174351$CC590287-E5FF-4952-B5D7-FB04CF62BF95","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3dfe7808d3304ffa1ded1c3f70d1e74c243a73dd","datavalue":{"value":"8593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174351$0E2B0E59-C38C-42D0-A473-4F98353F11F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e82c0c3dd8e6589aaccef2475b18ed9319ce6571","datavalue":{"value":"computer-assisted existence proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174351$D0C7BDA7-2132-43EF-A507-9B24A3328486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"873aa5069c074af6e1f3cb61d19ed1c70045eb16","datavalue":{"value":"two-point boundary value problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174351$0692113B-EB1D-46CD-A5C7-105DDD7D6A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d931c2e0be47b08f9286d195e541fddfd0662ba","datavalue":{"value":"error bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174351$C44D0BDF-5D54-4FEA-83CC-3C99C49B5447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07d97d516009fce5d7a761b59f6aa96bd05c9728","datavalue":{"value":"Newton-collocation method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174351$63003344-CFCE-4B26-935E-ED30E9566272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d74cb5419439f42eb1ba8891c8722bd3702922d","datavalue":{"value":"numerical examples","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174351$598CA7A2-9E58-4295-8E90-471FC74BC784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4a80532e62eed51c33c4830ed539baba21f9067","datavalue":{"value":"forced pendulum equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174351$7DD1E23E-B5BE-486D-A0B7-63BEA813DF4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04a5259f5d116b083cd32e32acca7c0321d1a6a0","datavalue":{"value":"bifurcation diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174351$A5C16EE7-1BFA-495C-961A-41325A49BC02","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"291d2d4bd83962accb1584eaf8c188916f93240b","datavalue":{"value":{"entity-type":"item","numeric-id":171505,"id":"Q171505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174351$67F53979-0076-437A-9628-C22F348B3D82","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"04df97f340899e1e8aa7a91f4c3556990bca663f","datavalue":{"value":{"entity-type":"item","numeric-id":217334,"id":"Q217334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174351$BA59ED13-353B-45B6-A01D-73E117915B4D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0bb8e6f4029b6339c527862f2218eb45023d0d70","datavalue":{"value":{"entity-type":"item","numeric-id":12788,"id":"Q12788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174351$6311E4C7-312F-47C0-B88E-60B409EA46EC","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":"Q1174351$C679F02D-3600-44FE-AFDA-806271C8D870","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3edd32da979f1427a7b0de5858f424f8ceccbd33","datavalue":{"value":{"entity-type":"item","numeric-id":5520389,"id":"Q5520389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174351$83BF42C6-01C7-40A1-B2DC-FED711FC6F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52c4eecabda58b2b8f35cc8a83184af06501d2bd","datavalue":{"value":{"entity-type":"item","numeric-id":3259280,"id":"Q3259280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174351$5C81723C-3852-4E22-BC63-98CCEE22A020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dadc4784f7483cff2b8935f5c71311d2546cdce","datavalue":{"value":{"entity-type":"item","numeric-id":2395075,"id":"Q2395075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174351$593EA527-18C3-41F2-9B22-1170C11B6A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d535c1399da0a87acb521a719958f3afaffe69d","datavalue":{"value":{"entity-type":"item","numeric-id":3761620,"id":"Q3761620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174351$13E10302-F4F7-4521-BE59-4752C455A590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"216807ded2d1a91b8ad645d58e6f72d35e2ea313","datavalue":{"value":{"entity-type":"item","numeric-id":916318,"id":"Q916318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174351$4D10748C-B543-4700-AB35-96EDCB35F36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82d0eaa5cb070cc91496e697fef560137a1ccf75","datavalue":{"value":{"entity-type":"item","numeric-id":3675430,"id":"Q3675430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174351$65FB4B33-2C53-4392-8CA0-4A1B52893009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bf1700d40ab36d83d9961c4d90b41442d2ea170","datavalue":{"value":{"entity-type":"item","numeric-id":3923534,"id":"Q3923534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174351$5254CB4D-2B9F-4F27-B74D-DFEE37F2273C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c26e72101f93faee392cab695d08ddae99f26e95","datavalue":{"value":{"entity-type":"item","numeric-id":2528069,"id":"Q2528069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174351$2FF1B7E6-18E0-453C-A269-123B811B434A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"002ea3feadd3737d1cbb39406ad9c8acda1bde7e","datavalue":{"value":{"entity-type":"item","numeric-id":3813179,"id":"Q3813179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174351$E190BEBA-7AC0-4D32-9070-F948B9AE889B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"097aff30a307b7048f5ee6bc3792929d39907bad","datavalue":{"value":{"entity-type":"item","numeric-id":919764,"id":"Q919764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174351$203F5DD9-0DE6-4D7F-9FD0-209D49282255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e54fd7a8471f6ab8cf28eaf9c596bb1c16f0431","datavalue":{"value":{"entity-type":"item","numeric-id":4036850,"id":"Q4036850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174351$EEA0EE3D-F286-48C6-AEAB-969B02ABAB3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c239926249b98b8666e70e76395ed393f27c69e6","datavalue":{"value":{"entity-type":"item","numeric-id":3140972,"id":"Q3140972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174351$73E7C80A-7D6E-4F7A-8CB3-AE2F01B2D858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f23163e49cbd7c454dc33f496b287321c24af91","datavalue":{"value":{"entity-type":"item","numeric-id":3985896,"id":"Q3985896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174351$1658B4C0-9578-4661-9B35-C2985F93699F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5efaee835ffdeed8e197be24a69e532b2bd70414","datavalue":{"value":{"entity-type":"item","numeric-id":1150256,"id":"Q1150256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174351$4C73046E-3127-434C-AF0F-17F18F94E82E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a08dbeef428cae2811f384110671c7d011d5578c","datavalue":{"value":{"entity-type":"item","numeric-id":578586,"id":"Q578586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174351$1290E2DD-F06E-48A2-ABFD-73CAD602F1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e627e63d60394c64f88a66ae553f4feacc38c7","datavalue":{"value":{"entity-type":"item","numeric-id":3776533,"id":"Q3776533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174351$90F13F06-AAAD-4724-85F7-5DC22C654BF4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"91d215370fd11a57ebcbe12998868b48f586176d","datavalue":{"value":"https://doi.org/10.1007/bf02239009","type":"string"},"datatype":"url"},"type":"statement","id":"Q1174351$1F60514F-3FEE-41FD-AA0E-404F10A8DE55","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"636b1850f47127109cc8869556243774927789b7","datavalue":{"value":"W83184700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174351$3A079A41-C3AF-4F30-AA72-3C8C5D30BD20","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cc18c1f39d09af5133b15e90ceedcf115ca4ce2","datavalue":{"value":{"entity-type":"item","numeric-id":849190,"id":"Q849190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3ae93bd827d6b08614c95ba324063f70ff747dc","datavalue":{"value":{"amount":"+0.8316143751144409","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":"Q1174351$FF3C8BB1-7F4E-4432-8280-3CE21A76F68C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14a0f73bc91cc94b0b5ca9996cd8008e051ac1dd","datavalue":{"value":{"entity-type":"item","numeric-id":1195791,"id":"Q1195791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f910eaccb8a44699732b753ceb83f95fb5f4b118","datavalue":{"value":{"amount":"+0.8010024428367615","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":"Q1174351$E4CE64E9-3380-4C9E-94A8-2BF07129DCA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7594cc73e565fb02dbda0cb028e24b4bb6da1edc","datavalue":{"value":{"entity-type":"item","numeric-id":317173,"id":"Q317173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca8b9d7bce9979cb4bb9e85725f171bd50de80d1","datavalue":{"value":{"amount":"+0.79998379945755","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":"Q1174351$1A5143E5-5995-4114-976F-279DE47E2483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c47d522125ad12cb7b5d59779e19e45b4e3fbd42","datavalue":{"value":{"entity-type":"item","numeric-id":4036850,"id":"Q4036850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"835e460c10a3a7828286fee56c34e3961ccbd1fa","datavalue":{"value":{"amount":"+0.7912114858627319","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":"Q1174351$A7650923-2D15-4058-9BFD-E0C4C7029C21","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computer-assisted existence proofs for two-point boundary value problems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computer-assisted_existence_proofs_for_two-point_boundary_value_problems"}}}}}