{"entities":{"Q2420635":{"pageid":2431378,"ns":120,"title":"Item:Q2420635","lastrevid":74195409,"modified":"2026-04-14T18:53:47Z","type":"item","id":"Q2420635","labels":{"en":{"language":"en","value":"Effective power series computations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7063481"}},"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":"Q2420635$857C122F-56F1-4E40-996A-8E55EF447972","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a139b5b4de37f0990083e50f1a3a639cb9b6682","datavalue":{"value":{"text":"Effective power series computations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2420635$427F0729-3895-4BFD-B176-B7CF6BA95077","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8775879b5cd87c773b1b59d0da30e9bb4aed356f","datavalue":{"value":"1427.13038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2420635$BF4FB05C-DAC8-4DB7-A5A5-6B1331FA7907","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddbac42ac2c84d12533405ebcc24e236f8e4e04d","datavalue":{"value":{"entity-type":"item","numeric-id":190427,"id":"Q190427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2420635$E34BB026-E894-4E84-9A3D-569BA3147054","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1de0dee9456ae54727642f6ba64e62fe6eaa93c2","datavalue":{"value":{"entity-type":"item","numeric-id":203859,"id":"Q203859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2420635$9762378F-F4A3-483C-9ED5-05E9F9CF55B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"998427406990cfe05e6953e99ed9a1caa256d54a","datavalue":{"value":{"time":"+2019-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2420635$F7242F87-C37F-445C-8848-8130D6E42C2E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0f339c7969e448c1fdf73b18bc9608cbd312f456","datavalue":{"value":"Let \\(K\\) be a field of characteristic zero and  \\[K[[z_1, z_2, \\ldots]] = K \\cup K[[z_1]] \\cup K[[z_1, z_2]] \\cup \\cdots .\\] Each element \\(f \\in K[[z_1, z_2, \\ldots]]\\) is a power series in a finite number of variables. \\(K\\) is called effective if its elements can be represented by concrete data structures and  all field operations can be carried out by algorithms. Moreover,  \\(K\\) admits an  effective zero test if we also have an algorithm which takes \\(f \\in K\\) as input and returns true if \\(f = 0\\) and false otherwise.  Let \\(L\\) be an effective tribe (that is, a subset of \\(K[[z_1, z_2, \\ldots]]\\) which is effectively stable under the \\(K\\)-algebra operations, restricted division, composition, the implicit function theorem and restricted monomial transformations with arbitrary rational exponents)  over \\(K\\) with an effective zero test. Assume that \\(f\\in L\\cap K[[z_1,  \\ldots, z_n]]\\)  has Weierstrass degree \\(d\\) in \\(z_1\\) (that is, \\(f (0) = (\\partial f /\\partial z_1)(0) = \\cdots = (\\partial^{d-1} f / \\partial z_1^{d-1})(0) = 0\\), but \\((\\partial^{d} f / \\partial z_1^{d} )(0) \\ne 0)\\) and let \\(g \\in  L\\cap K[[z_1,  \\ldots, z_n]]\\). The Weierstrass division theorem states that there exist unique \\(Q \\in K[[z_1, \\ldots , z_n]]\\) and \\(R \\in K[[z_2, \\ldots , z_n]][z_1]\\) with \\(g = Q f + R\\) and \\(\\deg_{z_1}( R) < d\\). Using these notions, the author introduces different notions including Weierstrass bases, Hironaka division and standard bases.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2420635$10745224-2F2E-41FC-B4D7-FCD8AF22D4E3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a3cb3302bfe70372bd6624bf5334e81c39ef3cc2","datavalue":{"value":{"entity-type":"item","numeric-id":382758,"id":"Q382758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2420635$8D9B1AD1-3329-4D7C-BE41-BD2B9AA8F644","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2420635$378127BF-E25A-4D61-8E0D-D78FDAFD622C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"50ee67d9d4438349bdf7aacbe2911ee07a4388dc","datavalue":{"value":"13F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2420635$6F59DE71-55A1-4A62-8603-0963B2759A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2420635$3E975EA9-2E81-4B2A-A52E-B8A98769DCAC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21f731d7b9d4855512fc893119ecd667998af5a1","datavalue":{"value":"7063481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2420635$70DF7FF1-0055-432D-B731-D473AF563D2B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2052d77a35f238c6075b97c46e41a1853dde7f39","datavalue":{"value":"power series","type":"string"},"datatype":"string"},"type":"statement","id":"Q2420635$FE3D6A45-E4ED-424B-84D7-49363A12A3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2420635$21271FC5-D4DF-48AD-ABBE-743914CB5530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d9aa2138f8ae259ea8b34960b795f8e2238b31a","datavalue":{"value":"Weierstrass preparation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2420635$F3DE47B5-F4E3-4506-8DB5-B352BB021A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5674049a21699c95339876a18dcbec49efa34a47","datavalue":{"value":"standard basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2420635$ED4598BF-60E7-41A8-9F1C-F085BAAFBE61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c012978d5152130946baeae6228b36ff7cc9db52","datavalue":{"value":"\\(d\\)-algebraic power series","type":"string"},"datatype":"string"},"type":"statement","id":"Q2420635$87D689DE-6C04-4203-9A79-65C85CB2F7DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05cc4cdc974394a70fac1b32aa7d8ead1a27e979","datavalue":{"value":"tribe","type":"string"},"datatype":"string"},"type":"statement","id":"Q2420635$A17BFBA6-090C-466C-B50B-276DB4E2CBCE","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":"Q2420635$58C96B38-9046-4F9D-94BB-FA8E5A1E11ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"098f2c34cb5ea6142791406375e65dbede8b2f56","datavalue":{"value":"https://doi.org/10.1007/s10208-018-9391-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2420635$BDBCE785-3BD2-4D9E-BBAC-5A0F2DD89540","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3ecce6fc59f6be0e3c4840d06210b3b23a8e95c9","datavalue":{"value":"W2825602309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2420635$4895BB2B-A226-4D15-8CDE-C17812A4F007","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba7b55c2218d7d966262213580674c4ac69a36b0","datavalue":{"value":{"entity-type":"item","numeric-id":1656381,"id":"Q1656381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2420635$8D27EE67-180F-463F-917B-552886FCFBCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42264013285fce85f1c27486e34f3d1f1b5ee962","datavalue":{"value":{"entity-type":"item","numeric-id":1184020,"id":"Q1184020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2420635$27F8EB12-728D-4DF1-A53A-3B13395F4D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5740642d5e8fa8e72acf95d8d72f189c8b53ad0","datavalue":{"value":{"entity-type":"item","numeric-id":2963577,"id":"Q2963577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2420635$9EF54924-3E06-4D79-B9D9-3865767A7ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6cabc1e92b122cd8a54b27aae806fe27ccb5241","datavalue":{"value":{"entity-type":"item","numeric-id":4170245,"id":"Q4170245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2420635$D464F326-984F-41A0-AB35-1621B0675723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b9bd00a0b0ee8ab9bafaf780d6cac929bc51925","datavalue":{"value":{"entity-type":"item","numeric-id":1135890,"id":"Q1135890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2420635$69E2E37F-39FE-46F6-B2AE-86D332DC94BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a74385ddd541daf25f2e6981ea1282ee1a89a12","datavalue":{"value":{"entity-type":"item","numeric-id":1053752,"id":"Q1053752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2420635$A0107EE2-08E8-4EEE-8F77-AD00B3722FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9124c1484c79cd6b525286b05a2aa15abd97ec92","datavalue":{"value":{"entity-type":"item","numeric-id":4732470,"id":"Q4732470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2420635$6059D78E-D52A-4EEA-94FE-E1BBC553329D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d4ec00568059c992547aca847e2d2ed6703f0c9","datavalue":{"value":{"entity-type":"item","numeric-id":3475258,"id":"Q3475258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2420635$48E53035-F2D8-497E-86AF-AD2649F76D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59aa42ac56aa45dec0439c53d55143b19a866924","datavalue":{"value":{"entity-type":"item","numeric-id":2626871,"id":"Q2626871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2420635$423318FE-6933-4BCD-B33B-AB33B43F19FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2caec69cb9abc4c5ecf7dd028d6026e6430286ac","datavalue":{"value":{"entity-type":"item","numeric-id":3960939,"id":"Q3960939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2420635$3D14F69A-33D3-44F9-AACF-4365C6F42374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e11d9cab6203392ddde23a000b9e1cd931fba70","datavalue":{"value":{"entity-type":"item","numeric-id":1866999,"id":"Q1866999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2420635$CB2F586E-AD2B-497A-B085-60C9FE9DAB82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e2dca7bcad1fe8cf6440607a70add9e0d69f009","datavalue":{"value":{"entity-type":"item","numeric-id":2431731,"id":"Q2431731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2420635$1749CAD2-40F0-4447-90A2-7CB8E591089F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab15e8f7eb86d99c94496ee01cf83907be317467","datavalue":{"value":{"entity-type":"item","numeric-id":2002150,"id":"Q2002150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2420635$4AE8F43F-965B-4848-8446-787A55394FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6028c29cd026ef276b3dbe8cec74ef2216e8b695","datavalue":{"value":{"entity-type":"item","numeric-id":669617,"id":"Q669617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2420635$DA089E3D-7178-487F-BBB3-6A9CC7BA806F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b39e4578c7484bdb81de3234837b3ae698fb5a09","datavalue":{"value":{"entity-type":"item","numeric-id":3325833,"id":"Q3325833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2420635$CDDED226-CF55-4E0C-B0DB-34079D8EE598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43118d68ea3672ae3a4c154ccd8898e867ed4748","datavalue":{"value":{"entity-type":"item","numeric-id":4397030,"id":"Q4397030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2420635$7B0B19AA-15EC-44A6-95D2-B7C7104C3C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"283565bdc56e0a8b9f88fa6fc0293845eda872b3","datavalue":{"value":{"entity-type":"item","numeric-id":3685189,"id":"Q3685189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2420635$30178229-285E-44B3-B014-C18DA700F562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"343f0b15bec560f521728084130c9740575f7f8d","datavalue":{"value":{"entity-type":"item","numeric-id":5795628,"id":"Q5795628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2420635$FD487E47-E683-4173-8A0B-05F2FDF33323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0b977f832690922264f7585300ff704bfc1cff","datavalue":{"value":{"entity-type":"item","numeric-id":468363,"id":"Q468363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2420635$F90A43E7-79FB-4138-BA4A-75AD37D5F78B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4fe699d2ebd74ba1eac0585157f14aa07199356","datavalue":{"value":"10.1007/S10208-018-9391-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2420635$69815E72-5DB9-4161-82DE-0F1E6B69AE36","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b30defbba80c6965e880616be3ff1f7fc027058","datavalue":{"value":{"entity-type":"item","numeric-id":1184020,"id":"Q1184020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2102837ccf2fff9e180dfca2523b66b6d4390c31","datavalue":{"value":{"amount":"+0.8223281502723694","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":"Q2420635$790D0FBF-5EFE-4F1A-98A4-BE2AFB398E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b097efe1cc0a04169a35dd1eed2d20882951d11","datavalue":{"value":{"entity-type":"item","numeric-id":1707509,"id":"Q1707509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13578ea4f791b39d215d835f02693b7bd8029340","datavalue":{"value":{"amount":"+0.8223278522491455","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":"Q2420635$7470FB40-0207-42F6-AD18-F110A828D9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a4ab800f2d12dd07d6e7edb8e196185784a25a0","datavalue":{"value":{"entity-type":"item","numeric-id":921065,"id":"Q921065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27b35d369ad0e47010c74073b9834adc60e2d995","datavalue":{"value":{"amount":"+0.75248783826828","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":"Q2420635$8AC8C59D-B00B-4452-9B54-BC08A4BAC665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f9b082c0c60d012a49b9152dda9c01af675ab26","datavalue":{"value":{"entity-type":"item","numeric-id":1656381,"id":"Q1656381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"809cbdbc63d9d6a09ea903d2257dcd0da70d6d89","datavalue":{"value":{"amount":"+0.7460078001022339","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":"Q2420635$69F0B0E3-06E0-4DAA-B374-960EB39A2EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ed2948f6e09aea1e22d4f7d45da4753f7345f29","datavalue":{"value":{"entity-type":"item","numeric-id":3070806,"id":"Q3070806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ba2f926c7fe3656b7c184bd97ea2bccd5c220ad","datavalue":{"value":{"amount":"+0.7347256541252136","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":"Q2420635$77B2E41B-6409-4903-8933-3EF05D7D7E5D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Effective power series computations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Effective_power_series_computations"}}}}}