{"entities":{"Q1894576":{"pageid":1905318,"ns":120,"title":"Item:Q1894576","lastrevid":69212481,"modified":"2026-04-13T05:31:08Z","type":"item","id":"Q1894576","labels":{"en":{"language":"en","value":"Computing a hyperelliptic integral using arithmetic in the Jacobian of the curve"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 780889"}},"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":"Q1894576$21C8E22F-1B8B-4744-AEA4-BDA0D32104EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e02189b094650815f1638cf7e4097d8e3c1bbe6","datavalue":{"value":{"text":"Computing a hyperelliptic integral using arithmetic in the Jacobian of the curve","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1894576$03ADF14F-B125-4527-9992-B7479D8C991E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"babe8714c23512efcd4e3153b98582bc312572f6","datavalue":{"value":"0838.12005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894576$756787AE-BC8A-448E-B120-CB1600255487","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"047cd982ed0e9c9b2ff7527acd54289745b6560d","datavalue":{"value":"10.1007/BF01235720","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894576$E5FE2E94-504B-48B8-B32C-E9DFBCACD29E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4cafeee4f1ce0b856fe40e0a6e8ea69f47912a6","datavalue":{"value":{"entity-type":"item","numeric-id":1894575,"id":"Q1894575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894576$7CF435E0-360B-4259-B773-C26B0EE00928","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e71b1a810c94176f33b214acd409208085d409e4","datavalue":{"value":{"entity-type":"item","numeric-id":162945,"id":"Q162945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894576$EEFDF4C0-5BA8-4385-BEDA-C1A9771C2E24","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b2e89868b1c268f0defa51f67a4a63561a369e84","datavalue":{"value":{"time":"+1995-08-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1894576$AF135221-CF49-402C-9E5C-13DA98504228","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2381e1f009b9d1b17bf75fcb0fb6cbf9f64f1db2","datavalue":{"value":"In 1970 \\textit{R. H. Risch} described the first algorithm for deciding whether an algebraic function has an elementary indefinite integral and for computing it if it exists; his algorithm was not suitable for implementation [Bull. Am. Math. Soc. 76, 605-608 (1970; Zbl 0196.06801)]. \\textit{J. H. Davenport} [On the integration of algebraic functions, Springer Lect. Notes Comput. Sci. 102 (1981; Zbl 0471.14009)] and \\textit{B. M. Trager} [Integration of algebraic functions, Ph. D. Thesis, Massachusetts Institute of Technology (1984)] gave the first general practical algorithms for computing indefinite integrals of algebraic functions.   In this paper the author considers the special problem of computing hyperelliptic integrals, i.e. of integrals  \\[ \\int {R_1 (x) + R_2 (x)y \\over R_3 (x) + R_4 (x)y} dx \\]  where \\(R_1, R_2, R_3, R_4\\) are polynomials and where \\(y\\) is defined by an equation \\(y^2 = f(x)\\), \\(f\\) a squarefree polynomial of odd degree \\(\\geq 3\\). His algorithm combines Trager's algorithm and the technique, introduced by \\textit{D. G. Cantor} [Math. Comput. 48, 95-101 (1987; Zbl 0613.14022)], for computing the Jacobian of the hyperelliptic curve defined by the equation \\(y^2 = f(x)\\). The author implemented his algorithm in the computer algebra system Maple and compared it with Trager's general algorithm; some examples, which are discussed in detail, show that its computation time is significantly shorter.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894576$3FF8A3F7-4324-4AC7-80DE-DE8EDD7277E2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5f5777890ad0cc36a7c48f14592d972b7a2ccc71","datavalue":{"value":{"entity-type":"item","numeric-id":1349307,"id":"Q1349307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894576$D54A59C5-A074-4812-A37C-CBC13F7128D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a5acd82496d22aa179ed7948314f87d646a2926b","datavalue":{"value":"12H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894576$F68850B2-0A60-4B37-878C-3AC5355E68C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"661c831991cdebd51f9465b74d929024bd00f373","datavalue":{"value":"12Y05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894576$1129B49D-84AF-470E-9A5A-8FC9C374E68B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894576$65BB34A5-E2AB-4638-9B75-0E024EFD64C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2d47f0f7476488dd6b6b2436fba2dc33e26dfd17","datavalue":{"value":"14H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894576$53B5DD68-8A2B-4145-83C8-F27F287D29BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"216939729202fc4b9c96cf3f62d6f618570d6e85","datavalue":{"value":"14Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894576$E571ECF1-7AE1-4CEF-BABE-FCCA9E143482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"db0dbf998ec968d05be3040fdfa9d5b474901d27","datavalue":{"value":"14H40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894576$4302D1DB-5A94-4B0F-9B31-A7EE2188010A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8029ffdd62b66773c38ef9f98af4db538513ed8","datavalue":{"value":"780889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894576$9144F5D1-8319-46DA-9A48-B17C7A76ED2D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a64b6e48eb7c7e0d522d772ccaf494a2bd28138e","datavalue":{"value":"integration in finite terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894576$91EB775F-CF99-449E-AE87-79034958B430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c69974b8ee44ba9ffc58b48877209f3953502907","datavalue":{"value":"Maple","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894576$E2A23078-B6FD-4057-A185-B22E99934B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894576$0E3FF489-2B5E-42C6-AC31-8CC0D3A3CB73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56f102eac21cb705832232b62cdb48c9ffa65435","datavalue":{"value":"algebraic function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894576$E0E27E3B-51ED-4574-87E5-E2755811A535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4369888fe99fd7d43068011f7f808ce343cb5277","datavalue":{"value":"hyperelliptic integrals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894576$5C4881E3-B423-452E-BE6F-7D4C17CF0A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f958bde503706c7efa7f77a9578b1370ce58fff1","datavalue":{"value":"hyperelliptic curve","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894576$2D7BA1AF-22FC-4FC4-B9C9-32C5FD641739","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"485f54a0549a89232924cb0abb443c2fad36af9f","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894576$F395B377-581D-4CBA-B17D-94BCD7CE6C22","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":"Q1894576$8019AF36-E5F6-4A66-8E24-55D2A5162FAD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d631909bb7304df3670dadb621834dbcc3f9ba9a","datavalue":{"value":{"entity-type":"item","numeric-id":5615009,"id":"Q5615009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894576$AB36FAF5-241E-4597-A0B9-B7342E92AE71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10b7999a19adcb27bafd635e9b064821b6f813fc","datavalue":{"value":{"entity-type":"item","numeric-id":3754098,"id":"Q3754098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894576$A155A35E-9EF9-46B5-AE02-DA64E8A6EE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"526574fc59d6a0f0ee599067ed0b2a9df2c6a80c","datavalue":{"value":{"entity-type":"item","numeric-id":5810622,"id":"Q5810622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894576$E14232F7-03F4-4026-B347-1352750016D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c42255726cb939c81339f4394e35e47b3769eb16","datavalue":{"value":{"entity-type":"item","numeric-id":5618470,"id":"Q5618470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894576$27B14CDF-2B93-4451-8ECE-2C7F84A5302F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17894f36c5ff77d6f3a1e03bb276e9746efa0fe6","datavalue":{"value":{"entity-type":"item","numeric-id":1157366,"id":"Q1157366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894576$E013C640-34BD-463F-822E-E70E9EE76314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70a733dd08f24ed049c18ae10ef2128cc329bfc4","datavalue":{"value":{"entity-type":"item","numeric-id":3358238,"id":"Q3358238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894576$7C409487-813C-470F-828B-9C5890EFC067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3344dd845e50ae7e168d80dbc82c05593afe0d1c","datavalue":{"value":{"entity-type":"item","numeric-id":5592356,"id":"Q5592356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894576$24085AF8-3C0F-44CF-80E4-30BDCFE93E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff5507321f4a39d62ce8104503bda4cb36d54179","datavalue":{"value":{"entity-type":"item","numeric-id":3963106,"id":"Q3963106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894576$52B5CD92-DD96-4F71-87C5-F57F995418E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7841a1779ff9ab030946e69fd0d5327c06c485b7","datavalue":{"value":{"entity-type":"item","numeric-id":4234313,"id":"Q4234313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f84ee7e54a08541a89ac37482e505ad0df46300f","datavalue":{"value":{"amount":"+0.8938995599746704","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":"Q1894576$5BEA52D6-BF11-408D-81AA-8C90101001E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e0e6a561301cc8248bab1324d1c398c706181de","datavalue":{"value":{"entity-type":"item","numeric-id":4847932,"id":"Q4847932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9d183668cbcad2c4bdffa5e76f246d25d262453","datavalue":{"value":{"amount":"+0.8938990831375122","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":"Q1894576$28FE2A00-A850-4A43-BDE7-10B56AC7689D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67b39d0d930065dd1278c10159de0c24e68fae34","datavalue":{"value":{"entity-type":"item","numeric-id":3754098,"id":"Q3754098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c866978ea64d9fb5d46c96925f0240e93a766f70","datavalue":{"value":{"amount":"+0.8029972314834595","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":"Q1894576$0E8BB0BB-9082-47EC-A331-3174A8D561DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d060f29d6cccf95e2acd09d88f61a34f9e916d2e","datavalue":{"value":{"entity-type":"item","numeric-id":4371726,"id":"Q4371726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e642b56c208dcab8506420d35e0803f06706e09a","datavalue":{"value":{"amount":"+0.7908324599266052","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":"Q1894576$EB2EF3AB-1E80-4268-90A0-208869588B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9175ca0e0b589e132e211262e9b6b4ad6ee2fec","datavalue":{"value":{"entity-type":"item","numeric-id":1971734,"id":"Q1971734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e642b56c208dcab8506420d35e0803f06706e09a","datavalue":{"value":{"amount":"+0.7908324599266052","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":"Q1894576$5878AC36-C903-4EB5-A398-BCCE3FE87C9D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computing a hyperelliptic integral using arithmetic in the Jacobian of the curve","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computing_a_hyperelliptic_integral_using_arithmetic_in_the_Jacobian_of_the_curve"}}}}}