{"entities":{"Q650841":{"pageid":652690,"ns":120,"title":"Item:Q650841","lastrevid":51381962,"modified":"2026-01-18T00:34:23Z","type":"item","id":"Q650841","labels":{"en":{"language":"en","value":"Cylindrical decomposition for systems transcendental in the first variable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5986951"}},"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":"Q650841$CBBDA7B6-CC61-4707-B6B9-EFE4DFDE2FEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"26515c0d51f7caeaeeca91eb5ce9a8b263eccc19","datavalue":{"value":{"text":"Cylindrical decomposition for systems transcendental in the first variable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q650841$146F1CCD-F1A7-4A6A-8B13-B6F9529A1EBC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e721427e149f4fa56051dcef571e48f7bca3514f","datavalue":{"value":"1236.14053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650841$783311EB-C60D-473B-825C-2C82DA9BBCF0","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":"Q650841$F5B16170-A497-4D5C-97FD-2E45E51BE6CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e38c6f1e03c0365fe5e243370e140f97607764e2","datavalue":{"value":{"time":"+2011-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q650841$36FE5514-8A8A-49CC-B197-E8D44658CE18","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2e3e61d09690cbf6f5cd043522cf6d588aa2e8b2","datavalue":{"value":"The Cylindrical Algebraic Decomposition is a standard algorithm for solving problems in Real Algebraic Geometry by means of projection techniques. The algorithm deals with polynomial equations and inequalities over the real numbers. It has been recently extended (see [\\textit{M. Achatz, S. McCallum} and \\textit{V. Weispfenning}, in: ISSAC 2008. New York, NY: Association for Computing Machinery (ACM) 215--222 (2008; Zbl 1236.68301)]) to solve decision problems for systems involving exponential-polynomial in one of the variables and polynomial in the others.  The paper under review is an extension of previous results by the author given in [\\textit{A. Strzebo\u0144ski}, in: ISSAC 2008. New York, NY: Association for Computing Machinery (ACM). 303--313 (2008; Zbl 1236.65057); in: ISSAC 2009. New York, NY: Association for Computing Machinery (ACM). 341--350 (2009; Zbl 1237.33015)]. It shows how to compute full cylindrical descriptions of solution sets of systems involving more general functions of the first variable. More precisely, it is shown how to compute algorithmically the cylindrical decomposition of the solution set as long as it is possible to solve univariate equations with functions from the algebra generated by the non-polynomial functions which appear in the input.  Some implementations and experimental results are shown to illustrate the algorithm at the end of the text.","type":"string"},"datatype":"string"},"type":"statement","id":"Q650841$15A60906-F1EA-4E75-B871-5E12DDBB17F7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1d9b22ef7d1260b01493c287a8f3c457bacc7c58","datavalue":{"value":{"entity-type":"item","numeric-id":191946,"id":"Q191946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650841$BA8716DF-1229-49CD-A5EA-0766AC10D80B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"faf5fa4f05db998aa651c0c32ce49d873d9dceaa","datavalue":{"value":"14Q99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650841$FF16FC28-6B22-48DB-A094-6BFB0504323F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"622398cd60febf1da6a618693240f6ff2097cf89","datavalue":{"value":"14P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650841$8666CE06-D52D-4FFA-9F33-B1B8D042F212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650841$FDE503E7-2186-4E31-99BB-85AD9CEF409D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d30bc51007dbf8f4498c8db8caebec2d25a580fc","datavalue":{"value":"5986951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650841$FF845FFD-5D89-464B-B4DE-CF59CA787527","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e5972be167823369a5d1b26bff57b03e8b3e7a0","datavalue":{"value":"cylindrical algebraic decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q650841$F8F3C866-4D87-4776-91CB-59EDDA03D83A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cccc6e852175acfe6238dead4940c667d93f43ba","datavalue":{"value":"exp-log functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q650841$50603D8F-E411-4B6B-9AC3-4D69AF8F1D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q650841$2178755B-CAD4-4BF8-8C2E-A81C363587C7","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":"Q650841$D42D7E9D-D097-4ECF-8F58-7255837C3D42","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":"Q650841$88D6744F-EE84-4B86-8B6A-C1A0F1DC1662","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"08396c8411a35ce95eeec1f5a4bb84c923efe9da","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2011.08.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q650841$58E50ACE-276F-46CE-8224-C4E53C03AAD8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb7b0b6098899aa39050034b1dbdc94a183323c4","datavalue":{"value":"W2015314684","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650841$3D27A2F2-39E5-4F84-ABAA-65D87B0CAF0B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbbb64e50a144e5987dd7707ae965d849d78b04","datavalue":{"value":{"entity-type":"item","numeric-id":5301626,"id":"Q5301626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650841$A17037CC-CEC4-405E-B40C-16C0A21CD8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dff5741b5685089fb3af0e75fd55163058f26f4","datavalue":{"value":{"entity-type":"item","numeric-id":4391220,"id":"Q4391220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650841$C51F3CC8-9C99-47FD-B5D3-D369530CAA13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d7798eba50e0ffe1e4306d4a4aa338f6be7be4","datavalue":{"value":{"entity-type":"item","numeric-id":4079605,"id":"Q4079605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650841$077A402A-5730-49C1-A204-76EE24041087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7d76e062c66a76e8a4d3a1bc30f57ffc32f39a3","datavalue":{"value":{"entity-type":"item","numeric-id":1815863,"id":"Q1815863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650841$E2B6E631-DF69-4FFD-B4AE-C2692E218857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a437de0802ab05b7634e21c4f870a90eb0bc071","datavalue":{"value":{"entity-type":"item","numeric-id":2387416,"id":"Q2387416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650841$1ED169C9-DD35-4D48-9E3A-4D0DACE2B3FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43f1688f1fa56aac86f71f6b17da15abb93f72fd","datavalue":{"value":{"entity-type":"item","numeric-id":1368691,"id":"Q1368691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650841$32C34B0C-E23C-4805-A7B5-CAB87B958F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f652b6759cd3bbcc73aa9996c2f81a28f82f6e33","datavalue":{"value":{"entity-type":"item","numeric-id":1380008,"id":"Q1380008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650841$8E46748D-F292-41C0-816F-0EB7A2F218FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf31643603adde842abc14bb0b9693cebd2393b9","datavalue":{"value":{"entity-type":"item","numeric-id":1368692,"id":"Q1368692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650841$5E961CC5-3A1B-4031-AB7F-7B0505A5DE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf4f126bd2e556995b31d0a7b232a3abe5e1ffb","datavalue":{"value":{"entity-type":"item","numeric-id":1368690,"id":"Q1368690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650841$5DE07FDD-9068-4047-A1BB-E91995F59BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e73dbdba735b48e12732b9669ad6ef479339545","datavalue":{"value":{"entity-type":"item","numeric-id":1382036,"id":"Q1382036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650841$6DB84F5F-DFC8-4636-B6C0-3A4B6E02F702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbd2b744a08cf611862a762e8c90a437da122841","datavalue":{"value":{"entity-type":"item","numeric-id":2457384,"id":"Q2457384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650841$6D465642-6CFC-4B15-9630-41AE75581CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c0eaf5fde452a9641bd98a14a4bcdd32f5f14c5","datavalue":{"value":{"entity-type":"item","numeric-id":2883838,"id":"Q2883838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650841$950A87E2-9762-4615-A19E-3A46B7B27977","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a9ecc756abead8f06ef59b6b12e3b38e180fae9","datavalue":{"value":"10.1016/J.JSC.2011.08.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650841$8BC76406-CD4D-4CB6-A682-B970DE3C2DD6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe8093a7e2ed8b47b62195846e4a1407eb5c8ff2","datavalue":{"value":{"entity-type":"item","numeric-id":1355986,"id":"Q1355986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d02a74f7a3294b9de47caec0a4dbd9375c53e69","datavalue":{"value":{"amount":"+0.7842947244644165","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":"Q650841$67B3C366-778F-4483-9BC1-A5BA0CBD8698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e52e8bc51ea1f4615e2392167acb0348fe7eda2d","datavalue":{"value":{"entity-type":"item","numeric-id":1186711,"id":"Q1186711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e3462de515b0a2860471b6d44adad60ac59f267","datavalue":{"value":{"amount":"+0.7795500159263611","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":"Q650841$C96DD43F-CA5A-4C1E-9A2D-6440F6DDADEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92bffab1a7e8bc1ca879f248d4ef9d5081d990ed","datavalue":{"value":{"entity-type":"item","numeric-id":5149828,"id":"Q5149828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7764a72511803aaef889d9d23262552efe14cb3d","datavalue":{"value":{"amount":"+0.7782706618309021","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":"Q650841$B997A0A9-1FA2-49E4-8A37-294AF7F53FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"818ae34aa3eb5ec4b906b2cceeb080cb58bef3a4","datavalue":{"value":{"entity-type":"item","numeric-id":4237405,"id":"Q4237405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caa9339a7c9a1980510bb9cc6e3066f1bd8b330b","datavalue":{"value":{"amount":"+0.777800440788269","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":"Q650841$38A53C5B-EFA5-406C-AFD3-1C572F7066B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8566d2bbe734e0acda28c0b0024c7051d0c099de","datavalue":{"value":{"entity-type":"item","numeric-id":3345781,"id":"Q3345781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abd5d7331d252df354fba55687af4d91b62bddd8","datavalue":{"value":{"amount":"+0.7747783064842224","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":"Q650841$B98C6575-4720-46F9-9DC0-B7C3C091B392","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:650841","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:650841"}}}}}