{"entities":{"Q1878491":{"pageid":1889233,"ns":120,"title":"Item:Q1878491","lastrevid":71038377,"modified":"2026-04-13T19:04:48Z","type":"item","id":"Q1878491","labels":{"en":{"language":"en","value":"High-order lifting and integrality certification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2093532"}},"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":"Q1878491$6E67E6A0-4406-4E3A-A8C2-11AFCD872326","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6c0341425b68398cc0d28a45cc1adbd226b31b2","datavalue":{"value":{"text":"High-order lifting and integrality certification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1878491$4D469834-E8C3-4BBB-BB0F-AF5B5F1899D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de5c997f558674391b8c0ed020335abeee3e3a79","datavalue":{"value":"1059.15020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878491$5EBC69AD-7D55-4313-BEEC-D42C66A820E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35de8f97ed05312ada9e45934d7bb9d4548ab295","datavalue":{"value":"10.1016/S0747-7171(03)00097-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878491$9F219BF5-D151-422A-BCEC-5056F7EA3476","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"102e902a13408b9bdc8c485f3ac9bf42b3cfa780","datavalue":{"value":{"entity-type":"item","numeric-id":412207,"id":"Q412207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878491$5D0DD59E-36E5-4C8C-9753-C4B459244D2F","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":"Q1878491$016563D2-B85B-48DC-9CEB-775A2A50CAEC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"48465696c7e5ca4e02ae5018525862c7eda8df7e","datavalue":{"value":{"time":"+2004-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1878491$6695DB25-7B2C-47E5-8283-5E24C0FFDE7B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d2c3e952e2055226069169bb01dd97c0ca41061b","datavalue":{"value":"The author studies some classical problems that involve a nonsingular matrix \\(A\\in K[x]^{n\\times n}\\) over the ring \\(K[x]\\) of univariate polynomials with coefficients from a field \\(K\\) and proves that they can be solved at approximately the same cost as that for matrix multiplication. The most fundamental of these is linear system solving, i.e. to compute the solution to \\(Ax=b\\) where \\(b\\in K[x]^{n\\times n}\\).   The second is integrality certification, i.e. to answer the following question: If \\(B\\in K[x]^{n\\times m}\\) is given, can every column of \\(B\\) be expressed as a \\(K[x]\\)-linear combination of the columns of \\(A\\)?   The third problem is determinant computation. For this the author proposes a Las Vegas probabilistic algorithm whose expected number of operations is an order of magnitude smaller than the best known deterministic method. In the same time the Smith form of the matrix is computed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1878491$74268028-92D5-47B4-88AE-4461E859D10F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bbe2dde55566c57c31463992aac9b72d0f8c104e","datavalue":{"value":"15B33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878491$94DA4BA7-5C29-4D47-A77D-49694729F0C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878491$CF109F6A-FD1C-441D-B94D-ADCA8DD48179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72309745094959b676ca20810c7af21a33fe24b5","datavalue":{"value":"65F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878491$DC59F373-C91E-415B-9C41-D53886F880DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86467c42076cd02d03efdb91299b004ea1185418","datavalue":{"value":"15A21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878491$8286197E-921A-4D22-9477-FCC2B33FE12C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a45ae13c9fa089fa230a226367a6e2fc5f1bdfee","datavalue":{"value":"15A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878491$AF98B276-8FE4-491F-98C2-40A8DC46655A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f35883713e23ca3f0ced48b60a92f4891f4d526","datavalue":{"value":"15A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878491$8AA0E90C-B393-4BDB-BFC9-0434EDAC25D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45db0b398cab33c67f197c4e999898e0f3899110","datavalue":{"value":"2093532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878491$FFE3BD91-3593-42A2-96EF-9E83036D0278","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"574f1053a5d0cb138eeb1d178cfc4915c70a8532","datavalue":{"value":"determinant","type":"string"},"datatype":"string"},"type":"statement","id":"Q1878491$3F3A702D-8B2E-49E4-8B86-A744C34B3F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"871a6319f2298e9b129b82d20c65759d27289c65","datavalue":{"value":"Smith canonical form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1878491$34022160-FF3B-45AE-A6EF-072B33935139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53626d25964b55292ac367a150678c16fc7a7025","datavalue":{"value":"linear system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1878491$315C7972-2427-4740-9E61-768C8B3ED53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89708e03adfb7f6610af2bb8d51621e0550ccad0","datavalue":{"value":"polynomial matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q1878491$DF6DCF24-42B0-4163-9A5A-8C2075CEA341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee855bd812c1d32aee6df1e59ca5ee27ff2dfe4c","datavalue":{"value":"integrality certification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1878491$C83F6983-10F8-49E6-B45C-81CE9BBB4FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fee8a58d43a11afee48e687af18b09d08ea36ede","datavalue":{"value":"Las Vegas probabilistic algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1878491$CFCE1847-BDF2-45F2-B36E-373F6CB76A18","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"20696a4da0209f75227e245b1e09c37ed34021fe","datavalue":{"value":{"entity-type":"item","numeric-id":587229,"id":"Q587229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878491$31F63891-2F92-4818-A288-0A24EF72C7EE","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":"Q1878491$394CDC1A-48DF-4FC6-93DF-F42F2083A270","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"535f25fb4f1cc2182270f8f54613b8ba1f090b98","datavalue":{"value":{"entity-type":"item","numeric-id":1168041,"id":"Q1168041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878491$4B6523C2-45BB-46E2-87F6-C1CFF6E01F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c5202398a3a180021f59b850644cd4f8de7501d","datavalue":{"value":{"entity-type":"item","numeric-id":4660659,"id":"Q4660659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878491$4711CC77-3C01-407D-BAC3-AAACACC1BC0C","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":"Q1878491$8C5E9935-3CD7-4E5D-B3A6-851F105561E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3165438c92aed158e9ee66d8a5de489a8ab851f8","datavalue":{"value":{"entity-type":"item","numeric-id":1151859,"id":"Q1151859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878491$E8C820A9-83A2-4B44-8E32-AA6CF8FBC7DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed54a63b9bb45697de6fabdc312b94b2d947d8f5","datavalue":{"value":{"entity-type":"item","numeric-id":803724,"id":"Q803724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878491$C23438A6-0A76-470D-9E76-EC70D8C2C846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8c22909e353817b34ec34c6e3c2e854c183aa0e","datavalue":{"value":{"entity-type":"item","numeric-id":3875204,"id":"Q3875204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878491$E73BF2A7-7890-461A-895A-200E9F44F4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef7e5debada4d00c2c84474898edd1ab252cc419","datavalue":{"value":{"entity-type":"item","numeric-id":2643521,"id":"Q2643521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878491$044650F3-90EC-4BD4-A087-58889C5AD77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83ccc274ba7cc726f78883647a774285073e1a9d","datavalue":{"value":{"entity-type":"item","numeric-id":3454771,"id":"Q3454771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878491$ECBC7611-4C0F-4A8C-8557-9428E417E703","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":"Q1878491$3E0DEEE4-7959-493C-8A4D-BD63A101936D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbb248515103736ab3ddd5613b186a704911c860","datavalue":{"value":{"entity-type":"item","numeric-id":5906578,"id":"Q5906578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878491$359EABC7-DDEF-434D-A29A-17AFACBF66C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b02bb49692fa5ffaf11bbcc6c0fbe021cd00d9be","datavalue":{"value":{"entity-type":"item","numeric-id":4227283,"id":"Q4227283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878491$4F64FB03-E6F1-40EB-8665-BCF9E1BCBE2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"522e89673cb3122fd0bec879f19808cb3513e83f","datavalue":{"value":{"entity-type":"item","numeric-id":4047029,"id":"Q4047029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878491$FCEBA3A2-E670-4A3B-9B1C-FD13D4978AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2213cdabe714b5c019467e1236731cbfc8212a28","datavalue":{"value":{"entity-type":"item","numeric-id":4227350,"id":"Q4227350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878491$9483A9B1-7C9D-4042-9111-229D609A3C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca0db1e41f1ba5320b64a87340e0bdcecdbd1fe3","datavalue":{"value":{"entity-type":"item","numeric-id":4248250,"id":"Q4248250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878491$63A9AB13-B0C1-47DD-AB5E-B234B477EB4C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24b97d10541fda56153aa49ae937c0f9c4409d35","datavalue":{"value":{"entity-type":"item","numeric-id":4660712,"id":"Q4660712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f1487cd0727ba2b2f4c3a35ea17654de3d0d019","datavalue":{"value":{"amount":"+0.8424301743507385","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":"Q1878491$6E2C2F35-EDE5-4DBE-92C2-BACF020F91FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88868e10ce93db94bd5b36fbd542070e2db0458d","datavalue":{"value":{"entity-type":"item","numeric-id":5244546,"id":"Q5244546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bb36be3d5848544e00a897a1d9ca3cd207f04a6","datavalue":{"value":{"amount":"+0.7967174053192139","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":"Q1878491$8EF9580C-32A6-40AA-B551-D540EEA463BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48a292d466c1f79204662e16714145bbdd537e01","datavalue":{"value":{"entity-type":"item","numeric-id":412209,"id":"Q412209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5846737d2c00a453189fe34dc979226487eaefbb","datavalue":{"value":{"amount":"+0.7688136696815491","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":"Q1878491$51517FB9-2905-46ED-A895-32CEEDDB92B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0192183e7605448993d9e0e1a6bd3af329148575","datavalue":{"value":{"entity-type":"item","numeric-id":2387425,"id":"Q2387425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38b8ef0085235c77aba1d57fb0aade4b8baefc9b","datavalue":{"value":{"amount":"+0.7631495594978333","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":"Q1878491$F2ABF943-86F4-4E98-9FB0-9B7163E315A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e61eaa00ddbb5286596d92bc8138dd4602927ac","datavalue":{"value":{"entity-type":"item","numeric-id":2963251,"id":"Q2963251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a688a5d74f2476927432c088c562d50dd0298e8e","datavalue":{"value":{"amount":"+0.7627378106117249","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":"Q1878491$BFC5102B-06FE-4E62-8A0A-92D585756B52","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"High-order lifting and integrality certification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/High-order_lifting_and_integrality_certification"}}}}}