{"entities":{"Q1883343":{"pageid":1894085,"ns":120,"title":"Item:Q1883343","lastrevid":73052946,"modified":"2026-04-14T09:56:46Z","type":"item","id":"Q1883343","labels":{"en":{"language":"en","value":"Numerical software with result verification. International Dagstuhl seminar, Dagstuhl Castle, Germany, January 19--24, 2003. Revised papers."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2107193"}},"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":"Q1883343$2364BECE-EE53-465E-A406-7712EA1A68C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9822895dea645edce7ac0ae6dd85acb910e3648d","datavalue":{"value":{"text":"Numerical software with result verification. International Dagstuhl seminar, Dagstuhl Castle, Germany, January 19--24, 2003. Revised papers.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1883343$A16FB849-2C10-4E41-86D0-A44ED427F349","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4730043d11d83201fc5637fa00fa57a0422d9da","datavalue":{"value":"1046.65001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1883343$0788659B-54E0-4858-8436-DAEE1B2B4EB5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1883343$0F4D621B-1226-44C5-B3A0-4E04D4AE00A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6baacd36c2b691cc2988fff188dbf6529d9292a3","datavalue":{"value":{"time":"+2004-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1883343$A5EEF135-7C07-4C27-94A8-A58030D27799","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1ea2bf5e1e702caa0dc32c093fa53b567aea3101","datavalue":{"value":"The articles of this volume will be reviewed individually.  Indexed articles:  \\textit{Wolff von Gudenberg, J\u00fcrgen}, OOP and interval arithmetic -- language support and libraries, 1-14 [Zbl 1126.68342]  \\textit{Hofschuster, Werner; Kr\u00e4mer, Walter}, C-XSC 2.0 -- a C++ library for extended scientific computing, 15-35 [Zbl 1126.65328]  \\textit{Kearfott, R. Baker; Neher, Markus; Oishi, Shin'ichi; Rico, Fabien}, Libraries, tools, and interactive systems for verified computations four case studies, 36-63 [Zbl 1126.65329]  \\textit{Grimmer, Markus; Petras, Knut; Revol, Nathalie}, Multiple precision interval packages: comparing different approaches, 64-90 [Zbl 1126.65327]  \\textit{Corliss, George F.; Yu, Jun}, Interval testing strategies applied to COSY's interval and Taylor model arithmetic, 91-106 [Zbl 1126.65326]  \\textit{Kieffer, Michel; Walter, Eric}, Nonlinear parameter and state estimation for cooperative systems in a bounded-error context, 107-123 [Zbl 1126.93339]  \\textit{Walter, Eric; Braems, Isabelle; Jaulin, Luc; Kieffer, Michel}, Guaranteed numerical computation as an alternative to computer algebra for testing models for identifiability, 124-131 [Zbl 1126.93329]  \\textit{Auer, Ekaterina; Kecskem\u00e9thy, Andr\u00e9s; T\u00e4ndl, Martin; Traczinski, Holger}, Interval algorithms in modeling of multibody systems, 132-159 [Zbl 1126.65311]  \\textit{B\u00fchler, Katja; Dyllong, Eva; Luther, Wolfram}, Reliable distance and intersection computation using finite precision geometry, 160-190 [Zbl 1126.65312]  \\textit{Alefeld, G\u00f6tz; Mayer, G\u00fcnter}, On singular interval systems, 191-197 [Zbl 1126.65310]  \\textit{Beelitz, Thomas; Bischof, Christian; Lang, Bruno; Althoff, Klaus Schulte}, Result-verifying solution of nonlinear systems in the analysis of chemical processes, 198-205 [Zbl 1126.65314]  \\textit{Fausten, Daniela; Ha\u00dflinger, Gerhard}, Verified numerical analysis of the performance of switching systems in telecommunication, 206-225 [Zbl 1126.68325]  \\textit{Borovac, Stefan; Heindl, Gerhard}, Result verification for computational problems in geodesy, 226-242 [Zbl 1126.86303]  \\textit{Schichl, Hermann}, Global optimization in the COCONUT project, 243-249 [Zbl 1126.65318]  \\textit{Oussena, Baya; Henni, Abderrezak; Alt, Ren\u00e9}, An application of wavelet theory to early breast cancer, 250-258 [Zbl 1126.65324]  \\textit{Lester, David}, Using PVS to validate the inverse trigonometric functions of an exact arithmetic, 259-273 [Zbl 1126.68351]  \\textit{Granvilliers, Laurent; Kreinovich, Vladik; M\u00fcller, Norbert}, Novel approaches to numerical software with result verification, 274-305 [Zbl 1126.65308]  \\textit{Putot, Sylvie; Goubault, Eric; Martel, Matthieu}, Static analysis-based validation of floating-point computations, 306-313 [Zbl 1126.65309]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1883343$79084533-3AAA-47D9-BFC7-5791ED1A0A1E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e165e671c27bc9fd3adeca5892cc497feb18d071","datavalue":{"value":"65-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1883343$7F9C55A3-4B26-43BD-BE9B-607A7A45372B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1883343$F58C50BF-50C7-4E05-94C9-8FB2AEF14BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1883343$E04E99E2-5A50-4088-98D0-0E1D5B20DB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"34a168fb3a5d9a7cf8cac2cdc24ae08d3f435434","datavalue":{"value":"65Y99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1883343$3789A20D-7D04-4F2B-8E0A-EE8F68D24712","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b73c294a326d9060626cd707c86085c3e18de37","datavalue":{"value":"2107193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1883343$13288B0E-2096-42FC-B819-C2533C5AEE9D","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":"Q1883343$05DB4290-745C-4587-B11D-14610AB595DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e2f3a9a8dcdd8ce06418eb812f183937eeb60228","datavalue":{"value":"https://doi.org/10.1007/b96498","type":"string"},"datatype":"url"},"type":"statement","id":"Q1883343$B91D550B-E15F-4033-A294-20990E0C4B33","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"35cea5854f9d45677b5ee7232b5a5777ea219838","datavalue":{"value":"W203078251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1883343$F1CDFE18-F6E1-4C51-A7BA-6DF51F6F0708","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71d6a0616554ebf034f3485b0c6c0971c6a39caf","datavalue":{"value":"10.1007/B96498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1883343$DCB03F35-972F-4B64-A388-0CC74A73949E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae5cab42cd3fcb35cf4de04829e2583bfa5f2262","datavalue":{"value":{"entity-type":"item","numeric-id":5308360,"id":"Q5308360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdfdc1d0b7d47d52367f14e39046ad511529e213","datavalue":{"value":{"amount":"+0.8513677","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1883343$1331ECFF-0B90-4138-9FFC-2AD96E9D4375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccc25e148ce6c04161befacebe1c9918c0fe3c5f","datavalue":{"value":{"entity-type":"item","numeric-id":4851600,"id":"Q4851600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2813298709ee05e39ddfe27d5f8f5dd02d36b03a","datavalue":{"value":{"amount":"+0.8505637","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1883343$6905CC1D-B6AF-4E47-9AF7-2A27310215C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff5b40310c44915816ee3fc381c9483413adae72","datavalue":{"value":{"entity-type":"item","numeric-id":4851626,"id":"Q4851626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24d46ecd52aace1a74f41549677854c0f21428c0","datavalue":{"value":{"amount":"+0.8505636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1883343$BBDD6A9E-800A-40C1-A28D-F285AEFFBD62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fa832ce4d866f879a6edaf54f1c07af8be840e8","datavalue":{"value":{"entity-type":"item","numeric-id":4851611,"id":"Q4851611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24d46ecd52aace1a74f41549677854c0f21428c0","datavalue":{"value":{"amount":"+0.8505636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1883343$115D9741-5E5B-44D4-B579-F600D36FE220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87fae8776ef6f7e89687a94a1f8ba43fd5d8eda0","datavalue":{"value":{"entity-type":"item","numeric-id":2364108,"id":"Q2364108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47598da8bb5a91d2b77aab807aab24ee07a1757e","datavalue":{"value":{"amount":"+0.8491895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1883343$A8FB3D03-6352-48F5-A97A-E63070DCF426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c08ed267aadad0cf5c9d88598fc8dd9dc5990b4","datavalue":{"value":{"entity-type":"item","numeric-id":509762,"id":"Q509762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d99313769768a3d8984843299ec55adf78d8534","datavalue":{"value":{"amount":"+0.8295727","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1883343$6F6C2FF1-5CDA-4FAE-8AB0-C65CB6B9948F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68abc18e911e4c29f055ebd7103881cad175805f","datavalue":{"value":{"entity-type":"item","numeric-id":4569581,"id":"Q4569581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a51adc38a976da0544b55fa885bde541bda434d","datavalue":{"value":{"amount":"+0.8165528","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1883343$622AB947-9F3C-4B92-83FD-314B1B689AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c5f676e69f39c71d268e8a0d50a4a8bd4c1928d","datavalue":{"value":{"entity-type":"item","numeric-id":896457,"id":"Q896457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a160cdc6fa685bf7dfb128cb119ca3d6bffcd898","datavalue":{"value":{"amount":"+0.8152663","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1883343$F7832A07-182C-49F3-A7F5-111DE435910A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ba816428dcf68f158706f7573d66c8ba7a0b771","datavalue":{"value":{"entity-type":"item","numeric-id":2718057,"id":"Q2718057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29815ea5c19de0a246d359b472d0dd3dc90a95e6","datavalue":{"value":{"amount":"+0.80869246","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1883343$B8053891-BA24-4E1B-A851-4988B7FFE025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d0516b93375606ba6a512db99fe0092c882fa27","datavalue":{"value":{"entity-type":"item","numeric-id":4040570,"id":"Q4040570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9699dc6f33341cab0164c145db159da72d86378","datavalue":{"value":{"amount":"+0.8044031","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1883343$EF53F051-D035-4EAC-9758-24F2A1A97470","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Numerical software with result verification. International Dagstuhl seminar, Dagstuhl Castle, Germany, January 19--24, 2003. Revised papers.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Numerical_software_with_result_verification._International_Dagstuhl_seminar,_Dagstuhl_Castle,_Germany,_January_19--24,_2003._Revised_papers."}}}}}