{"entities":{"Q504418":{"pageid":506185,"ns":120,"title":"Item:Q504418","lastrevid":52723226,"modified":"2026-01-23T08:58:03Z","type":"item","id":"Q504418","labels":{"en":{"language":"en","value":"A modular algorithm to compute the generalized Hermite normal form for \\(\\mathbb{Z}[x]\\)-lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6675078"}},"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":"Q504418$B516F500-9708-483E-A19E-83197F42329E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7fad362921ed658c24e8a26ef349e2a29cacb5c6","datavalue":{"value":{"text":"A modular algorithm to compute the generalized Hermite normal form for \\(\\mathbb{Z}[x]\\)-lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q504418$9E641989-059D-4812-88D9-01BE61D9EEFA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d59f11cbaaf1d5c8154d697d14db11fc3d243fb1","datavalue":{"value":"1357.13028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q504418$31A78140-9BF3-46F1-9E1F-ADD2D950A3FE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7551f7c3a736912af087db1494ef6e76ecb86d8","datavalue":{"value":{"entity-type":"item","numeric-id":504417,"id":"Q504417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504418$89568372-AE10-40A8-A7DE-FC32CFECE094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3ac221b69c2624d4e18994d83b101126e27479c","datavalue":{"value":{"entity-type":"item","numeric-id":480653,"id":"Q480653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504418$E0F1E2FB-DECE-46CE-8898-C694F5A27A8C","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":"Q504418$FA0B18E5-D1D4-436A-B447-BB9254830394","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2eb662ea7cb47cef32ba8c44ae1bbc7101d3603f","datavalue":{"value":{"time":"+2017-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q504418$A7CE97BD-FD48-48D8-B533-A9FF4BE73F5F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b5c4c6aea0375e274953338b5a56a368a9072175","datavalue":{"value":"The Hermite normal form is a standard representation for matrices over principal ideal domains. \\textit{X. S. Gao} et al. in [``Binomial difference ideal and toric difference variety'', Preprint, \\url{arXiv:1404.7580}] generalized this concept for matrices over \\(\\mathbb{Z}[x]\\). Furthermore, they proved that a matrix \\([\\mathbf{f_1},\\dots ,\\mathbf{f_m}]\\in \\mathbb{Z}[x]^{m \\times n}\\) is a generalized Hermite normal form if and only if the set of its column vectors \\(F=\\{\\mathbf{f_1},\\dots ,\\mathbf{f_m}\\}\\) forms a reduced Gr\u00f6bner basis of the \\(\\mathbb{Z}[x]\\)-module generated by \\(F\\) for a certain monomial ordering.  In the paper under review, the authors present a modular algorithm to compute the generalized Hermite normal form of matrices over \\(\\mathbb{Z}[x]\\). For this purpose, they study the structure of Gr\u00f6bner bases in \\(\\mathbb{Z}[x]\\). It was shown that the proposed algorithm is efficient for the inputs containing low degree polynomials.","type":"string"},"datatype":"string"},"type":"statement","id":"Q504418$C0F5A080-4F37-4248-8541-4B49E2DBCF70","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":"Q504418$4C9AC041-460B-4392-8867-7BE42D30776A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q504418$65D70540-6831-47A5-94E4-67949C4116E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q504418$D14E6064-6922-49E6-A45A-C0209E075F8B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2767b9ea8b6c4dce1944c23a5eb33776bd6706a1","datavalue":{"value":"6675078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q504418$92414EA2-DC13-4F4F-9F8A-874783A2AB68","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65edf3c308fc16694bab01c6f400f9b6b7287cdc","datavalue":{"value":"generalized Hermite normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q504418$B88204AC-0956-448A-A927-D35C666DD5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d72a8a69befbe442251f750dd958e3ad7ace0b9","datavalue":{"value":"reduced Gr\u00f6bner bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q504418$A284FBF6-710D-4476-A289-022CEE18AE49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c57e71d8cf4ace88267cafed4388c59c6461a88","datavalue":{"value":"modular algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q504418$A2CAE7A1-0442-469D-85AC-920CE8940D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72f0ab9fdec218b2b7e057e49885caf41596fbd8","datavalue":{"value":"Hensel lifting","type":"string"},"datatype":"string"},"type":"statement","id":"Q504418$997AB44B-B37F-49DA-9297-BFEAC05BB62B","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":"Q504418$C0B0AE88-2CB4-44AB-9107-072C7F240BA4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"db714f2b9b3275691741faabf6f4c949a2719bb6","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2016.12.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q504418$634B1A04-1C1D-4AF3-A611-0E26B165F4DA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5874f7cdd090dc464ae337ecef070142d9ecb687","datavalue":{"value":"W2570033243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q504418$A271ED93-09D0-4E1E-BA6F-F3D3A41DE2FB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"59568e31fedd6604c722cd37f238ed6a7fffda74","datavalue":{"value":{"entity-type":"item","numeric-id":1401905,"id":"Q1401905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504418$8E1406CD-A8DE-4FC4-B768-DA9FB4630742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"419d4f4a960a1d46a46eeff2df391c4e6d9640cf","datavalue":{"value":{"entity-type":"item","numeric-id":2457359,"id":"Q2457359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504418$C9CF46DF-CCD1-410C-AD4D-CB15A94697AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59e945538ca4c2d50306c603b45f0b3913e7dbe0","datavalue":{"value":{"entity-type":"item","numeric-id":1094135,"id":"Q1094135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504418$366E676B-9775-42C3-980F-3896EE3ECA9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"256ba42ec934067ca6b3b59f0277c4be621b1d39","datavalue":{"value":{"entity-type":"item","numeric-id":4672512,"id":"Q4672512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504418$B0401DB5-E679-482B-ADA6-F16BFE8D4800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"446374df6c50565e89a26cde61b70240f20045f9","datavalue":{"value":{"entity-type":"item","numeric-id":3026176,"id":"Q3026176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504418$BC8DC0CE-231D-4078-A1D0-E3594C32FA03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727079b56cd73b62009131634b9e239952aac993","datavalue":{"value":{"entity-type":"item","numeric-id":3802506,"id":"Q3802506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504418$614681E6-F87E-41F2-AC42-C02BE03A7095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f73ce955711ad357898f8c67700a184cbc7de1b6","datavalue":{"value":{"entity-type":"item","numeric-id":1111629,"id":"Q1111629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504418$39089704-BFD4-462F-BD06-BF4980137170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dcafb238e6ba98f691c336bb9a0d0dc6d0f213d","datavalue":{"value":{"entity-type":"item","numeric-id":3891677,"id":"Q3891677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504418$AA134C22-3889-42B3-B165-CA08C594A884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d6a42e9c0843d8d55d1be1e1c1ccedd9d136e32","datavalue":{"value":{"entity-type":"item","numeric-id":1821556,"id":"Q1821556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504418$C0C74D27-8EC2-4F37-BB37-A35F7DE39B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53714a4528eb05c2af9065b3895242d440c82062","datavalue":{"value":{"entity-type":"item","numeric-id":4062638,"id":"Q4062638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504418$D8AEB6FB-0C25-4951-9669-2AD95028C380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3fabd6b2f2ba2a6bd9b1885012761b9922b463e","datavalue":{"value":{"entity-type":"item","numeric-id":1401903,"id":"Q1401903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504418$8796B6E0-93B7-43A3-AF55-ABE4A7E72D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99f8804c468bdbb5e2217d191593253bde681e52","datavalue":{"value":{"entity-type":"item","numeric-id":4227351,"id":"Q4227351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504418$28185FE1-89A3-44F3-8209-BCDF079545B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a828f4532efc10daab89ba0c41367dd4905bc7f","datavalue":{"value":{"entity-type":"item","numeric-id":1118653,"id":"Q1118653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504418$9384C0D2-0692-491B-90C0-2945FEF3105B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1320645852fb1297024491ee0482d8469c26c5c3","datavalue":{"value":"10.1016/J.JSC.2016.12.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q504418$EC34CAE8-985E-4181-A193-2B165C0AD5A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b86ff9e164ec8877beb1d68ee9d399fc61fa1e1a","datavalue":{"value":{"entity-type":"item","numeric-id":1725693,"id":"Q1725693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1200f64ba7fdbfada3fd190da908015679c81a65","datavalue":{"value":{"amount":"+0.9054067134857178","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":"Q504418$D4A8BD4F-D6E6-4594-B449-4FA03473EDF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f79bbc2b042faf81b053e2cd7d24883998daf8c6","datavalue":{"value":{"entity-type":"item","numeric-id":1675543,"id":"Q1675543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3250266bf80686c8f8910c7fe4b58e4660b6ad93","datavalue":{"value":{"amount":"+0.771306037902832","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":"Q504418$C61EFF28-3EA3-4955-AF16-CBA46744791F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01df8bd29c3a29df27302c989241acf7ec40b887","datavalue":{"value":{"entity-type":"item","numeric-id":5244519,"id":"Q5244519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c158afc1ae6ed471048b465b761eede409ce296","datavalue":{"value":{"amount":"+0.7697716355323792","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":"Q504418$C07587E1-9FAB-49DA-B843-D0FF9C4E8B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5dcd054eaca01b3255ed6c3b3091a8127fee8f5","datavalue":{"value":{"entity-type":"item","numeric-id":3026176,"id":"Q3026176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dc66488d0a51c31370e7c474e8f6935c2a57861","datavalue":{"value":{"amount":"+0.7677584290504456","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":"Q504418$F9245C8B-B5D6-4067-9F88-AB454A12AC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4efdc747e6aa408fe9066e6e25e777c5c186df2b","datavalue":{"value":{"entity-type":"item","numeric-id":4227351,"id":"Q4227351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c217251113e68e8b5ea768ae5b5a0a793b191f7b","datavalue":{"value":{"amount":"+0.7673469185829163","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":"Q504418$D82C987D-F5B3-4B03-ADAB-58CEB5BFD0B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:504418","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:504418"}}}}}