{"entities":{"Q831961":{"pageid":833809,"ns":120,"title":"Item:Q831961","lastrevid":54267650,"modified":"2026-01-26T13:55:43Z","type":"item","id":"Q831961","labels":{"en":{"language":"en","value":"Computational schemes for subresultant chains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7497947"}},"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":"Q831961$A6F5F3B0-3E56-47F1-82D6-9DBCB7C14147","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e1d5a542085829ec1c3bc5e78a952f149bec2e1","datavalue":{"value":{"text":"Computational schemes for subresultant chains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q831961$9F1AC04E-7F70-4FD8-9B86-ADE9D10F88C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4bd7825d3753e21b83774cc7a30e67bc854889a5","datavalue":{"value":"10.1007/978-3-030-85165-1_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831961$57B9BAE5-E58A-465A-824D-86506A45EFB6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc6bd1fe172b82b7d4d6ea94f359e1de7a09c09e","datavalue":{"value":{"entity-type":"item","numeric-id":831958,"id":"Q831958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831961$3645006D-A507-4762-B28D-DB1F7ECFCF9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7360e503be0c4a2ecd09eba6040e46b9713d60e8","datavalue":{"value":{"entity-type":"item","numeric-id":831959,"id":"Q831959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831961$1F77AB13-5677-40C1-956C-A5DB6E4C6B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c20788f5d22efc79731ef3231477fc9804d6281","datavalue":{"value":{"entity-type":"item","numeric-id":413406,"id":"Q413406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831961$AA2DE108-DF93-4366-B48B-8D1BB62541AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee216241628d7ab3ed1211164658dc9e68b98545","datavalue":{"value":{"time":"+2022-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q831961$BEE2966A-FF5B-422C-BA1F-59A2DC621E50","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b92995c89b8e94bec40ae862254931ab4ea7f6fa","datavalue":{"value":"One of the main tools in computer algebra to deal with polynomials is Subresultant polynomials. For example, they provide fraction algorithms for computing the greatest common divisor of two polynomials, with a good behaviour under specialization and they have multiple properties over integral domains. They are also used in algorithms performing quantifier elimination or cylindrical algebraic decomposition. In summary, there have been many papers about Subresultants for the last 25 years.  In this article, the authors combine several already existing algorithms for efficiently computing Subresultant polynomials (in the standard basis). Actually, three main different schemes for computing the Subresultant chain are presented. The first one takes advantage of the Half-GCD algorithm . The second one computes subresultants speculatively by modular techniques and it is also based on Half-GCD. The third one introduces an optimization for subresultant chain computations by improving Ducos' subresultant chain algorithm. An extensive and impressive experimentation can be found in Section 5, where the authors discuss several implementations and performance of their algorithms and they compare their performance against the NTL library and Maple 2020. Finally, let me add that their code is part of the Basic Polynomial Algebra Subprograms (BPAS) library available at \\url{https://bpaslib.org}.  For the entire collection see [Zbl 1482.68009].","type":"string"},"datatype":"string"},"type":"statement","id":"Q831961$1BDE5F6B-36B2-4257-9F9A-E66162503B89","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"711aa22cb7d2a9b468bf8d0bcd8ead5433906677","datavalue":{"value":{"entity-type":"item","numeric-id":831960,"id":"Q831960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831961$2015B713-1922-4EA3-9337-6542A6E595FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"90ef62ca3df70431dbcfd5966d7b2dd88d957348","datavalue":{"value":"13P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831961$9E0D9A29-80AC-40F5-9C47-561393D834C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831961$23486CB0-A302-46C0-9AC3-98F2B3D49B60","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e56e9d1db066fb42c132ae31bd5ef6e0546e297","datavalue":{"value":"7497947","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831961$CF67054C-D44C-4C6D-AD2E-F82B65530103","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"768cd7dd72dfceab9880fdf5c9505130b6fcbcd2","datavalue":{"value":"resultant","type":"string"},"datatype":"string"},"type":"statement","id":"Q831961$1C8BFB71-1F31-47F1-A76E-B30747DD9ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f53ca57c0d6f4612bcf8319e61973a78cc37ede1","datavalue":{"value":"modular arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q831961$ADFD4030-454E-4A53-B8F0-3EEE1BD26F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e517e63ba1f9b08f7bb7e441517490c9068a08f0","datavalue":{"value":"polynomial system solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q831961$44368CAE-F0D5-479C-A8C3-22FEEEBA9994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43b736760950a9dfe9314294aea67ce174e5994b","datavalue":{"value":"GCDs","type":"string"},"datatype":"string"},"type":"statement","id":"Q831961$E13F1226-A18C-406A-BA93-FE631D4C634C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7029af299ee7991a0ff4190338c831d90f3da23","datavalue":{"value":"subresultant chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q831961$9243EBE1-4A4C-44E3-8303-F6F852B16EB5","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":"Q831961$CCBA0AE2-D97B-4EF0-834D-18CF84BFB7F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"707e3c264bb7563d3adc999748792915816caa7c","datavalue":{"value":{"entity-type":"item","numeric-id":13123,"id":"Q13123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831961$BB8E1B8D-E231-4C46-9EFD-79570CD2EE01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"32aff951e31cb88fd9452eb9d816a1b0d2b9e644","datavalue":{"value":{"entity-type":"item","numeric-id":13544,"id":"Q13544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831961$7726AA34-8903-4E15-A260-665A6A7A6149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"473e93d2a2932398479f76a3f87432c3c0dea38e","datavalue":{"value":{"entity-type":"item","numeric-id":13308,"id":"Q13308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831961$D82AF605-7E25-4DC6-AF41-B388AD0273DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"80e13f713e4a9d791edc305e16d4730bf0eb3d4f","datavalue":{"value":{"entity-type":"item","numeric-id":13393,"id":"Q13393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831961$B5249261-B89C-46A0-A7E6-E750D5713B4B","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":"Q831961$E07DF8D5-7B1B-46AF-86D6-42D754ED77BA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2ea307e9983efe703ee49791d928276b07304645","datavalue":{"value":"https://doi.org/10.1007/978-3-030-85165-1_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q831961$C69FD262-B5F9-4607-9F69-B976EA4B4321","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"943b1c9a42b7b798e4d28ef3e340df05d6025923","datavalue":{"value":"W3194639962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831961$D7C1ACB8-8426-4283-B331-C538AC3F4D52","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f35383d00d6416e45da17c53e15c678157dea8d4","datavalue":{"value":{"entity-type":"item","numeric-id":833155,"id":"Q833155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831961$618FF4DB-B864-4CD9-86D3-DAA8EFB66A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89f79f054e50d63fc05bfe5cb8de6592de4a8a42","datavalue":{"value":{"entity-type":"item","numeric-id":5145950,"id":"Q5145950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831961$84344FBB-E5E0-470D-B9DE-BC42FA7173D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c25bf4181496c43661fbc30b6ccdf31dcee2923","datavalue":{"value":{"entity-type":"item","numeric-id":4234296,"id":"Q4234296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831961$2B42426C-A788-4993-A36C-FAEBE2667166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26f75210c4335d584c6ac528c82ea8f10238ad41","datavalue":{"value":{"entity-type":"item","numeric-id":413407,"id":"Q413407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831961$FB47F6DF-E39C-47B3-B866-953F7043C427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd1d886f8017554c344872745249b97b7e78a71a","datavalue":{"value":{"entity-type":"item","numeric-id":5120481,"id":"Q5120481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831961$901B3EA7-BB55-4778-9B2F-3568477AA505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16c77b5f3e95436037317be33bf873ca82c78e35","datavalue":{"value":{"entity-type":"item","numeric-id":3124402,"id":"Q3124402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831961$C70FBBD7-3D36-4FB2-9684-5FC68B1FE80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bcc2995060333a0e1c2ce6b961f3b9cde526202","datavalue":{"value":{"entity-type":"item","numeric-id":1963982,"id":"Q1963982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831961$F5A6351D-FA3B-4E19-994E-E47B06988FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd70e15b35f8a08de7af7e5f78880a55220bcb51","datavalue":{"value":{"entity-type":"item","numeric-id":2862994,"id":"Q2862994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831961$36551D4F-C074-4E68-A769-B21A25DB5294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99da0266326e0a4e0e70a992402088e2d7b7f103","datavalue":{"value":{"entity-type":"item","numeric-id":1401153,"id":"Q1401153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831961$B72AD7D4-A176-47D7-A100-D34B08382EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8252eddf4f9de044daff79850d0cd797fc6e6fc","datavalue":{"value":{"entity-type":"item","numeric-id":4766043,"id":"Q4766043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831961$6C2C0BD9-49AA-4EE8-8B93-16A1736C2F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"794fa2d5ae25b30d28c17977b6ca5fd938bdeece","datavalue":{"value":{"entity-type":"item","numeric-id":1757020,"id":"Q1757020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831961$BC46A012-47F3-45B8-AD06-7890D5731B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c82a6fd827eafed6822bd567776637130ad374fa","datavalue":{"value":{"entity-type":"item","numeric-id":3416657,"id":"Q3416657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831961$0E91CE45-7CAB-49D2-B065-A5F059653006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2a785a6e803f5000c7c32592d829e0edbc61d57","datavalue":{"value":{"entity-type":"item","numeric-id":2365423,"id":"Q2365423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831961$B4137E48-CC9E-47C9-86FA-3C0385F34529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b7955656e23220e83c428c28ed0300f2ce5f76f","datavalue":{"value":{"entity-type":"item","numeric-id":5262771,"id":"Q5262771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831961$8F2F266D-EA87-4993-9EC9-20AC426B4FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df9728ec40f1da5e3a9438f59f9cafa90fc139bf","datavalue":{"value":{"entity-type":"item","numeric-id":1798333,"id":"Q1798333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831961$7B918663-5B52-4B99-B08C-89FA309BC118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2654d5ff3827fcd8097156ceeea53d97ceca9c2","datavalue":{"value":{"entity-type":"item","numeric-id":3347947,"id":"Q3347947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831961$051CDBE1-0DA5-4D46-B4CA-03695EEA90EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a5d01dd31b9230dacf1c6379af953a0d4d7be80","datavalue":{"value":{"entity-type":"item","numeric-id":4226968,"id":"Q4226968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831961$D4AA6F60-9F9E-4965-9A38-3F61AD918183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d52272446563d3d8396d3599380ea2ba22ff715f","datavalue":{"value":{"entity-type":"item","numeric-id":2548173,"id":"Q2548173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831961$41CAADA5-568F-4334-B8FB-D783A5E8308B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d73e5fdcd2644fcf8851cd00097d32d1e30f5f00","datavalue":{"value":{"entity-type":"item","numeric-id":3851616,"id":"Q3851616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831961$F315724D-0BB7-4B3D-9360-115E21CF8DDF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00c0fdfd7d87fe685513f2808625e99f1d64e613","datavalue":{"value":{"entity-type":"item","numeric-id":2109975,"id":"Q2109975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e568e3fe48281ba16e2bd3fb4a6d0ca56e8ae34","datavalue":{"value":{"amount":"+0.8584524989128113","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":"Q831961$8491967A-E83B-4D8B-9758-5CA13D312975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96adbc33c207984cdfefc4cf070414c7a28a9043","datavalue":{"value":{"entity-type":"item","numeric-id":3985430,"id":"Q3985430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76aec457c3cb43681e8b18ebb2dd4f3a961359ae","datavalue":{"value":{"amount":"+0.836723804473877","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":"Q831961$B761A0D4-0E05-43C9-BBC0-AD9C8779F784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51efd4bfa108cf1aecfeb22ddeb1efd37c74a6ae","datavalue":{"value":{"entity-type":"item","numeric-id":1963982,"id":"Q1963982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f7f0525e4282152d10736ea7559bca59da86c99","datavalue":{"value":{"amount":"+0.8366464972496033","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":"Q831961$80F8014F-15D2-4696-B436-42F83B946610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1acc82e601f1fc1e0f591e4575abd85fbc67bc06","datavalue":{"value":{"entity-type":"item","numeric-id":1401299,"id":"Q1401299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af71d85b9fb23e33332a62b58aaa996f83c2193e","datavalue":{"value":{"amount":"+0.8328059315681458","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":"Q831961$1BA88F20-5097-423F-A29A-B8454F5905F0","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":"cdd0060be666c39b6339cd99220b9bf633a877b3","datavalue":{"value":{"amount":"+0.8317667841911316","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":"Q831961$BEFBDA10-107C-4E00-BC20-98231E6FAD8B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:831961","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:831961"}}}}}