{"entities":{"Q2487958":{"pageid":2498701,"ns":120,"title":"Item:Q2487958","lastrevid":48528352,"modified":"2026-01-05T03:05:37Z","type":"item","id":"Q2487958","labels":{"en":{"language":"en","value":"Reduction of Smith normal form transformation matrices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2194452"}},"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":"Q2487958$070F6026-DF2C-4B2F-82C5-7098187234ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf36b649a830a6d03c00b9de978ebe07e14747ae","datavalue":{"value":{"text":"Reduction of Smith normal form transformation matrices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2487958$EBBF6906-6D3C-4916-B481-C158FF917946","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f85b986e9af7110d174428f535540f2fe1ab69f","datavalue":{"value":"1078.65034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487958$02D3E849-4224-4FB0-8975-E01677E256AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb52ee23a994a17838abfc901f5a11bd5ee7dae7","datavalue":{"value":{"entity-type":"item","numeric-id":813331,"id":"Q813331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2487958$E87BFEBE-E033-4282-A37E-176AD40E9A1B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b79ece58f33b59758a066cb6b9ee149bab3a2c9a","datavalue":{"value":{"entity-type":"item","numeric-id":167642,"id":"Q167642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2487958$3121629C-2911-4A94-BE5A-6ECA69DD7A24","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f7da25f0352325b237ec8b5ac3a231082f46afe","datavalue":{"value":{"time":"+2005-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2487958$469DD195-3141-4BE6-9801-6C0B07AE5399","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0d4114dcf7e91b3933c10fc2079e2cd3eb14657b","datavalue":{"value":"A matrix \\(A\\in \\mathbb{Z}^{m\\times n}\\) can be reduced to Smith normal form \\(C\\) by unimodular matrices \\(U\\in GL_m(\\mathbb{Z})\\) and \\(V\\in GL_n(\\mathbb{Z})\\) such that \\(A=UCV\\). If \\(A\\) has rank \\(r\\), then \\(C\\) is zero except for the first \\(r\\) diagonal elements which satisfy: \\(C_{ii}\\) divides \\(C_{i+1,i+1}\\), \\(i=1,\\dots,r-1\\). The \\(U\\) and \\(V\\) are not unique. For the application to the solution of linear Diophantine equations it is essential that the entries of \\(U\\) and \\(V\\) are as small as possible.  In this paper, the sets of reduction matrices \\(U\\) and \\(V\\) are characterized, and an algorithm is given to reduce the size of a given pair of reduction matrices. The algorithm is based on optimization techniques studied by \\textit{C. P. Schnorr, M. Euchner} [Math. Program. 66, No. 2(A), 181--199 (1994; Zbl 0829.90099)] and \\textit{A. K. Lenstra, H. W. Lenstra} jun. and \\textit{L\u00e1szl\u00f3 Lov\u00e1sz} [Math. Ann. 261, 515--534 (1982; Zbl 0488.12001)]. Numerical results for a wide class of test matrices illustrate the performance of the algorithm.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2487958$1202B763-6772-4DEA-991E-B8DB0559DA34","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fc8a96e7da0a25d97c6c3415d8dffbc5c07a46e1","datavalue":{"value":{"entity-type":"item","numeric-id":283199,"id":"Q283199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2487958$BAD231F9-AF2C-4396-90CB-2FE2797C64A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"72309745094959b676ca20810c7af21a33fe24b5","datavalue":{"value":"65F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487958$399A9E64-AA12-4BF4-8776-9AF24B58F961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9885aef811aa349f50c28b046ac04fbe99524c67","datavalue":{"value":"65F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487958$020B9A95-A4A8-4C0F-AFCF-6AD464F2EC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a06299a38dab9dd1c28e96fe2a7f8cac0943d746","datavalue":{"value":"15B36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487958$2207DC94-A0D5-45FE-B4B8-AF3A818B0EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f31233b552eca4a4ba62dfc962e070217fef4dcf","datavalue":{"value":"11D04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487958$0B004B29-FCBF-424D-B9FD-0B1CE4ADFCBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86467c42076cd02d03efdb91299b004ea1185418","datavalue":{"value":"15A21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487958$65EA4788-28D9-480D-B077-CA7C1F30B0E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9df78af805e8c0cfae58ba14471b14f248015ac","datavalue":{"value":"2194452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487958$4A17D6C5-D3D7-4DD4-B53B-27F061E7CBCD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac114b5d8a78098b8aa8fc44237f76764506d509","datavalue":{"value":"Smith normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q2487958$14993D69-C689-44E3-9355-AEF5C69700CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44380bae85286348c66a5482df99cb5e319c713c","datavalue":{"value":"lattice basis reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2487958$C2E7A4D8-30A2-474A-902A-A8AF404C0C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a80b54d7a85aa43c12251fdb8e949ba9c84fa06","datavalue":{"value":"linear Diophantine equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2487958$5B446887-D097-4B3A-99C9-B436EDBB56D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b702e407c7cddef987275e4a5662dc8f14f4330","datavalue":{"value":"matrices of integers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2487958$25803139-1088-4D69-8AB0-B1019BCE28FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe91e90a9c858692a565533c1610d0111f7e63f4","datavalue":{"value":"reduction matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2487958$BFEA8A88-6981-4F2F-B320-70C7D9C5B8ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2487958$9EDF7646-9CB8-40A9-9B91-D755B1F9BA89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81ceace97041705fcfad5e5a03a3f8c6452a3269","datavalue":{"value":"numerical results","type":"string"},"datatype":"string"},"type":"statement","id":"Q2487958$94DD5254-B142-4637-BCB5-3BA4B80121E4","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":"Q2487958$E7878E57-9726-4EC5-B02E-413440DD46DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"220bf9e2d3e35270774feaf3cf38a50051bb424d","datavalue":{"value":"https://doi.org/10.1007/s00607-004-0104-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2487958$CD12131B-BEF7-46EB-8170-77B91E6B285A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"26018246803cf9ab679db5cdf9a2796aad5d825b","datavalue":{"value":"W2161824655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487958$24922D3F-A8EE-465A-A82D-A0CD05C9DBDD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f8e64ab25b27f6aec86a253bac0f7feadae4f85","datavalue":{"value":{"entity-type":"item","numeric-id":3751649,"id":"Q3751649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2487958$6D83BDD7-1650-4ECC-BE0F-5E1451AF6C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c75b51aa5e8dc5e57bcdfd5193e04d5020b5607","datavalue":{"value":{"entity-type":"item","numeric-id":3985809,"id":"Q3985809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2487958$3208DF6F-1F79-4491-8F93-BA2F8AEED5D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e47cae9e505de0b222437b9594d797a866a40ae","datavalue":{"value":{"entity-type":"item","numeric-id":1311319,"id":"Q1311319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2487958$CEBBC3C8-B00E-4C18-ACDB-EA4BB6192CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e57c3155c9c148ddb509dc79fa7d7c86492af208","datavalue":{"value":{"entity-type":"item","numeric-id":1369799,"id":"Q1369799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2487958$B01912DE-75B0-460B-AF0C-285A1F677C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43cf9d5caa2176d8dfeeda391f600a829f71722a","datavalue":{"value":{"entity-type":"item","numeric-id":4228028,"id":"Q4228028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2487958$1A5C003C-161E-444A-A52C-E303ABDEE349","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":"Q2487958$0B1108FB-4056-44A8-A534-4FFD4A5EF8EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ba8394390a6d59952f33324c5c063f119bd5d68","datavalue":{"value":{"entity-type":"item","numeric-id":757465,"id":"Q757465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2487958$6D95609F-8A17-4E4C-A084-B02241889A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93fcf90e4f1affa442683e90c304a84d14939f6c","datavalue":{"value":{"entity-type":"item","numeric-id":4654191,"id":"Q4654191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2487958$1EE0613B-B59C-40A2-88BA-B02CC1F19B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2496d76f7d7fec9d96f39f6e3a59ed93c78d8e95","datavalue":{"value":{"entity-type":"item","numeric-id":1165896,"id":"Q1165896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2487958$8191EEB9-7A90-4066-9CD8-D6FE7943DF72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcc5ea5c3fefbaab580cbdd2303c7662a41019bd","datavalue":{"value":{"entity-type":"item","numeric-id":1340057,"id":"Q1340057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2487958$898D7718-E78C-40D2-900C-2AA26344ADBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac113a0b574f6c299f5ff6d1455571a6350b03d7","datavalue":{"value":{"entity-type":"item","numeric-id":4285784,"id":"Q4285784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2487958$E7DE5B07-071F-4829-9074-E43C14FFF33E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe6ff458f74a19008990611722bcb48aa662633e","datavalue":{"value":"10.1007/S00607-004-0104-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487958$63BBDD04-966F-4D06-8A8A-6EA8A5C83806","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"263fcfb3bce851ef9972b681f8d71526c8d4f03e","datavalue":{"value":{"entity-type":"item","numeric-id":4376923,"id":"Q4376923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f83b04dfca044e44ded18396d7377c0393b004e8","datavalue":{"value":{"amount":"+0.8440099954605103","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":"Q2487958$8D07A4E8-AE6A-4E89-9939-976705208790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95735854392e66ae5389902f058d2e30b430ab7c","datavalue":{"value":{"entity-type":"item","numeric-id":3313194,"id":"Q3313194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f83b04dfca044e44ded18396d7377c0393b004e8","datavalue":{"value":{"amount":"+0.8440099954605103","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":"Q2487958$BD49825B-50D5-4303-802A-A735B3E5F482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39bfed353755aa193af0edc8f0e3a334feb6dabe","datavalue":{"value":{"entity-type":"item","numeric-id":4227352,"id":"Q4227352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cc331908cd82b8eed3161033a12f2b9c6d6267d","datavalue":{"value":{"amount":"+0.8334983587265015","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":"Q2487958$C90D13EA-7514-482F-9652-6776473A6FC3","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":"a3ec22d1e41ef7839308e2d6ddbe86c4cfad49df","datavalue":{"value":{"amount":"+0.8304145336151123","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":"Q2487958$B10FB161-32AE-4D0B-8281-8592F84EE762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f5763b535e57e45262d9a97a5a97f2f576746a3","datavalue":{"value":{"entity-type":"item","numeric-id":4489154,"id":"Q4489154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edd02322331e875fdf5490b014eed921e4a90c6b","datavalue":{"value":{"amount":"+0.8234601616859436","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":"Q2487958$38EDDD48-5E69-455B-BAAB-DB940BDB1311","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2487958","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2487958"}}}}}