{"entities":{"Q1047807":{"pageid":1049655,"ns":120,"title":"Item:Q1047807","lastrevid":50866403,"modified":"2026-01-15T12:07:19Z","type":"item","id":"Q1047807","labels":{"en":{"language":"en","value":"An algorithmic approach to Ramanujan's congruences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5653960"}},"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":"Q1047807$909D2FDE-9D95-43A3-9289-EC3EB140323A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ab71531d1b33caf41258dd7f7adef1b40786d7c","datavalue":{"value":{"text":"An algorithmic approach to Ramanujan's congruences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1047807$066CC88E-5A55-4A21-AECB-3E21D1F3A322","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d3fd80710ef10a769456c5f34ff8ecf4d09b1cb","datavalue":{"value":"1204.11165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047807$B037A124-41F5-42D3-9052-E1DB4D095A32","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dcb7414527e16aebbca27598252038ed47e358bd","datavalue":{"value":{"entity-type":"item","numeric-id":618870,"id":"Q618870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047807$F1FD0E33-3667-4156-B166-F5973D3897DA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"08c25da5813a64bb58b545e5a473febdb94089f7","datavalue":{"value":{"entity-type":"item","numeric-id":175895,"id":"Q175895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047807$5EE8DED5-59F3-4695-A133-A5409ED41E77","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"92cf555916d59fb417884b9a08f363c4d96dea85","datavalue":{"value":{"time":"+2010-01-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":"Q1047807$46EC683B-3AD9-4D7C-A480-4483952660DB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d92a4e1f211188388d0e9e4f223cf231d11bc721","datavalue":{"value":"Quoting the author, ``In this paper we present an algorithm that takes as input a generating function of the form  \\[  \\prod_{\\delta \\mid M}\\prod_{n=1}^{\\infty} (1-q^{\\delta n})^{r_\\delta} = \\sum_{n \\geq 0}a(n)q^n  \\]  and three positive integers \\(m,t,p\\), and which returns true if \\({a(mn+t)} \\equiv 0 \\pmod{p}\\), \\(n \\geq 0\\), or false otherwise.'' Here \\(M\\) is a positive integer and \\(r = (r_\\delta)\\) is a sequence of integers indexed by the positive integer divisors of \\(M\\).  To arrive at his algorithm the author first defines the functions  \\[  g_{m,t'}(\\tau) = q^{\\star}\\sum_{n \\geq 0} a(mn+t')q^n  \\]  (for all \\(t'\\) with \\(0 \\leq t' \\leq m-1\\) and for an appropriately chosen \\(\\star\\)) and makes a detailed study of their transformations under the modular group \\(\\text{SL}_2(\\mathbb{Z})\\). Using the \\(g_{m, t'}\\) and powers of the \\(\\eta\\)-function as building blocks, the author then constructs a certain function \\(V(\\tau)\\) so that (i) \\(V(\\tau)\\) is a holomorphic modular form for some group \\(\\Gamma_0(N)\\) and (ii) the congruence \\(a(mn+t) \\equiv 0 \\pmod{p}\\) corresponds to a congruence for \\(V(\\tau)\\). Using a theorem of Sturm, this reduces proving the desired congruence to finite computation.  The author closes the paper with a number of examples and compares his approach with related applications of Sturm's theorem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047807$74132631-2F85-4117-96C2-42147739D687","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0f5171de123116be9ca08ee5c927c88b4b322262","datavalue":{"value":{"entity-type":"item","numeric-id":167133,"id":"Q167133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047807$1F10ED59-8823-4EAE-90B3-E9B24C1CE09D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5e85463c5600684bc92bff600b46e27e0010627a","datavalue":{"value":"11P83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047807$EABDBFA0-A233-40EE-B287-CB660599D239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42c7fbaa018c01ca8258924c3b206a2dd8d9b6b1","datavalue":{"value":"11F11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047807$E26A180A-5092-409D-875D-7B22FFF3F114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1cddcf05cab90446af95d7724bdfdcee1f501304","datavalue":{"value":"11P82","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047807$056779C5-8ED8-4AFD-B473-550547222FF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f4d31ea2afc3aa54972cbde8e82857f39da6c03","datavalue":{"value":"5653960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047807$F9A85B55-D7E5-4E1E-9861-6A246D1F6EB1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51df554145b60d94c69864664e49b02e152530ef","datavalue":{"value":"partitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047807$3835C917-EEB5-498E-B0A9-BF4B51C60E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b14cd685c98a4ba07bb03380be5fdb0df906771e","datavalue":{"value":"congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047807$E87BE41F-BABA-4C44-BE4E-B9D096B50F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047807$1739BD1F-8944-45E8-B0D3-E1E771D6E937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bc263cd8d19ce9e3cc724b73799cf77ef5cf472","datavalue":{"value":"Sturm bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047807$9E3203B0-4BB3-4444-9B02-A63FD8B3EE95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79f2c2f17b94cf84089e5ae62be9ebb199167d84","datavalue":{"value":"modular forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047807$C3EDDDC8-2582-4A38-9E9E-96D58CE9526D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"303ff47cc9a0f6c6ea46d07c037f53e4fcb9e1fe","datavalue":{"value":"eta quotient","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047807$6FEBC815-3544-46E0-B3FC-884488D9B30E","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":"Q1047807$CABB7D29-8F3C-4640-92EB-60FDA76C06D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae8b94a7d332b7794439c0e075475a641382d954","datavalue":{"value":"https://doi.org/10.1007/s11139-009-9174-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1047807$F1C2AA9F-2E72-4081-9E00-481DC7B92258","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4781a711e3fb67f15b9b3df0cd213d6dc752f2b8","datavalue":{"value":"W2066276027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047807$F7A45486-4672-4264-A2B1-FF84227F9979","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4302f367261ef14851311631440a9769d32f72ef","datavalue":{"value":{"entity-type":"item","numeric-id":3419226,"id":"Q3419226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047807$B8579541-8B3F-411F-B68D-607BE01E7D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c5c25c0f165a2f418f32469e23de5247f24d8ff","datavalue":{"value":{"entity-type":"item","numeric-id":998456,"id":"Q998456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047807$85AA0232-78B2-471A-9EF7-81051865D613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e0be43caaa0e860d8f65e6b7c49f6bbd772bed3","datavalue":{"value":{"entity-type":"item","numeric-id":4885311,"id":"Q4885311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047807$BB0FF5B2-7501-4749-A4B3-8B4401FDE9FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6db2009851c78bf616350c638cf6f9c4b372806a","datavalue":{"value":{"entity-type":"item","numeric-id":1607854,"id":"Q1607854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047807$EF14D7D4-1209-4C03-B339-F3A1995C4438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79110d3ec891eeb791556eaf34a8e935b825ce70","datavalue":{"value":{"entity-type":"item","numeric-id":3435378,"id":"Q3435378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047807$295E00E2-9582-488E-9BB4-A4802EFF4377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bae08c8b8e4c530025fd052317ca632d32c7f8c","datavalue":{"value":{"entity-type":"item","numeric-id":3247202,"id":"Q3247202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047807$319BAEA7-B239-4C39-BD59-E7D0AD9E297C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00f56bdbd5f663f4768db3851b44141ff3868a17","datavalue":{"value":{"entity-type":"item","numeric-id":5752655,"id":"Q5752655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047807$874D0ED1-2092-449D-9255-6B6512DC3F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1928ada7fd7db47c781bb0193e5a87ea780a54ad","datavalue":{"value":{"entity-type":"item","numeric-id":4864049,"id":"Q4864049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047807$2CB29EB2-6EA4-41D9-B6DF-AC6AD0A7177E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74f02cbcee496545f67b324127dab9ea74b3b7ed","datavalue":{"value":{"entity-type":"item","numeric-id":5928010,"id":"Q5928010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047807$F9C7F66B-EC62-406D-915A-89E0C3CBC04B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"544491efb5593648739830a32c73d4494dd3509c","datavalue":{"value":{"entity-type":"item","numeric-id":5568136,"id":"Q5568136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047807$AC54AC8C-AE10-44CF-88CA-D4919D29C86D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ac7ed5e53a96ccc9dc83bddcc3ebafc8b57f1a9","datavalue":{"value":{"entity-type":"item","numeric-id":1912310,"id":"Q1912310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047807$736D92A3-4030-494B-AA42-02E90794BA27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb97dfba525245ca10d04d5b0c1c3b821bd4a6a6","datavalue":{"value":{"entity-type":"item","numeric-id":5834905,"id":"Q5834905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047807$977788AB-8908-4E07-B997-0714CF6FB727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"452c588f2f683ea20e4af56e67073f8b99bd0b6c","datavalue":{"value":{"entity-type":"item","numeric-id":4324962,"id":"Q4324962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047807$29CE4D1B-B302-408B-8383-0AC6961AC258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc37738ceaf638eb0218a9f17f8d360ad8397fc7","datavalue":{"value":{"entity-type":"item","numeric-id":1355438,"id":"Q1355438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047807$174287DA-1D26-4625-A928-CD9268A2D40B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9c8d287b8da81bbf46dcea488f8560f62dae6cc","datavalue":{"value":{"entity-type":"item","numeric-id":5625265,"id":"Q5625265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047807$A78E210B-C1D3-415A-AE8C-F4DA1753BBD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e73821e82b7c9fe8977c26e7b9ba53b386446072","datavalue":{"value":{"entity-type":"item","numeric-id":4723820,"id":"Q4723820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047807$C8ED8D7A-B9DB-4FF5-AA85-20E119F5C48F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f3d33f27e5106e6ceb49ae3edc676b032437a210","datavalue":{"value":"10.1007/S11139-009-9174-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047807$2A657CDD-7DF1-4122-BFC4-2A45968F6B4B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c453fd025088c5a5eaff033b659f9903cb024deb","datavalue":{"value":{"entity-type":"item","numeric-id":480657,"id":"Q480657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2449f4ec2d39d87a19390aadbf94149a65a3443","datavalue":{"value":{"amount":"+0.8737686276435852","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":"Q1047807$75EFBEF8-C66F-497C-8B2C-CDD89F4BC6CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fe1a3026bfbe7fb2dda6d72925524b6c0171775","datavalue":{"value":{"entity-type":"item","numeric-id":2229716,"id":"Q2229716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2fc58744584edf50fe91f78244bebd57e0054df","datavalue":{"value":{"amount":"+0.8124814033508301","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":"Q1047807$F0F86B53-CA03-456B-921E-8B777C8BAFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6a6684c2f20b436c2611bc91bcc2f7db32d3f41","datavalue":{"value":{"entity-type":"item","numeric-id":4885311,"id":"Q4885311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e529d18526af82188e7324e495ef1c5feed32fd0","datavalue":{"value":{"amount":"+0.8117976188659668","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":"Q1047807$FC2424CC-8A8C-45ED-98C4-6C7DF3C146AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec44e93cce2ecbe802a55eb48c44f7060a0b28c4","datavalue":{"value":{"entity-type":"item","numeric-id":5943746,"id":"Q5943746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ae7c2be11d09b068fce261cc24273bec897f086","datavalue":{"value":{"amount":"+0.8047358989715576","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":"Q1047807$E5E392B5-AFD1-4ED5-AED9-25D1BAE587C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b75432cffa08f4be0f3bd6932f01f3f51100082e","datavalue":{"value":{"entity-type":"item","numeric-id":5150178,"id":"Q5150178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ae7c2be11d09b068fce261cc24273bec897f086","datavalue":{"value":{"amount":"+0.8047358989715576","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":"Q1047807$CE088CC7-BE9C-4538-BF19-A8A1C54798CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1047807","badges":[]}}}}}