{"entities":{"Q5929742":{"pageid":8106544,"ns":120,"title":"Item:Q5929742","lastrevid":47597320,"modified":"2026-01-02T04:29:06Z","type":"item","id":"Q5929742","labels":{"en":{"language":"en","value":"Self-validating methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1586455"}},"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":"Q5929742$69E18146-2603-473D-844D-18FA2C5D8874","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ec0eb585f7219b2fe9b49af000af6eae56fca0c","datavalue":{"value":{"text":"Self-validating methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5929742$F1BC8028-AB3F-4EA0-860A-2B3A093EB1D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f1d1969030fda9af45a7615e733712b0f87a59d2","datavalue":{"value":"0978.65037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5929742$777CBA68-241B-4C93-821D-0E7CB6CDC95D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84fa8c86ad322e240037069cf8c9941f41fd99ee","datavalue":{"value":"10.1016/S0024-3795(00)00195-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5929742$61B41653-84F6-4B9A-8E4D-507F706D2A1C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6da262b5743c14f88594d33397fb8ec199596e9c","datavalue":{"value":{"entity-type":"item","numeric-id":335015,"id":"Q335015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929742$8968609D-32CC-42A7-871F-B1FA2DAAB4DC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8de031de05325b44570d0c47c3ec8813873d565c","datavalue":{"value":{"entity-type":"item","numeric-id":92813,"id":"Q92813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929742$BA816132-225A-4E9B-9537-E3D48949AF38","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3cfa18b1c4f087cf572739bffd90dca98e9b49cb","datavalue":{"value":{"time":"+2001-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5929742$C9D8DD40-FAA6-4398-91ED-DC7C9DF095A8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"84333a0898fa310caee5697b63b5389235bb6427","datavalue":{"value":{"entity-type":"item","numeric-id":184518,"id":"Q184518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929742$A1617BAB-3A7F-48F1-A5E1-FBF14203BC4A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7552bdbce121bf883055f4f08f72933da7729068","datavalue":{"value":"65G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5929742$EEFB097B-A699-4D71-8B33-3A51C96FE76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9885aef811aa349f50c28b046ac04fbe99524c67","datavalue":{"value":"65F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5929742$E8C989BF-B1CD-4C4F-8AA5-5705A35C34F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e57e2977a9ed0e05339dd5f1673c9f0c9ab91235","datavalue":{"value":"65H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5929742$BC08DCFD-D3FE-416E-8BE9-46A47734F59B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4d2aa49789d35e35613e1a84ce4788bfee1559e6","datavalue":{"value":"65G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5929742$7F8B51E7-2745-4D01-8887-52F2742177FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2265e052f7804cb0e767b78a8a8b3295bbb46a2","datavalue":{"value":"1586455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5929742$7EDF6807-37B1-4883-BBE0-CA4F04609368","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c716fb4566f5640b2869e66eddc7e7153109e5c9","datavalue":{"value":"self-validating methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q5929742$9735E086-3612-4E76-BAEC-FCC0DD6816D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b44e0460de8b89a3695e54806f9b749b49a67a49","datavalue":{"value":"interval arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5929742$7CA9BBAB-B021-4C8B-80AF-06C999E1F3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"470222af1ebb3ccfa7f5727c9c7c5ab8dcbe948a","datavalue":{"value":"rounding control","type":"string"},"datatype":"string"},"type":"statement","id":"Q5929742$737E2B3E-6E8D-4DAF-A806-B8CC93AD238C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a39582725d773f66ea7b763bc55e831ca75ab427","datavalue":{"value":"Gaussian elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5929742$229334C2-82EE-4A51-A076-A6B7E4924748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30d368830fbbb4c8a3beb70d3bde39013a39e0b0","datavalue":{"value":"nonlinear system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5929742$4D48EEE9-D2FD-47F6-9BBD-A71E27026E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8badb72b695e9496aeb1fc719ef3791866f988db","datavalue":{"value":"verification method","type":"string"},"datatype":"string"},"type":"statement","id":"Q5929742$41D12BA5-6273-440B-8872-C081ECF11B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7ecc4a466dd0d2dca5dec5bcfbbb277113c331","datavalue":{"value":"automatic result verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5929742$93B5BA67-1DB3-4591-9937-F5AD64E3C738","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a709ac7c97c67049e241e0b036253f1d955c589a","datavalue":{"value":{"entity-type":"item","numeric-id":13313,"id":"Q13313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929742$38AEF62A-AA7B-4060-A1B2-68CB513C69D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bcd2724f6e8447a24419ed553b7520f7a96db016","datavalue":{"value":{"entity-type":"item","numeric-id":16194,"id":"Q16194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929742$85788D5B-28ED-49AD-8A52-5ADD7A174FA0","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":"Q5929742$BE895D2D-E19C-4D69-9C63-B7C212500AF0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d096ad35c32662be4596601668d001e2923907a5","datavalue":{"value":{"entity-type":"item","numeric-id":3345690,"id":"Q3345690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929742$0D4E8E6A-FE26-40E0-B07D-242AE3B216B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ce36fab3edb02527569bdab93aaad2bb241d2a2","datavalue":{"value":{"entity-type":"item","numeric-id":4262189,"id":"Q4262189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929742$CD71EA9D-1748-43C0-A8BB-8875BF592811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4501990531ee166e88cc323e4094b44bed6bdfac","datavalue":{"value":{"entity-type":"item","numeric-id":2730709,"id":"Q2730709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929742$053ADA5B-327D-42FC-B7EA-B6227EF00A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6dc654f13321c0d8da6f685ee3a2b819d1f4786","datavalue":{"value":{"entity-type":"item","numeric-id":1079858,"id":"Q1079858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929742$6A1AD846-D824-4D5B-8A24-83A93BA68229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2478d67c6071e4e1eb608a08d8ee5b65ee17bfa8","datavalue":{"value":{"entity-type":"item","numeric-id":1250687,"id":"Q1250687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929742$DB30BAA3-7D8D-4400-922E-716FCB7F1A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"192a4e5795321dc42313359cd2090adb80a9bef5","datavalue":{"value":{"entity-type":"item","numeric-id":4888807,"id":"Q4888807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929742$A217CDC6-404D-4764-8EC5-2E1172D319FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62e9507ef1b0bc869f4ab01d57cc38dc925ce0c2","datavalue":{"value":{"entity-type":"item","numeric-id":4396448,"id":"Q4396448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929742$FBF25E4A-01BE-402B-8B43-6FF9AEEA34F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee1ed35e24533712b2c078b403f2fce7e51b332f","datavalue":{"value":{"entity-type":"item","numeric-id":3207999,"id":"Q3207999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929742$6FEE30B0-D058-4B36-B9D1-62D9A7CFC584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c001dd397cb92a2c48ebf13d0157bcc10fabd150","datavalue":{"value":{"entity-type":"item","numeric-id":3998722,"id":"Q3998722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929742$BD57E8B9-C1CB-4F5C-BD3F-328D76D345B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8924d0bbd4917bd0a78a8bd2aa37357ba88248c6","datavalue":{"value":{"entity-type":"item","numeric-id":1313331,"id":"Q1313331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929742$D40E13D2-0085-4E27-8FAF-E9F95157036D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a462f97a14149f26095e85bb29dcdaa29aa187a","datavalue":{"value":{"entity-type":"item","numeric-id":4949347,"id":"Q4949347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5929742$8FBDC452-2C58-4727-AE02-48ADF0BFC888","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fc0609a459c8ba44ac6eff080c0f15dad14048a6","datavalue":{"value":"A self-validating (SV) method -- also called verification method or automatic result verification -- aims to deliver rigorous results even when computing with floating point numbers. It includes the proof of existence and possibly uniqueness of a solution. The paper sketches arithmetical issues in order to guarantee a safe validation process of assumptions and presents some details and examples on how SV methods work.NEWLINENEWLINENEWLINEIt starts with a theoretical definition of interval arithmetic, continues with remarks on practical implementations using rounding control and shows the misuse of interval arithmetic by means of a simple example. In addition, it illustrates the efficiency of interval arithmetic by a typical approach of SV methods to find a zero of a function \\(f: \\mathbb{R}^n\\to \\mathbb{R}^n\\) and to find all solutions of linear systems \\(Ax= b\\) with \\(A\\), \\(b\\) varying in a given interval matrix \\({\\mathbf A}\\) and a given interval vector \\({\\mathbf b}\\), respectively.NEWLINENEWLINENEWLINEGeneral remarks on basic approaches to many SV methods as well as open problems in this area conclude the paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5929742$27575B76-5F4D-4B25-AD87-0EEE1986BEC3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7edfe0e7d06858cb267b436d49968e5060ecf8d","datavalue":{"value":{"entity-type":"item","numeric-id":4310321,"id":"Q4310321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3d61b9fdaa596b5c50de13f7efcb0c2a896e295","datavalue":{"value":{"amount":"+0.8202827572822571","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":"Q5929742$5183F522-3629-49BD-82EA-E398F2356D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41a89acddaed0a4c9a2dff5c77fc36bc0fdc9e83","datavalue":{"value":{"entity-type":"item","numeric-id":4036720,"id":"Q4036720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f63a79494226e4e30ee52de94db7f500ab9b2b94","datavalue":{"value":{"amount":"+0.8186832070350647","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":"Q5929742$85909BEB-406D-4647-9D46-59B069B03A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b6c07294dcf243fe3dcdca577eba1dc68abcabf","datavalue":{"value":{"entity-type":"item","numeric-id":4321542,"id":"Q4321542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64099a3d6e390106185dedc923a12c270a69cf30","datavalue":{"value":{"amount":"+0.8038389682769775","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":"Q5929742$43CEED48-9404-48BC-AE78-52976FDF37AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd5fcfd9a1df9c834bb0893b65b83529b3d4b431","datavalue":{"value":{"entity-type":"item","numeric-id":4723144,"id":"Q4723144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64099a3d6e390106185dedc923a12c270a69cf30","datavalue":{"value":{"amount":"+0.8038389682769775","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":"Q5929742$DCF7C3B0-D5C4-43FA-A731-0F0461B15653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dec5f36e24defce1f39319ef3188f10e5e29381","datavalue":{"value":{"entity-type":"item","numeric-id":5198996,"id":"Q5198996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a4539fe3f4d1b661c2b9de2a46f1579fcd72642","datavalue":{"value":{"amount":"+0.7765491604804993","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":"Q5929742$2C7EC5C7-B22A-4DEA-9700-6F35C482FD51","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5929742","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5929742"}}}}}