{"entities":{"Q1808665":{"pageid":1819407,"ns":120,"title":"Item:Q1808665","lastrevid":73004397,"modified":"2026-04-14T09:20:01Z","type":"item","id":"Q1808665","labels":{"en":{"language":"en","value":"Triangular sets for solving polynomial systems: a comparative implementation of four methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1369542"}},"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":"Q1808665$38FBBADF-CC2F-4E60-86B0-4694C60EB4F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b15898e8c72a8df3f4552d6d1ed3b2759d803af2","datavalue":{"value":{"text":"Triangular sets for solving polynomial systems: a comparative implementation of four methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1808665$55954254-C2C8-4486-AA7B-92E744957C1B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52b06a7c6f1d9b12fe1e195ffca31abbbb7ee6c2","datavalue":{"value":"0943.12004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1808665$41CDDBB4-6BC3-426E-AEE9-F1F745A1F2B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c12fb4b61d7694af239e1398f623663a88df655","datavalue":{"value":{"entity-type":"item","numeric-id":167079,"id":"Q167079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808665$61B7830E-072E-410B-9858-D93BC7338CE5","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":"Q1808665$152B1F0A-7FF5-47FA-BAF1-C3F817C97850","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":"Q1808665$10ABA731-4984-4577-9B0F-3FBD9B9B0253","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19945cc67174d34ebbeae4b89d0f3c36236e8191","datavalue":{"value":{"time":"+2000-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1808665$231C2C45-2BC2-4513-8BDA-C7B5826CE415","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"209a3ce560d8d08b20922044d80993844866204a","datavalue":{"value":"The problem the authors deal with is the following: Given a finite family \\({\\mathcal F}\\) of multivariate polynomials over a field \\(k\\), they want to describe the affine variety \\(V({\\mathcal F})\\) (that is, the common zeros of \\({\\mathcal F}\\) in an algebraic closure of \\(k\\)). To do so, they want to obtain, from the family \\({\\mathcal F}\\), simpler systems of polynomials, that is to say a finite family of polynomial sets related to \\({\\mathcal F}\\) with particular properties. These sets are generically known as \\textit{triangular sets} and their properties may differ depending on the definition of triangular set used. The authors are interested in the different known methods for solving polynomial systems by means of this kind of sets. They present four of these methods based on the works of \\textit{W. Wu} [Kexue Tongbao 31, 1-5 (1986; Zbl 0602.14001)], \\textit{D. Lazard} [Discrete Appl. Math. 33, 147-160 (1991; Zbl 0753.13013)], \\textit{M. Kalkbrener} [Three contributions to elimination theory. Ph. D. Thesis, Johannes Kepler University, Linz (1992; Zbl 0773.13008)] and \\textit{D. Wang} [J. Symb. Comput. 16, 83-114 (1993; Zbl 0803.13016)]. They implement them with the same material and software conditions. Afterwards, they apply these four implementations to several well-known examples and compare the timings, the degrees of the outputs and the dimensions obtained.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1808665$4D334233-FFE8-4471-BAC4-871CDA291FD1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a6ce23ad19c92a98158602d803a5b655791336e0","datavalue":{"value":{"entity-type":"item","numeric-id":250255,"id":"Q250255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808665$40223DD0-384E-441C-B694-9513B0BAC3D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"661c831991cdebd51f9465b74d929024bd00f373","datavalue":{"value":"12Y05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1808665$B8EAE1A9-74B1-4618-823D-8EAB2405BAA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"90ef62ca3df70431dbcfd5966d7b2dd88d957348","datavalue":{"value":"13P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1808665$8733D9C4-7A14-49A6-A724-D035006156EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1808665$ED8E7285-D98D-4709-9D1A-1E32CC7D1B37","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b14ad8e956881bdcc8ffd0e83d3b42217104eae3","datavalue":{"value":"1369542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1808665$8FB54BF1-8C76-48A8-9613-8B54FF797660","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6de6cb8342e839961f34703eef51a0f7e6e142ab","datavalue":{"value":"multivariate polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q1808665$1CFC93D7-E781-4A46-A5D8-F5B5DBF9BDAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71c5625b5f33a06d54f17ec90fe60594e338d546","datavalue":{"value":"polynomial equation systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1808665$6BBC7D0D-2F84-4E8C-B69A-20EC49167299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86068d69b19bfa173887893cc140c7aedf5af9de","datavalue":{"value":"triangular sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1808665$3A54C30C-F739-4296-A75F-451C1C358636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef359d59e74cb9142903f0e8e9f4e9a6db893b78","datavalue":{"value":"implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1808665$4206D73B-74BC-413F-83D5-89E17827EBBD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9ba88ec88a3e0f66013f52903eb001c6391d509c","datavalue":{"value":{"entity-type":"item","numeric-id":12835,"id":"Q12835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808665$43F7DD14-12F3-41B7-A3EC-0F52C2A4470F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9be356095db48eeb87b32ad4a9ed90e1148f3bd8","datavalue":{"value":{"entity-type":"item","numeric-id":13960,"id":"Q13960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808665$8B24B9FA-03F3-4580-AE4E-7B431AD59402","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":"Q1808665$7817D7FE-25F1-4683-A0AE-95959A8EE885","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f23d048969d3a41e3773dcb9d065b18f5414600","datavalue":{"value":{"entity-type":"item","numeric-id":1808664,"id":"Q1808664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808665$0AFF0137-5CC9-4853-A06B-091FDE955E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3623b239870b1ad3e2007cfdaa05ae0f3f3364ca","datavalue":{"value":{"entity-type":"item","numeric-id":1082037,"id":"Q1082037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808665$15873082-CEFB-4D81-A390-DD98220A8141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"953e262a3244da8dda3464b2c191683b0afa692b","datavalue":{"value":{"entity-type":"item","numeric-id":3994509,"id":"Q3994509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808665$4BA5323D-FDFD-4F8B-8C9D-5939C281B01E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f9cbd6f434903fc7dab45229d5b7252590d104a","datavalue":{"value":{"entity-type":"item","numeric-id":1369804,"id":"Q1369804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808665$14535A78-C163-4FCB-979D-C998023C6F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33e5f9a114f9f2ed0c8a4550007deb312ddd2721","datavalue":{"value":{"entity-type":"item","numeric-id":1318849,"id":"Q1318849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808665$50D15D87-06C6-4B8F-8D4A-46109E38758A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80635a46ea4f750c5aa09b1e5c72efa414cecd1e","datavalue":{"value":{"entity-type":"item","numeric-id":5393352,"id":"Q5393352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808665$2A643E67-7C2B-438E-92D6-2C0A3F5A51E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de3d2980b0431a9b08100f3f6b2f6246417cd897","datavalue":{"value":{"entity-type":"item","numeric-id":1899992,"id":"Q1899992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808665$0A3FEEC2-3760-40F8-8017-8AA2877B46EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef00ea47cce625ccb5dfbb54f56161b7f25a74dd","datavalue":{"value":{"entity-type":"item","numeric-id":3753479,"id":"Q3753479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808665$CC91D36D-0EF0-4DE7-AF20-F18952D67D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458562ae2613db0abbaf26dc41331f544ed51ee9","datavalue":{"value":{"entity-type":"item","numeric-id":4023355,"id":"Q4023355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808665$0C277DF1-CD7C-4B04-B1A3-FA94AB5F5684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce6c6dc63ff760b817aa319cfa1fcbac001ce58f","datavalue":{"value":{"entity-type":"item","numeric-id":5393351,"id":"Q5393351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808665$639F8AB5-5913-459C-A8A3-EE69D4F9CF2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42a284615c381b20217d0d43a9e41f4382e78ad3","datavalue":{"value":{"entity-type":"item","numeric-id":1260758,"id":"Q1260758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808665$A55A8178-0AE5-4F39-B322-6E0969477B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8df86b214d8e4ce717609bfd1bfde71f164d045b","datavalue":{"value":{"entity-type":"item","numeric-id":1273764,"id":"Q1273764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808665$A6B5B483-98EA-4388-8C20-2C997355606E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c540d0689d2e6e44699592fe0bc708a3e6141101","datavalue":{"value":{"entity-type":"item","numeric-id":1180160,"id":"Q1180160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808665$E31F371C-95B2-4380-8392-4C22F1F4D748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73756ef2396d8154aa3a61c063286e377438ef3c","datavalue":{"value":{"entity-type":"item","numeric-id":1190743,"id":"Q1190743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808665$A24BEF19-4A51-4C90-BCF0-015A4C5A564D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbc8272a2eed684dcc743719a6651c947badf1e2","datavalue":{"value":{"entity-type":"item","numeric-id":1836661,"id":"Q1836661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808665$FEA4BA48-1138-49D3-A8E6-50DB993E8F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"583cc7d63268867343e3ff01e73d2bb79a9d7f51","datavalue":{"value":{"entity-type":"item","numeric-id":1311615,"id":"Q1311615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808665$3C5FC32D-039E-4E79-8FE7-9E2AD86F4C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2cbfea7df5a952e37b1c9a93a0db40abd77b238","datavalue":{"value":{"entity-type":"item","numeric-id":5732721,"id":"Q5732721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808665$21BAA872-A433-4904-9D45-C26A471C0667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc2f93da717267c0dec25c1b1930821b1e4dbad9","datavalue":{"value":{"entity-type":"item","numeric-id":674750,"id":"Q674750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808665$6F445650-4A72-4AA6-B1AC-764AFF87FACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef0c40327cf7f6744c28e523b89f49083e848b3d","datavalue":{"value":{"entity-type":"item","numeric-id":3135176,"id":"Q3135176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808665$28369934-47A4-4E87-AE36-CF4593367A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04e0c63d216bbfa7efe8dcbacffeffd7bfcb3cd5","datavalue":{"value":{"entity-type":"item","numeric-id":1332646,"id":"Q1332646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808665$84D8090A-BD6D-499E-8456-A29689387E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26ced6ae6222d98a3f6a7bfdc509937d4b29a17f","datavalue":{"value":{"entity-type":"item","numeric-id":4840653,"id":"Q4840653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808665$2797B52C-01ED-4FA6-82ED-60967A1F166A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c18e00bb64ddbf4e175e088e9997a52581ede50a","datavalue":{"value":{"entity-type":"item","numeric-id":1264446,"id":"Q1264446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808665$2A93BFF3-81F2-48F1-B3A6-8E9B1A0BA055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d0fbcee695dd2748ee9cc27499dd4cc59f346a","datavalue":{"value":{"entity-type":"item","numeric-id":3737533,"id":"Q3737533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808665$91314306-20B6-4678-8986-B6E667D0082B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"751020f5601bb1d38a5e95bd8024d9af31af8a5d","datavalue":{"value":{"entity-type":"item","numeric-id":4303118,"id":"Q4303118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808665$CD915298-78B9-4039-997F-638673858BEA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86cea825ede78eeb5e45756a9599902f6f4d1e07","datavalue":{"value":{"entity-type":"item","numeric-id":1180160,"id":"Q1180160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d6e31296ba2b9eb63b209008fd29cba4fbad495","datavalue":{"value":{"amount":"+0.8180088996887207","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":"Q1808665$536FFDBC-7370-416F-B0D7-6E1101DC3251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06213cd7db7c6df3a077f820727b350a070ed959","datavalue":{"value":{"entity-type":"item","numeric-id":1808664,"id":"Q1808664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d709eed15d5bd185b82f4c98314ac6237f35afdf","datavalue":{"value":{"amount":"+0.8160043358802795","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":"Q1808665$0F76B23B-9656-4DCF-91B3-E06191D2C268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c91b7b407526eaa531b7147326be6eed649c28e8","datavalue":{"value":{"entity-type":"item","numeric-id":1190743,"id":"Q1190743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91b49fc65bd452f3ab0deaf57571990b21b6264d","datavalue":{"value":{"amount":"+0.8070871233940125","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":"Q1808665$D38ED3E0-D96B-4F04-9D10-0BAED3CE6F3C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Triangular sets for solving polynomial systems: a comparative implementation of four methods","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Triangular_sets_for_solving_polynomial_systems:_a_comparative_implementation_of_four_methods"}}}}}