{"entities":{"Q2458505":{"pageid":2469248,"ns":120,"title":"Item:Q2458505","lastrevid":44122038,"modified":"2025-11-20T04:13:27Z","type":"item","id":"Q2458505","labels":{"en":{"language":"en","value":"Real solution isolation using interval arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5207567"}},"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":"Q2458505$A877FED9-DB60-4013-9D3B-34192A69B82F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb11752ea38f9ba658b1ee6d4e86d7fbd7b4fc8b","datavalue":{"value":{"text":"Real solution isolation using interval arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2458505$011AE73A-B240-44AA-9AC5-3AD80FBCB766","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ba66e49557214ab22ef6dcfc1c8c80896dabdef","datavalue":{"value":"1131.65041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2458505$B440FE06-2E39-4712-B05E-FA4A08C374C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2458505$70977D1A-898B-4CB4-86C2-12CCF506DAC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87a96649daacfeeba0041267c016b2297b06f3bc","datavalue":{"value":{"time":"+2007-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2458505$D17D386F-6AD4-4D2A-9D92-DD9768F2B273","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c940ff0c3721192e78d99c594e60531e6ee7dee9","datavalue":{"value":"Many problems in practise can be reduced to finding real solutions of a semialgebraic system. In this article, the authors provide an algorithm for real solution isolation of semialgebraic systems by using interval arithmetic. The algorithm has been implemented in Maple. Some experiments are done to show the performance of the algorithm.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2458505$E93070FE-8AD8-437F-BF8E-3296032FE353","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"588a7967fe910af36228ef50e7e9d2f1a6995f7e","datavalue":{"value":{"entity-type":"item","numeric-id":243984,"id":"Q243984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2458505$581FC7E2-D670-4C08-80AE-D33CA4040607","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e57e2977a9ed0e05339dd5f1673c9f0c9ab91235","datavalue":{"value":"65H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2458505$D1CAF2EB-58E8-49D1-B3BA-1DA504B82331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4d2aa49789d35e35613e1a84ce4788bfee1559e6","datavalue":{"value":"65G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2458505$D54FC2F2-7045-44F6-BD99-E3F1A7FCE460","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba2ede9a6660369ae65f9875323dd3fe7401466c","datavalue":{"value":"5207567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2458505$9C4478C9-C950-40C5-AF8D-C41AAC3ED722","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6b290aed2c82fa97db28166bdfdd47611abb02a","datavalue":{"value":"real solution isolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2458505$20B0B5AE-1895-48C9-8C69-6D14DD71DE6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b44e0460de8b89a3695e54806f9b749b49a67a49","datavalue":{"value":"interval arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2458505$E150FB8F-309B-4CB5-A5BD-DFBE6F9C8CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0a650bb6ef98d64086b4f304c4b7b9ab7578c60","datavalue":{"value":"polynomial systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2458505$D283F2D0-0F54-433D-B0E5-8731AC912608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c69974b8ee44ba9ffc58b48877209f3953502907","datavalue":{"value":"Maple","type":"string"},"datatype":"string"},"type":"statement","id":"Q2458505$98175FE6-52C5-4776-8A4F-BB006924F9DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2cafa2b27897c599d476e861165a05f940e29f6","datavalue":{"value":"semialgebraic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2458505$047293CC-2771-44EE-A251-944583DAED0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d74cb5419439f42eb1ba8891c8722bd3702922d","datavalue":{"value":"numerical examples","type":"string"},"datatype":"string"},"type":"statement","id":"Q2458505$0507B6C7-C900-43E6-8ED8-43AA0AB1F765","rank":"normal"}],"P1463":[{"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":"Q2458505$BED78C39-B251-4AA9-9D3E-22042DFC476F","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":"Q2458505$BE89CDCE-E600-4B15-987B-C0B2160182D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f3859ada205a718339a0e9d397c0ba21196f4ce","datavalue":{"value":"https://doi.org/10.1016/j.camwa.2006.06.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2458505$58818740-87AE-4CE8-BBAE-3611626C218C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f0b2d3bb036be68812c2a3040ffcf93f7e6784a","datavalue":{"value":"W2020812938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2458505$2FE8A6B8-4E06-4641-8164-9131201AB631","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a388ed85f648ff3e87c08c58a2c2450ef4f6046","datavalue":{"value":{"entity-type":"item","numeric-id":923797,"id":"Q923797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2458505$AA061D6B-916C-45A5-8EBB-F34CDA41F956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0598b44960303ce06ec668a088e4b0001156de","datavalue":{"value":{"entity-type":"item","numeric-id":3979594,"id":"Q3979594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2458505$E0A83765-F338-458F-A8A8-B323810E0E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d0b2ca4a5114a56550de8193814515e37bfde69","datavalue":{"value":{"entity-type":"item","numeric-id":1334817,"id":"Q1334817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2458505$A33B4F7D-6E03-4F8D-9EEE-355008470B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6161bea40eae3970fdff5e2ca125d30eeba9604d","datavalue":{"value":{"entity-type":"item","numeric-id":5262785,"id":"Q5262785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2458505$13DC7127-8415-49F4-BFC7-0F2FBFCB7310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"201e194dcc9975cd1fe5a23f082e4e3295b00827","datavalue":{"value":{"entity-type":"item","numeric-id":1864897,"id":"Q1864897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2458505$A4E73197-0229-4B86-BE18-7BD4928D2996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e0d87dacf0ab84df4a82342226d4a6b45679871","datavalue":{"value":{"entity-type":"item","numeric-id":3135183,"id":"Q3135183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2458505$6879C282-73A1-4405-8067-34BEFADF9708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4074b1923e4a5850b5531224d06223e6433d7b09","datavalue":{"value":{"entity-type":"item","numeric-id":4238962,"id":"Q4238962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2458505$9BF1FF73-14C9-4B20-AE9B-7EBA16272FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c8355b202bf9c3519523c6b18152787760be6a1","datavalue":{"value":{"entity-type":"item","numeric-id":1864882,"id":"Q1864882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2458505$4F8E426C-C9A9-46A7-B883-8C4ECFFDFBA1","rank":"normal"},{"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":"Q2458505$A3F43FB4-1A04-43F6-A3B2-6C692527CF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42a284615c381b20217d0d43a9e41f4382e78ad3","datavalue":{"value":{"entity-type":"item","numeric-id":1260758,"id":"Q1260758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2458505$58D11512-83A6-4A1F-A140-C3DC5D5D21FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98015ab635c930a8d747fc946eb3a51288d86132","datavalue":{"value":{"entity-type":"item","numeric-id":1582304,"id":"Q1582304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2458505$8CBCD62D-9DFA-42AF-AD2B-74201875C3BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"438cd3110c6cc6b7889523e1e71ae4632de5b0ba","datavalue":{"value":{"entity-type":"item","numeric-id":3316585,"id":"Q3316585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2458505$19DF3E29-6DD6-432C-8EF5-3057BA469261","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"210facebb033221c609819e19c09b9be4918e5c5","datavalue":{"value":"10.1016/J.CAMWA.2006.06.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2458505$FF530B3F-5124-4C50-A605-33EF5FAFCD81","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"293935db3834ff8b5d542ae1771b7c6cb66baa38","datavalue":{"value":{"entity-type":"item","numeric-id":85551,"id":"Q85551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2458505$9BD352EF-10F8-4F26-B6B9-38C1B84BA23A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d9dee777dec321c033b564ef222f5d2c86763d8","datavalue":{"value":{"entity-type":"item","numeric-id":4325141,"id":"Q4325141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e01ecad8bbdf31019523764df503a3acd94a85a","datavalue":{"value":{"amount":"+0.8798082","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":"Q2458505$1430EE93-8649-4F0A-8A07-13201A9E7549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89a75e3766112d5b038351c256c16b66afc5faef","datavalue":{"value":{"entity-type":"item","numeric-id":4234242,"id":"Q4234242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9f555477dd8de5a28a57d55e6855116cd56cb5a","datavalue":{"value":{"amount":"+0.86488277","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":"Q2458505$9DC4AF6D-5F1C-4F24-97AD-757F1F500087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"258897925aa42ab999c6af09c3dccbf763a48f88","datavalue":{"value":{"entity-type":"item","numeric-id":275934,"id":"Q275934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"531fe78b90de8ec709b1407c6cdada13abca1d38","datavalue":{"value":{"amount":"+0.8559865","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":"Q2458505$FF34369E-64A8-4152-9785-A86D8A6B885A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54b3e8e31cba0f9ff8f31c3d001e9faf05c47897","datavalue":{"value":{"entity-type":"item","numeric-id":2015130,"id":"Q2015130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06aedc5f0eca52194f55e0f4d79dff7a6f89ee37","datavalue":{"value":{"amount":"+0.8550014","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":"Q2458505$50A639E0-FE16-4740-A40F-FFB3DA3C1F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"979ca5dcd59648df10b9b4b7bebdd8f2c6b162bc","datavalue":{"value":{"entity-type":"item","numeric-id":4226967,"id":"Q4226967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75133bf8efa5008572f14275a5193358e961e235","datavalue":{"value":{"amount":"+0.85304093","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":"Q2458505$03CBA973-84F5-4DE2-B4CA-69844313039E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b3b77f17262b0c2e30161437554d7ffbbfd0482","datavalue":{"value":{"entity-type":"item","numeric-id":861620,"id":"Q861620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bd8d57adccc48fd036236ec65b4115a512c88ec","datavalue":{"value":{"amount":"+0.8529089","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":"Q2458505$6E99AEB9-8D4F-4CD7-90DF-D0C511A22A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d55d688fb011fede207efab373c909dd19d20dc","datavalue":{"value":{"entity-type":"item","numeric-id":5390659,"id":"Q5390659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cab9a23eb084b49eb76a4c9294620c9807ff83c6","datavalue":{"value":{"amount":"+0.85242146","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":"Q2458505$E9CA2D4E-6A3F-4AA2-B62E-73F110DDD454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c653f0bcb7e8ee79e3de771438814300ca79ba5","datavalue":{"value":{"entity-type":"item","numeric-id":3179168,"id":"Q3179168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c54beaf47228ce2614959d52815b9a8e57a3a790","datavalue":{"value":{"amount":"+0.8477941","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":"Q2458505$027DF777-9C43-4CF2-9C0E-B37DBB8BFEE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2c4822b002b032301e93cc135c7f00f0f4ee322","datavalue":{"value":{"entity-type":"item","numeric-id":657417,"id":"Q657417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50e351218dde83d97e9728eb8f4da848088b33c5","datavalue":{"value":{"amount":"+0.8419494","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":"Q2458505$CE284D04-6F83-4837-8F0A-6C7235383456","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2458505","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2458505"}}}}}