{"entities":{"Q1099223":{"pageid":1109975,"ns":120,"title":"Item:Q1099223","lastrevid":69637695,"modified":"2026-04-13T08:22:15Z","type":"item","id":"Q1099223","labels":{"en":{"language":"en","value":"A simple proof of the validity of the reduced prs algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4040048"}},"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":"Q1099223$A8CA2425-6D53-47CA-9A07-BE29EBD0489B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11753d2ce427d21c827d307922e13feda3567b2a","datavalue":{"value":{"text":"A simple proof of the validity of the reduced prs algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1099223$A364B034-C70C-44C1-A742-EC057B88DD9F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8df3d0df570cba00127ba856bfd71f261189928","datavalue":{"value":"0638.13009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099223$C45FE145-45B7-49A3-B9E7-0290B9E57FA7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19bb83a5e738baeb91fb559e9b543f907f78ad42","datavalue":{"value":"10.1007/BF02278715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099223$060E3C02-3B4D-4B7D-962C-702057E24427","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"83acb26c132edffe3503227fdedd09777c685939","datavalue":{"value":{"entity-type":"item","numeric-id":1060191,"id":"Q1060191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099223$E8DC7EF3-29CC-4310-9FDD-79144FA5C491","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":"Q1099223$448AC8A4-DCF8-423E-A0FB-57212A1F1C0A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1099223$69B4AC97-50CF-4754-8D37-0DDCBE9B868D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d17d3fa19a9769f75810e61033317f47ce722b74","datavalue":{"value":"The author restricts the discussion to univariate polynomials with integer coefficients and to computations in \\({\\mathbb{Z}}[x]\\) as a unique factorization domain. \\({\\mathbb{Z}}[x]\\) is the set of all univariate polynomials with integer coefficients. The author presents a theorem by \\textit{J. J. Sylvester} from 1853 [Philosophical Transactions 143, 407-548 (1853)] which indicates that the reduced polynomial remainder sequence algorithm (prs), as used only for normal prs's, is at least 133 year old. He modifies Sylvester's proof and obtains the following theorem: Let \\(p_ 1(x),p_ 2(x),p_ 3(x),...,p_ n(x)\\) be a normal polynomial remainder sequence, \\(p_ i(x)\\in {\\mathbb{Z}}[x]\\), for \\(i=1,2,...,n\\). Then: The square of the leading coefficient of \\(p_ i(x)\\) is a divisor of \\(p_{i+2}(x)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099223$92EF6EBE-004E-471F-966D-901CB6F1C848","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6c4b44681f7a1707f0cf17256dc3be888b8d7656","datavalue":{"value":"13B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099223$3B7D3F0C-3ACD-4456-81BB-D3BA152343BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f7c34836818ffbea9a518ee3069a773adc88b483","datavalue":{"value":"65H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099223$573FAE9D-CA8B-4A8D-BA07-8214792848B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28f5bc2da18902bba93f93583cfd4d3d208cffaa","datavalue":{"value":"4040048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099223$D9D04847-6A0B-4344-8DA4-E74E5E18EDDE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"695db256c6d11d12973b5a226476445753349ced","datavalue":{"value":"univariate polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099223$7C4B815A-2157-4D33-999E-873A920EBDCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76b80703ca9ef8a0563c26680bfd5d9b525c422b","datavalue":{"value":"reduced polynomial remainder sequence algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099223$60A5A8F6-0137-42C0-9B29-CC710C965DA1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"056174ac33f30b3332bcb60328ff487229123e9e","datavalue":{"value":{"entity-type":"item","numeric-id":240254,"id":"Q240254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099223$4A650601-C715-4180-A8DA-67E2BFC4CE3B","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":"Q1099223$CC3B3BC9-D5CA-45EE-8773-8664473C2D69","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"58ddf6c15587cc8d775178ac7830ee9b5995c206","datavalue":{"value":{"entity-type":"item","numeric-id":5532045,"id":"Q5532045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099223$08A4E440-E660-4998-88E5-4360D1E92841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa0540fd78fb7a7ac36ecb95287d9deaac0fb1e2","datavalue":{"value":{"entity-type":"item","numeric-id":5585021,"id":"Q5585021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099223$C4F15C02-54CD-480B-8921-5BAE25B40BEE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e824e6f8bde2f348bf84c21ea495f52c53efe417","datavalue":{"value":{"entity-type":"item","numeric-id":3698903,"id":"Q3698903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"158ddf4bfc7aa40a9b3cd7acabdcea198d8a2247","datavalue":{"value":{"amount":"+0.8128552436828613","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":"Q1099223$3C1321BA-6138-495D-867A-EAB941A33FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be1e863c06eb9b1126abda0d976e5780829e568b","datavalue":{"value":{"entity-type":"item","numeric-id":1076728,"id":"Q1076728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebbc086f8472ad59ed0473e8dcbabe45535e2463","datavalue":{"value":{"amount":"+0.8123502135276794","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":"Q1099223$489C6B36-9E9B-4800-819C-5E7C6F79B589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f76f6585e807adbab8662a1735fb961f92b57de","datavalue":{"value":{"entity-type":"item","numeric-id":947487,"id":"Q947487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0edb9ef42aec5308086abcd9839e2405383a92da","datavalue":{"value":{"amount":"+0.7968148589134216","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":"Q1099223$5574E9B7-0345-408C-90B4-02655E5D5999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d7502212242dfcc69d3f46001a015af9853e562","datavalue":{"value":{"entity-type":"item","numeric-id":4508389,"id":"Q4508389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0ade5a462c022b8705ace38d2a56388412011bf","datavalue":{"value":{"amount":"+0.7883826494216919","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":"Q1099223$F5AAD2E7-6193-402C-8298-8489EEE7562F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adfcea7f42479d505f9031411f65494ba51f1bac","datavalue":{"value":{"entity-type":"item","numeric-id":1822238,"id":"Q1822238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbf0e795cd52505c4704bff1fdaea06fd3c7c8eb","datavalue":{"value":{"amount":"+0.7872971892356873","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":"Q1099223$F0C037ED-A881-47DF-BC7D-84F27EFD4910","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A simple proof of the validity of the reduced prs algorithm","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_simple_proof_of_the_validity_of_the_reduced_prs_algorithm"}}}}}