{"entities":{"Q2277540":{"pageid":2288283,"ns":120,"title":"Item:Q2277540","lastrevid":49483294,"modified":"2026-01-07T06:09:08Z","type":"item","id":"Q2277540","labels":{"en":{"language":"en","value":"Piecewise algebraic functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4196161"}},"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":"Q2277540$8AF06115-C775-4562-A367-1935DEEB3EDB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6df1460e2bc8d01f5c24bf238b573c8f0b7e9abc","datavalue":{"value":{"text":"Piecewise algebraic functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2277540$52A0F96A-D2B3-49B3-8FFC-E9C9EAB90AAE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bfd7109f095b13b16681f94d8b2f96256c38a3cf","datavalue":{"value":"0725.14047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277540$14243DF5-5881-48E0-8870-32B1DE756AF1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9be4320948a2c3a3e2b4e881f6650192988a6082","datavalue":{"value":"10.1016/0196-8858(90)90011-M","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277540$4522263A-7511-410C-83E4-2E932D977C14","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f49d2aea976368b838ed551fd1cf3665272685c8","datavalue":{"value":{"entity-type":"item","numeric-id":585265,"id":"Q585265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277540$47D401C6-74C4-41AC-9A26-07F7125D134A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c81af6777b816325a5ee3daee414a9b920069d0","datavalue":{"value":{"entity-type":"item","numeric-id":621763,"id":"Q621763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277540$C3EEED98-5F56-4FE6-BD58-F977B207ED39","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f171e2d358ed0c5ffcfe728031d35021527481f7","datavalue":{"value":{"entity-type":"item","numeric-id":103557,"id":"Q103557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277540$A16F5D8F-A73C-414E-9B7A-4797EBA2151E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2277540$15956738-6B88-4AA7-8C7D-43B38B042A99","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"485fefc2572d07673924477c4b90881763b161d8","datavalue":{"value":"The authors study what they call piecewise algebraic (P. A.) sets and functions. The P. A. sets are simply the constructible subsets of \\({\\mathbb{C}}^ n\\) defined over \\({\\mathbb{Z}}\\) (given by finite Boolean combination of polynomial equations and inequalities with coefficients in \\({\\mathbb{Z}})\\), and P. A. functions are multivalued functions whose graph is P. A. The main tool is a decomposition of P. A. sets into a finite disjoint union of ``normal'' P. A. sets, which are roughly finite sheeted coverings of complements of algebraic hypersurfaces in affine spaces corresponding to a subset of the coordinates. This gives closure properties of P. A. sets and functions with respect to several constructions, and a nice notion of dimension. The authors care that the constructions are performed inside ``certainly computable'' P. A. sets. Then they turn to some applications: dependence of the minimal complexity of the computation of a polynomial upon its coefficients, dependence of the Jordan canonical form of a matrix upon its coefficients, dependence of formal solutions of meromorphic differential equations upon the coefficients of the equation.    It is a pity that there is no mention of quantifier elimination theory, concerning the properties of constructible subsets defined over \\({\\mathbb{Z}}\\). For instance the fact that ``the projection of a certainly computable P. A. set is a certainly computable P. A. set'' is just the effective quantifier elimination for algebraically closed field, and this has now been well studied from the point of view of complexity [\\textit{J. Heintz}, Theor. Comput. Sci. 24, 239--277 (1983; Zbl 0546.03017)]. Also, the decomposition into normal P. A. sets plays a role very similar to the cylindrical algebraic decomposition of \\textit{G. E. Collins} [see Autom. Theor. Formal Lang., 2nd GI Conf., Kaiserslautern 1975, Lect. Notes Comput. Sci. 33, 134--183 (1975; Zbl 0318.02051)] in the real case.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277540$CB64E49A-4F9B-4CA4-A6F6-AE9C6030F633","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2cbc5a5065d0ee30b0cf4044ef7f481008e0460f","datavalue":{"value":{"entity-type":"item","numeric-id":455652,"id":"Q455652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277540$89611F38-3BAB-4E7C-A6D1-50A780C8F689","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"65ef089ab6dd31e83c3611c992a3cfd8973b58bb","datavalue":{"value":"14Q20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277540$EAD53A7A-EA53-418A-8910-228E733EF7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0f0783a8eec0981fa057cbb8a132524497e71a6b","datavalue":{"value":"34A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277540$1D1E5641-AB5C-4B02-9D79-3C7D9E228F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3b745564e46a3acb7c8c15ab2ae30dc70b53995f","datavalue":{"value":"12H20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277540$E4A771AF-D6F6-4580-B522-8486D55A68A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6fa9abc19cc0cb191b4b58329d9caf5e790f26bd","datavalue":{"value":"4196161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277540$9EB8FA9C-FF4A-4543-AA4D-52F11706CA24","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b13441312a5b466943f2050c5e014a77242d2f28","datavalue":{"value":"piecewise algebraic functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277540$0A93A71C-2B4F-46C7-A1E2-759121E65FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3c6b86d608042d3c9d1ba918f72cef88fa4c9cd","datavalue":{"value":"piecewise algebraic sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277540$3DB3ACA9-F7BF-4F55-A7F5-CF028F9158F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252e7f068870d9a49990f872bac7a41439f90e24","datavalue":{"value":"P. A. sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277540$5252A0F0-4D71-44FA-BE0E-734A44254CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199b063c5d4b60ae6fb76a23c3cb0187ed81f3bb","datavalue":{"value":"solutions of meromorphic differential equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277540$40476684-C390-4601-974A-08624FC2CCE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277540$572D5C0F-73DC-4FA6-B63F-5C58280BFBAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61e6e84b80b2d95934924fb05abcdc9c2c1fb4de","datavalue":{"value":"constructible subsets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277540$6048C306-9DE5-457C-9B5C-6851FA140692","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":"Q2277540$E689ECD9-3778-44A6-87FE-828CB4EB6D17","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaca48cfca390e636de52000b33a5fa22355b99f","datavalue":{"value":{"entity-type":"item","numeric-id":4177796,"id":"Q4177796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277540$72DB81AE-1DFA-48FE-A40F-63730C22C5FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7b687389392c3c46c787b88133af21d18744004","datavalue":{"value":{"entity-type":"item","numeric-id":4190138,"id":"Q4190138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277540$FFDEF672-224E-423C-B0AE-2CB91ACBAA27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c03b1b7c54fac5621448e5c427c845de6ebfbec4","datavalue":{"value":{"entity-type":"item","numeric-id":3281164,"id":"Q3281164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277540$6FD8BFC1-8D4E-418E-A959-05BB2FE5ED29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83f629c180f6436ab6ea9a75b06b545548804bab","datavalue":{"value":{"entity-type":"item","numeric-id":4143433,"id":"Q4143433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277540$2405BE27-4B2D-4D1C-BEB4-F3474A12D59E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc27103b7f4236b70a42ea20e67060d28afafc24","datavalue":{"value":{"entity-type":"item","numeric-id":3824712,"id":"Q3824712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277540$402AF7AF-EFBB-4C14-9019-8109239811E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2e1ccf05fd3d085b5877d010dc7cdba63bae9cf","datavalue":{"value":{"entity-type":"item","numeric-id":4058784,"id":"Q4058784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277540$0C3D4E2C-62F8-49E5-89D1-6B648C12880C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2de17a6de8edfeb60954fff8d0aea05bc650bd6","datavalue":{"value":{"entity-type":"item","numeric-id":5402553,"id":"Q5402553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277540$AA6CA776-6C27-4BC4-86DF-9D16DE0FDC8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd123b0ec06a785dc507c8a3a819b381f8f65242","datavalue":{"value":{"entity-type":"item","numeric-id":4178383,"id":"Q4178383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277540$B14315B5-4FC8-4136-B5D3-D25F02736F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b110a1bfc6d602ebb55d3aaa37eddbb37f0ce068","datavalue":{"value":{"entity-type":"item","numeric-id":3332243,"id":"Q3332243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277540$DE4A87F8-34F6-47E3-ACAE-CEBE8A7E3A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b89ebaf98c8fde5131cef04a549821dcb75fe243","datavalue":{"value":{"entity-type":"item","numeric-id":5511421,"id":"Q5511421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277540$3A595F31-908C-412D-9227-65FB42F44B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c2e5969a38100b1fcd498c29652560ef1eb9dc6","datavalue":{"value":{"entity-type":"item","numeric-id":5343650,"id":"Q5343650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277540$092D3A37-B973-4627-A232-7D99D5740543","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30e1de84b2945d79e8c55b9ce37074e12adc8a34","datavalue":{"value":{"entity-type":"item","numeric-id":4825790,"id":"Q4825790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1ed88a2c95e9a571c4746c631d8bf92548b37a1","datavalue":{"value":{"amount":"+0.7572113275527954","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":"Q2277540$B5E1391D-BF6C-47B4-9AE6-9390C7A711A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2285f95eead1d4e02f940e3110735fcb18efc7dc","datavalue":{"value":{"entity-type":"item","numeric-id":5699649,"id":"Q5699649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa1fba4f9ad0d55119d927ee57a9ce8275081b5e","datavalue":{"value":{"amount":"+0.7333904504776001","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":"Q2277540$2048F143-DA7D-4963-937C-3B3DCB5F1D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03dc98dc93fb8855dc79716c875c45f6d720e11a","datavalue":{"value":{"entity-type":"item","numeric-id":5692721,"id":"Q5692721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b45740ba771e7bec4cee9d181d9fbe5d2ca3737","datavalue":{"value":{"amount":"+0.723567008972168","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":"Q2277540$B86D790D-C9D2-452C-91B1-9A626F25DBF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90ec397f8282f49aa05774402765dae280b76cec","datavalue":{"value":{"entity-type":"item","numeric-id":1273768,"id":"Q1273768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4a65f2406f18513f85d4bfb589714491501513f","datavalue":{"value":{"amount":"+0.7197649478912354","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":"Q2277540$4550F52D-4AB7-43BB-B61D-705BCA46D634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e848abbe7be1fbf0eb327d7a4c77d014bdfe572","datavalue":{"value":{"entity-type":"item","numeric-id":5451966,"id":"Q5451966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e6c9626108a3ced609ad29ae61f15ef2e14a139","datavalue":{"value":{"amount":"+0.7139521837234497","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":"Q2277540$3772254E-B32E-4D8E-A6EA-68F3ADA040A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2277540","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2277540"}}}}}