{"entities":{"Q2387741":{"pageid":2398484,"ns":120,"title":"Item:Q2387741","lastrevid":48544126,"modified":"2026-01-05T04:16:43Z","type":"item","id":"Q2387741","labels":{"en":{"language":"en","value":"A simple test qualifying the accuracy of Horner's rule for polynomials"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2202950"}},"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":"Q2387741$AB04CAE4-C496-4EA9-AD25-CACFFBD3CE60","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f319e8287c5b6337f96cd1dd383978917db4dff","datavalue":{"value":{"text":"A simple test qualifying the accuracy of Horner's rule for polynomials","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2387741$38703100-156D-48B9-A16F-AE13F43DAF94","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c864cc43cb0b9ca4a47938cdb2d929101efe59e","datavalue":{"value":"1077.65020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2387741$981454D0-414D-4838-92C1-5F8EE1E81164","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"baf8524d60abe9585dfe9b77943b2c8b76e27174","datavalue":{"value":"10.1023/B:NUMA.0000049487.98618.61","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2387741$A036E075-7AD3-4CDB-AF9F-A2396B3E1BE8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"55cfbbbb889685c16294bfa3437f02f1746fc983","datavalue":{"value":{"entity-type":"item","numeric-id":352947,"id":"Q352947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2387741$61DD0034-DC92-4C9B-A783-B45FB16199DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e4bb1bcba17b5515e2d35cbb4d1ce0ea0c5c513","datavalue":{"value":{"entity-type":"item","numeric-id":1371153,"id":"Q1371153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2387741$4B26589E-25DE-4132-A8CC-D15FF6459BC6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"95f4a47752e6dde2f4d6f910dcba94ba8b5377c0","datavalue":{"value":{"entity-type":"item","numeric-id":57895,"id":"Q57895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2387741$31502A58-93F4-411A-9739-B48C3045DB5E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aea455d031be8bdd9d47386b3410a64e3b4a29f6","datavalue":{"value":{"time":"+2005-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2387741$92FBAC1D-68E8-4D88-8DA2-B4E4A5B21C6C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"309dabbaaaae3af6c16141c179430443ad4ed461","datavalue":{"value":"The authors consider the problem of evaluating a polynomial with floating point arithmetic. An evaluation scheme is defined to be faithful if it returns either the rounded up or the rounded down value of the exact result. Faithful rounding is shown to be more accurate than bounding the number of units in the last place of the error.   The main results of the paper propose tight sufficient conditions to guarantee faithful rounding on one step of Horner's scheme. The conditions are validated with the IEEE standard for floating point arithmetic using the Coq automatic proof checker. Three programs in Maple, Java and C are also presented that compute an upper bound and an absolute error bound on an arbitrary polynomial and an arbitrary domain for the indeterminate. Subject to a certain criterion, the programs guarantee faithful evaluation, as illustrated by two examples.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2387741$7ACA2231-1481-4EBA-BCA1-668D8952A4D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d52a9790bd413da9f05e066965338e566eb3e865","datavalue":{"value":"65D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2387741$F9E35FDA-5DE8-4417-9042-CE5F98E00EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"224133dd68a4f3b66ddf7d50fd627018c06684e4","datavalue":{"value":"65G50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2387741$23872AAB-BFD6-47C9-85F2-41736C89AE31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2387741$FE6F3630-937A-497F-A73A-373F041988B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"661c831991cdebd51f9465b74d929024bd00f373","datavalue":{"value":"12Y05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2387741$E9D19FF9-A54D-40C5-8ECD-949A09678075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2387741$F9E5FAB1-B6BB-4E5E-BC87-8D6CA46CE977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfeaad0862a23378a3c738963be2d25d4928c7a1","datavalue":{"value":"12-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2387741$12E514F9-0852-449A-A0BA-17B792E707F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c588e897b224e9313eea37f268e321593ac2c82","datavalue":{"value":"2202950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2387741$97FBC2B8-BE0B-468B-9295-38AE12F6DE01","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"778aa70a3024121ae438b87b4d5768780a3c8752","datavalue":{"value":"IEEE 754 standard","type":"string"},"datatype":"string"},"type":"statement","id":"Q2387741$98E83FDC-5006-42A8-8A81-2BC1697F018D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33119e4fa7c6538eae8fd09a5ca40142b3a3a10b","datavalue":{"value":"Horner's rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q2387741$FDB173D4-595D-45AD-8A9D-D96F1DCBF3C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"326c300cf62efa849a7bdb94dd90663d744d9f5d","datavalue":{"value":"formal proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2387741$BAF63A57-525D-4C34-BAD9-1D9B75CB0C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19c69641d78cf155c4287e51fcac4b23a952ddc7","datavalue":{"value":"evaluation of polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q2387741$A1B9757D-9FEC-43C4-B860-2631DC757031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e54009d50bf7f415c1e6111c0a1b9610fb1068e3","datavalue":{"value":"floating point arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2387741$80A27505-520C-4557-AE09-6C0218238D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab0cb49c6ee772f5254ce0e1a7fa8246d5c6dfbf","datavalue":{"value":"Coq automatic proof checker","type":"string"},"datatype":"string"},"type":"statement","id":"Q2387741$AD3FD024-EC8E-4E27-897B-F37E2EEFE4FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c69974b8ee44ba9ffc58b48877209f3953502907","datavalue":{"value":"Maple","type":"string"},"datatype":"string"},"type":"statement","id":"Q2387741$B7BA1402-5274-4DE0-9376-DE2D86B46E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dceec2f8de237c6d4edbef59a2cfbef768952749","datavalue":{"value":"Java","type":"string"},"datatype":"string"},"type":"statement","id":"Q2387741$2078F268-FDCB-4ED7-A283-6C310935808A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95f35984d75f96b8273ee58ad427140a23f29b8c","datavalue":{"value":"C","type":"string"},"datatype":"string"},"type":"statement","id":"Q2387741$568B309E-EFEA-44C2-934B-DA9588E694A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de83081b3e60fe50622d0467cc80748ac613a0c9","datavalue":{"value":"error bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q2387741$CAAF9858-8605-40BA-96E9-2122C4095A12","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a3503fd4727f823d79ecdba2b57dbab0be832911","datavalue":{"value":{"entity-type":"item","numeric-id":1305496,"id":"Q1305496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2387741$30277992-1196-4DE2-8A86-78A8B01B0005","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9bbedeb8fff9bf5dbcadd59c3f5332134c82fe9a","datavalue":{"value":{"entity-type":"item","numeric-id":16987,"id":"Q16987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2387741$CD0B4876-2289-4ACE-9582-6282F5F0F9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2387741$C2ED753D-6B06-46BF-8DF2-CF5E3F83221F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"485f54a0549a89232924cb0abb443c2fad36af9f","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2387741$3D6402B2-E22E-4CDB-955C-4BEFC7900585","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":"Q2387741$CCD7A7BD-FDB9-4DF6-9F5F-3EED2670BB77","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"38676ca49870ac00f2caf535f3f1e02d9594b8ed","datavalue":{"value":"https://doi.org/10.1023/b:numa.0000049487.98618.61","type":"string"},"datatype":"url"},"type":"statement","id":"Q2387741$1BE65E75-664A-49C6-8DF5-085DC02EBE6E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3312c3b633bf25574eb388f14776df7498cb24c3","datavalue":{"value":"W2022332990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2387741$419A6A5F-2298-43BC-AE2D-E418A3E7C3C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20525dda391443232771ec2280e7d8a59bff324e","datavalue":{"value":{"entity-type":"item","numeric-id":849175,"id":"Q849175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c1b94a4ab5632fd698b7480468c8f494faffde9","datavalue":{"value":{"amount":"+0.8215866684913635","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":"Q2387741$636E6CED-DFEC-4A61-9D50-4910F89CB6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e16a79d0d62a374909662f14ad17842cc80dfbb","datavalue":{"value":{"entity-type":"item","numeric-id":3421276,"id":"Q3421276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9c9f920c5f2696ccdda80884cef296c4bd88d1b","datavalue":{"value":{"amount":"+0.8065286874771118","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":"Q2387741$AB629D18-D748-49A3-93E2-76CEA9C0B56E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7101fac4dce948a54ffb3ed14c3cba78ab8ceea7","datavalue":{"value":{"entity-type":"item","numeric-id":4209126,"id":"Q4209126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"031af2242b2cf58ad7a2ac8a9f9c0d153add8221","datavalue":{"value":{"amount":"+0.7931074500083923","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":"Q2387741$D6CD10BE-7440-4BCF-B5B6-3A52F3D4A52A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e39de0ac282bd857b3d484c000e20a4c6e8fbb42","datavalue":{"value":{"entity-type":"item","numeric-id":1849567,"id":"Q1849567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84fbe2cc8322134169dd4c9a3eb79b7e63ca99d6","datavalue":{"value":{"amount":"+0.7759640216827393","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":"Q2387741$485804ED-43FE-4B22-8A13-034EE6A1D53D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d7f5516602fe8a4fe535d2269d5705d375205ef","datavalue":{"value":{"entity-type":"item","numeric-id":1334785,"id":"Q1334785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2234432ce67dc8daa26d769972ed820623a0280e","datavalue":{"value":{"amount":"+0.7724093794822693","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":"Q2387741$AD6B7130-A1B0-4D36-8AA1-5FFB60AC0E83","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2387741","badges":[]}}}}}