{"entities":{"Q684249":{"pageid":686098,"ns":120,"title":"Item:Q684249","lastrevid":42641824,"modified":"2025-07-07T15:01:32Z","type":"item","id":"Q684249","labels":{"en":{"language":"en","value":"Scientific computing with automatic result verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 410363"}},"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":"Q684249$B98E7048-DEA6-4897-9A5F-B6577E2867AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c705b7dfe39a513740ad761302713c626048361","datavalue":{"value":{"text":"Scientific computing with automatic result verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q684249$386D2665-88D5-4143-889E-C7D9DE50632B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74c57d51764d85a8a2f08ad2cc9096b8a73e0562","datavalue":{"value":"0773.00004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q684249$DB292DC1-4165-48F0-83F0-1A8D97E1A4CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4f9fa17a81f7f50199aa00d64870974e5ea38a5c","datavalue":{"value":{"entity-type":"item","numeric-id":343690,"id":"Q343690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684249$C422FF45-DDB2-460B-ACA6-03BD44C587FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1016c7e6217ba6f9fc4fe7e518f619aad78f491c","datavalue":{"value":{"time":"+1993-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q684249$133131CE-5469-4CF9-BD5A-3181C6BC16EC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b16b6db1f37001a7f934a0fad5af31de961bcece","datavalue":{"value":"The articles of this volume will be reviewed individually.  Indexed articles:  \\textit{Hammer, R.; Neaga, M.; Ratz, D.}, PASCAL-XSC. New concepts for scientific computation and numerical data processing, 15-44 [Zbl 0801.68021]  \\textit{Walter, Wolfgang V.}, ACRITH-XSC. A Fortran-like language for verified scientific computing, 45-70 [Zbl 0801.68019]  \\textit{Lawo, Christian}, C-XSC. A programming environment for verified scientific computing and numerical data processing, 71-86 [Zbl 0801.68020]  \\textit{Bohlender, G.; Cordes, D.; Kn\u00f6fel, A.; Kulisch, U.; Lohner, R.; Walter, W. V.}, Proposal for accurate floating-point vector arithmetic, 87-102 [Zbl 0801.68090]  \\textit{Fischer, Hans-Christoph}, Automatic differentiation and applications, 105-142 [Zbl 0789.65011]  \\textit{Kelch, Rainer}, Numerical quadrature by extrapolation with automatic result verification, 143-185 [Zbl 0796.65016]  \\textit{Storck, Ulrike}, Numerical integration in two dimensions with automatic result verification, 187-224 [Zbl 0796.65017]  \\textit{Dobner, Hans-J\u00fcrgen}, Verified solution of integral equations with applications, 225-253 [Zbl 0793.65101]  \\textit{Klein, Wolfram}, Enclosure methods for linear and nonlinear systems of Fredholm integral equations of the second kind, 255-282 [Zbl 0789.65096]  \\textit{Rufeger, W.; Adams, E.}, A step size control for Lohner's enclosure algorithm for ordinary differential equations with initial conditions, 283-299 [Zbl 0789.65050]  \\textit{Lohner, Rudolf J.}, Interval arithmetic in staggered correction format, 301-321 [Zbl 0796.65066]  \\textit{Kr\u00e4mer, Walter}, Multiple-precision computations with result verification, 325-356 [Zbl 0805.65027]  \\textit{Gross, Beate}, Verification of asymptotic stability for interval matrices and applications in control theory, 357-395 [Zbl 0796.65084]  \\textit{Klein, Wera U.}, Numerical reliability of MHD flow calculations, 397-421 [Zbl 0792.76052]  \\textit{Adams, Ernst}, The reliability question for discretizations of evolution problems, 423-526 [Zbl 0793.65068]  \\textit{Sch\u00fctz, R.; Winter, H.; Ehret, G.}, KKR bandstructure calculations, a challenge to numerical accuracy, 527-547 [Zbl 0787.65096]  \\textit{Kn\u00f6fel, Andreas}, A hardware kernel for scientific/engineering computations, 549-570 [Zbl 0801.68009]  \\textit{Bohlender, Gerd}, Bibliography on enclosure methods and related topics, 571-608 [Zbl 0784.65039]","type":"string"},"datatype":"string"},"type":"statement","id":"Q684249$B191E175-8D0D-4B7F-A960-FE414C77DA21","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"342a6161f41187e2c595daa41b09cee10ab1ace9","datavalue":{"value":"00B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q684249$AD732ABB-EF2A-4A9E-A733-A769A8771DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e165e671c27bc9fd3adeca5892cc497feb18d071","datavalue":{"value":"65-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q684249$B81EC5CD-0230-4289-B35B-563B83A6E5E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3023c45aceac41d9d6c06921035d104ff449adbc","datavalue":{"value":"410363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q684249$60198589-01E4-4B40-AF7E-94FBA37C73F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e579fdab9660287cb4472632c995bae9a93d342","datavalue":{"value":"Scientific computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q684249$D2C027DF-74C3-4A81-B27B-36D1CA0D495C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c45e3554207aff165ebc826db2a3db06fde80cf4","datavalue":{"value":"Result verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q684249$AC27380D-7DFF-4D70-AC5C-ABCA2549FAAD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"52e7ee6951139c61358a377c96918787d0966a9f","datavalue":{"value":{"entity-type":"item","numeric-id":30694,"id":"Q30694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684249$90F50599-C81D-48FC-83A8-50AE5A8FF514","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":"Q684249$322070F7-6917-4F7A-951C-1022E3770891","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25de8c98241aeb43ad079349df0442ecf7f3aabb","datavalue":{"value":{"entity-type":"item","numeric-id":4717950,"id":"Q4717950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cad9b7031bbcc325cb9a26f82da42035b719e85","datavalue":{"value":{"amount":"+0.8883649","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":"Q684249$362AF149-1C79-41B1-9239-8C6A60EEE04B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f85a8d369b8690b5d310d71a976f71e0dd898422","datavalue":{"value":{"entity-type":"item","numeric-id":3057604,"id":"Q3057604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe01085658564ff0f1f19a1e7494a49c54768e32","datavalue":{"value":{"amount":"+0.880523","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":"Q684249$CD23615A-3ECE-4DC7-9D80-C0CBF7ED3D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ecb97af607a1e2902d6b958e44cfcacdc2addd4","datavalue":{"value":{"entity-type":"item","numeric-id":3014314,"id":"Q3014314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbcd7e71f384e32aeb5aed972ac95b2c82bfdaf6","datavalue":{"value":{"amount":"+0.8796028","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":"Q684249$D0B8CDC8-AF04-4987-8438-E13CCAF28995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5407a7a40d57096462bf9aeb097f9ccdb0191d06","datavalue":{"value":{"entity-type":"item","numeric-id":5249251,"id":"Q5249251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab5772559ae6947216d51d4b9b19204ab0fc8558","datavalue":{"value":{"amount":"+0.8583698","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":"Q684249$CEEAAF4A-E8B7-48A8-B9DC-5A259A95B041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e4e9be926f5b809036432cf6211d7bedb262349","datavalue":{"value":{"entity-type":"item","numeric-id":4291214,"id":"Q4291214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa663bfc2509dd40d3bb7c92c12958f462c8944f","datavalue":{"value":{"amount":"+0.858175","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":"Q684249$0528D87F-66A5-4D61-B2AE-5493C3C30E73","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":"4faf86c949652ca5ec005a0a98c467dff23d29d5","datavalue":{"value":{"amount":"+0.85733014","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":"Q684249$97E28CA6-4B12-4126-917C-E9D630D0B058","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":"9bfddbb65778b86a725a17c7f1cebf677cb807a3","datavalue":{"value":{"amount":"+0.85387385","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":"Q684249$AC9F6A7F-1199-4B81-B286-C32CB4B2A617","rank":"normal"},{"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":"655c126d15cf5415edc8c0bdea023e7f1752b1d5","datavalue":{"value":{"amount":"+0.8515221","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":"Q684249$640C0F84-2345-4041-AD62-789C2FBEBA5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c718ae6547ff98ad130e95fcf33879bc946ae600","datavalue":{"value":{"entity-type":"item","numeric-id":4786242,"id":"Q4786242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14226a4448eb52a95c0a095c7a21bd9154bec6d2","datavalue":{"value":{"amount":"+0.84723276","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":"Q684249$CFEFC8FC-56B8-4CE2-A3B9-8484046ABCA9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:684249","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:684249"}}}}}