{"entities":{"Q765861":{"pageid":767710,"ns":120,"title":"Item:Q765861","lastrevid":42682934,"modified":"2025-07-08T10:59:52Z","type":"item","id":"Q765861","labels":{"en":{"language":"en","value":"Real root isolation for exp-log-arctan functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6017591"}},"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":"Q765861$C61A2CAE-A92A-4606-B9F4-E90A1B5FD51B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b537e3572ddca974539e9ca722afb8e39eb7b2fa","datavalue":{"value":{"text":"Real root isolation for exp-log-arctan functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q765861$BE1E5297-2A13-4A71-9B27-0A80AF5DC5C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb354a7186722656b001392a1f31ba743076f2e4","datavalue":{"value":"1244.65070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q765861$ACFDD052-8CAD-4123-941C-BE0FD8C21528","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q765861$D3D31780-E22F-4952-AC16-7FFF594331E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5851e3f5a92a2070ac5e1904345b7409fb2a9c02","datavalue":{"value":{"time":"+2012-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q765861$34CDC56F-4F39-48DD-81E0-8E627F8FC974","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0409ad84936184102eeba0d27d6109febcec3b27","datavalue":{"value":"Using the set of exp-log-arctan functions -- defined as the smallest set of partial functions \\(\\mathbb{R}\\longrightarrow \\mathbb{R}\\) containing exp, log, arctan, identity and constant functions that are closed under addition, multiplication and composition of functions -- the author proposes a real root isolation procedure which is an extension of an algorithm defined by \\textit{A. Strzebo\u0144ski} [Real root isolation for exp-log functions, Proceedings of the twenty-first international symposium on symbolic and algebraic computation 2008, Linz/Hagenberg, Austria, July 20--23, 2008. New York, NY: Association for Computing Machinery (ACM). 303--314 (2008; Zbl 1236.65057)] for exp-log functions.  Basically, the algorithm RootInInterval (defined in Section 5 together with several examples and a detailed study of complexity) offers a new proof of the claim: \\textit{The domain of an exp-log-arctan function consists of a finite number of open intervals and an exp-log-arctan function has a finite number of real roots}. The algorithm uses the notion of semi-Fourier sequence and its applicability in root isolation proposed in an unpublished paper by \\textit{D. Richardson} [Recognising zero among implicitly defined elementary numbers. (submitted for publication)]. The theoretical construction offered by the paper is finally verified by an implementation using a C source code and Mathematica system. All experimental results confirm the validity of the RootInInterval algorithm proposed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q765861$A2BBFA05-FBDA-45A8-A8FB-3481A204FA6D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a0ee622bcd5ac110259d706a0c963f73822a7b03","datavalue":{"value":{"entity-type":"item","numeric-id":266264,"id":"Q266264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q765861$81516D66-749C-45DD-AA97-B5E34394CDD7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f7c34836818ffbea9a518ee3069a773adc88b483","datavalue":{"value":"65H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q765861$A8E909A0-D419-492F-9B93-24AC60C5F7CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f5416beb916581f75f5ab84beb89bb5ea5258fe","datavalue":{"value":"65H04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q765861$9F925D24-33E7-47A6-B6C3-E938BCD72F6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a8a0c1bda8359f52eedf0fb745f75d6f1e43c3f","datavalue":{"value":"6017591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q765861$DAB27627-7E60-4211-AD9D-50C5A5FF14F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f08a1418103448ca211a94eea66f18449ce83675","datavalue":{"value":"exp-log-arctan functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q765861$D56A2D28-7B67-4FEB-B9E2-2E1184B9C331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2df0ec8d226626f9feb66ca4c58130a13575982f","datavalue":{"value":"elementary functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q765861$5A9389EC-ECDE-41E7-879A-0E38B36526F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31cb3726664e1579de6de5700f6b073bc17893a2","datavalue":{"value":"real root isolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q765861$B86CFF5C-75A5-486D-BB05-D97371DB2EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b566895c578ec4f215d1ca30e2c30a1e278dd67c","datavalue":{"value":"solving equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q765861$1786ACF2-3986-4063-B8BF-FC918543A72D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d74cb5419439f42eb1ba8891c8722bd3702922d","datavalue":{"value":"numerical examples","type":"string"},"datatype":"string"},"type":"statement","id":"Q765861$6210FF07-4D0A-4D37-BEAC-609042E7A41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q765861$95398A9B-9EE1-48E3-B4AB-2642FDC51A5D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"839da8fb2ad5262719b48f39d6c370f918d5d4d2","datavalue":{"value":{"entity-type":"item","numeric-id":1382035,"id":"Q1382035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q765861$9D4A5DA0-D151-4144-A12D-CE71986DDE34","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d89eed7087f93c1cdf4120c868b02779d34eaa8b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q765861$B3F9DD40-4631-4B0D-B7A2-8E470EDEAA11","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":"Q765861$92D6E789-6676-4732-9F7B-2AFCBC16332C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67e661deffbd4bdb16311865307e76a16818f071","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2011.11.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q765861$56343483-4F66-4290-9E75-FA1DC0EE9D7C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67ae3651e3a6a93633a7a6702b06a8c44d09294c","datavalue":{"value":"W2102283069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q765861$68763944-2285-4DD8-B2AE-BD5DEA2B6BEC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d96e18641eef658ac26bf8b0bb22104ca3babd2b","datavalue":{"value":{"entity-type":"item","numeric-id":3686991,"id":"Q3686991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q765861$6F966DC2-57FA-4F74-B095-9F6651EA0139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"518e2d557489c28fc832c69c855db40072c817d6","datavalue":{"value":{"entity-type":"item","numeric-id":5520004,"id":"Q5520004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q765861$19E6BE63-B3B5-4C49-8FDB-8582680152E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40091ccc3aff16816fcd9d4de3cdee129acc7541","datavalue":{"value":{"entity-type":"item","numeric-id":3963114,"id":"Q3963114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q765861$D08AA14A-2ABF-4780-9D18-5D43A479C27D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b8d88273c864554d2cec6d925e80929b7c089a6","datavalue":{"value":{"entity-type":"item","numeric-id":1382029,"id":"Q1382029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q765861$0D643100-6C8B-4917-8B64-96796A6769B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c8bf42fb345b546a5ee07f2ea3d8f353bb884c6","datavalue":{"value":{"entity-type":"item","numeric-id":4190721,"id":"Q4190721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q765861$DE05E137-88B4-407A-9A11-911BCF510968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f3baf97af5e4f15c95141ffe95bf867e139d055","datavalue":{"value":{"entity-type":"item","numeric-id":5301637,"id":"Q5301637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q765861$AAF1CC29-778D-481D-A2E2-A83747CD3AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa98c4e99f58941598aba5d01331c82a7d56a71a","datavalue":{"value":{"entity-type":"item","numeric-id":1341981,"id":"Q1341981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q765861$0D3410C8-D933-4E19-BA02-6BC03F71D691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4a66c7fd34e955c349d134c6217b2eb4a376c40","datavalue":{"value":{"entity-type":"item","numeric-id":5687291,"id":"Q5687291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q765861$BC6B314D-B9C8-45CF-ADFA-014F394FC8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d0b86b2e54b45c9bcaa36685917114010aa9819","datavalue":{"value":{"entity-type":"item","numeric-id":1971497,"id":"Q1971497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q765861$6A7A3571-E1E3-4F47-A189-B89BCCF6294B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d2dee37b50ddd746ed272e2b4d2295a882c7bed9","datavalue":{"value":"10.1016/J.JSC.2011.11.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q765861$42973E3C-6238-4641-8385-2CAC7125F0C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b0eea73c1c6bef6bd6b9e6079ada337778642f9","datavalue":{"value":{"entity-type":"item","numeric-id":5301637,"id":"Q5301637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2e3aee970ca0c569e6c32e12a963792da1af731","datavalue":{"value":{"amount":"+0.79952127","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q765861$DF8DC8E3-7428-40F2-B60D-F10FF30A8975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5918b31c1db715f139bb9f9a731bc67a83ea2f07","datavalue":{"value":{"entity-type":"item","numeric-id":2287381,"id":"Q2287381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b60920fedfc821bf8fcc90b87f56e1e5a3dbd5ef","datavalue":{"value":{"amount":"+0.7395011","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q765861$EAFBD1DB-6D5E-4670-A011-CFADBB76236E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3441c0e971a80c4efe66724eb5709c64141fd767","datavalue":{"value":{"entity-type":"item","numeric-id":2883838,"id":"Q2883838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec8168aa135cc1eda7a49936ec91911a3ce477a6","datavalue":{"value":{"amount":"+0.7255908","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q765861$D30BA9C2-59A6-41F3-AFF8-8448C57B86FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a987386051d367dc250ff078b57a96ede35576de","datavalue":{"value":{"entity-type":"item","numeric-id":3404453,"id":"Q3404453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5359c0788e58594a6cda12b64bcf9b1209b010a3","datavalue":{"value":{"amount":"+0.7154225","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q765861$481E9A9F-64E4-4F95-B29C-4BAB74EC1F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84d053c9df245fa759f22ce0f571028dd9ba56ce","datavalue":{"value":{"entity-type":"item","numeric-id":3169977,"id":"Q3169977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76a45a6b6938e14b8f67ab55311141cc13b2ff92","datavalue":{"value":{"amount":"+0.71366554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q765861$97ADB05C-F6B6-441E-9983-ECB6BDEE9F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35780ce5a35bb0b48af9ece693998979d3181b33","datavalue":{"value":{"entity-type":"item","numeric-id":5125231,"id":"Q5125231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eb6fd122e778634571a9fff70958d3f99647462","datavalue":{"value":{"amount":"+0.7118329","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q765861$B446E85D-24FC-4FAC-A44C-A255C05D27A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6c0b2f81d5e22fc460a0fb9c36e3ddb3cabe535","datavalue":{"value":{"entity-type":"item","numeric-id":2468357,"id":"Q2468357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e95f3471530b7866d707b8b08bc7ee91f2a67c8b","datavalue":{"value":{"amount":"+0.7097312","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q765861$CD86F744-9FC0-4A3A-8DC6-C62D03A9020A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15e9cd18ee0f7fb27ca767c9db5bd5a89c345a25","datavalue":{"value":{"entity-type":"item","numeric-id":4984904,"id":"Q4984904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4cf7078082bdc21fb56cee91e8dbea9f93e9cb0","datavalue":{"value":{"amount":"+0.703378","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q765861$CA810175-ACE8-470D-A91D-22BA8EB84BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8d8531aecd3730c63607b99f105f152002dfbf2","datavalue":{"value":{"entity-type":"item","numeric-id":2656085,"id":"Q2656085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1343dcb06e77eb1511dda335d6f0fd5d774c720a","datavalue":{"value":{"amount":"+0.6934144","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q765861$4F378392-A0BB-40DE-97AC-294886AE087D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2d3f79df00844d19c845a9c320ec67e65b25fbc","datavalue":{"value":{"entity-type":"item","numeric-id":1324399,"id":"Q1324399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f9aa57ba08d67c31453ba78e2a9ac27097256d1","datavalue":{"value":{"amount":"+0.6930342","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q765861$36876E46-6552-4166-8F05-894376174B9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:765861","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:765861"}}}}}