{"entities":{"Q531342":{"pageid":533109,"ns":120,"title":"Item:Q531342","lastrevid":62536158,"modified":"2026-04-11T06:45:30Z","type":"item","id":"Q531342","labels":{"en":{"language":"en","value":"An algebraic certificate for Budan's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5882428"}},"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":"Q531342$05B6A468-B5A9-4CE5-9FA3-BFCA7DDE9B49","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e447a7a610ad76027969a74bbf59781e87338fb5","datavalue":{"value":{"text":"An algebraic certificate for Budan's theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q531342$0A8C5725-1A89-43CC-91C6-A9CF4631A620","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b36fd5363badca3498db481773487b2baceb2e21","datavalue":{"value":"1238.12002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q531342$99964E99-B164-48DD-9C03-55922EEEBE06","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f627fccc93409c4b44f2e8b8c117c71a95260fba","datavalue":{"value":{"entity-type":"item","numeric-id":531341,"id":"Q531341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531342$131FEBF1-5CFE-481A-893D-1438A49B9DB3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531342$3565D4C6-4623-461F-BF45-36EA1A46D8E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"71f935d0a64a33d4cbc5fdd6db9fd166029e3cfc","datavalue":{"value":{"time":"+2011-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q531342$07E3AA28-B09A-43F6-A792-30A84D8C21CF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ad03d6d23bc568c665c0f0846e03d03a27ece3b2","datavalue":{"value":"Budan's Theorem states that if \\(a,b\\) are two elements of an ordered field \\(K\\) with \\(a<b\\), then the number of sign changes in the sequence \\(\\left( f(a),f'(a),f''(a),\\dots\\right)\\) is not less than the number of sign changes in \\(\\left(f(b),f'(b),f''(b),\\dots\\right)\\).  In this short paper, the author presents an algebraic certificate for Budan's Theorem. An algebraic certificate is a certain kind of proof of a statement. In particular, it is an algorithm which produces, from an arbitrary data in the premise of the statement, explicit (in)equalities which express the conclusion. The author presents two different algorithms producing an algebraic certificate for Budan's Theorem. The author claims that this is a first step towards reducing the complexity of constructing the real closure of an ordered field.","type":"string"},"datatype":"string"},"type":"statement","id":"Q531342$4E95A5FB-ED14-49AE-9652-520A0AA5071E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"299c2ceee90a97db4ef5b7d633c2a5784e0cb3c0","datavalue":{"value":"12D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q531342$335868CD-23E6-4D9A-B58E-82F2312CFAE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7600b4c97d329e1331c9e071a696de8566745528","datavalue":{"value":"12J15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q531342$2BB4880D-BB4B-424C-A0B9-2FDEF32CA818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"65ef089ab6dd31e83c3611c992a3cfd8973b58bb","datavalue":{"value":"14Q20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q531342$B390DF70-B9A3-45D6-9F25-D96B945118E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"225b72430746429b7c0266ab59956cd9024c216f","datavalue":{"value":"5882428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q531342$B70C10BB-E748-40DE-820B-ED6D240BF99D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2ca2133fe04542cea75ececbc441f9798c86ce4","datavalue":{"value":"Budan's Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q531342$0DF3695A-C082-448E-8283-2E72AAEB1874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20976c59f7fe9ff92a4c25d758c99d77b23a2edf","datavalue":{"value":"algebraic certificate","type":"string"},"datatype":"string"},"type":"statement","id":"Q531342$07E1800B-5FDC-47EF-98FF-DDA82BCA2CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e2a87d6b935d249292ac8f4fe0875901459cab8","datavalue":{"value":"real closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q531342$D52FBD38-29BF-4526-B067-67D766667EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b1652efe3631875e53dc6734d51e64ff056d932","datavalue":{"value":"Sturm sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q531342$A51DEF9E-C44F-41E9-9714-7BD49718F5BB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"57f613d340867104221f455e4dd9dd8b92abecac","datavalue":{"value":{"entity-type":"item","numeric-id":548475,"id":"Q548475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531342$BD3DE0C8-6E4C-4718-9E89-0E4A482D4542","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":"Q531342$41951184-6908-405B-8A4B-D5E125D48093","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b455bc3263a2b4a904ac80bd6cb938b5410f2522","datavalue":{"value":"https://doi.org/10.1016/j.jpaa.2010.08.016","type":"string"},"datatype":"url"},"type":"statement","id":"Q531342$4682DD92-B8FF-473C-9597-9DE0CA48156D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ee56c6ecd63520f6ebc2a16b98ef1bd06f610b1","datavalue":{"value":"W2004696957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q531342$D57F4AAE-7A16-4578-840C-33BB5650227E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"500ffa37d61270fa66ef4038b154cd6e35f8ed6b","datavalue":{"value":{"entity-type":"item","numeric-id":3770650,"id":"Q3770650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531342$7026BD5D-1C7E-4C87-B62C-403F0E4F60AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e4ed5e6febf908ca9ef148f12e03573ee75f5f1","datavalue":{"value":{"entity-type":"item","numeric-id":809060,"id":"Q809060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531342$8E5A0182-69A2-4B2A-9ED1-C6F74DF8FFCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fb1e069c9e4331b31c569dc8e2183f4c63cb5ba","datavalue":{"value":{"entity-type":"item","numeric-id":5920628,"id":"Q5920628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531342$27D44BE8-BE6C-49D5-9C55-8FB8702DDB17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a437de0802ab05b7634e21c4f870a90eb0bc071","datavalue":{"value":{"entity-type":"item","numeric-id":2387416,"id":"Q2387416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531342$0233B575-9445-4F1A-9165-D44304B029F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccd4ac1cf38ce7adf87c1aa2fe250a0bc62e564b","datavalue":{"value":{"entity-type":"item","numeric-id":581617,"id":"Q581617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531342$3F02BF24-D612-4D4F-97D1-1585DF1AE029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4598a2f0d8250e52c392b2217273aea85b237a5","datavalue":{"value":{"entity-type":"item","numeric-id":5946086,"id":"Q5946086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531342$85A621D4-CDD0-49C0-97AC-D27BDA919013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b1ee7d645d533c0fdd3dfe02a4ed67d9a944394","datavalue":{"value":{"entity-type":"item","numeric-id":5781066,"id":"Q5781066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531342$E0596407-0F85-4302-97E3-D4F394167956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d0ab62ae07f956593adec79bf245f33771b6e2b","datavalue":{"value":{"entity-type":"item","numeric-id":2395891,"id":"Q2395891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531342$D2461E34-4B6B-44FE-8107-FCF3D3A62839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ea9de4e7e1051f3b46bd29cc4a8cd20e37f2ca5","datavalue":{"value":{"entity-type":"item","numeric-id":3973341,"id":"Q3973341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531342$2744DBB2-AF63-4001-9939-0156F422ACA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d86048322dd178880e286d9bfa7e4022e0869625","datavalue":{"value":{"entity-type":"item","numeric-id":3358841,"id":"Q3358841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531342$D9FBDEA5-07B0-4E19-A315-D6DA8FC39471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"829c8a463f9a3b571311d8b327c6fb3c113220de","datavalue":{"value":{"entity-type":"item","numeric-id":2716044,"id":"Q2716044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531342$0DE2BF86-D50D-40DB-9087-40C3ECBB9A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fd925b871b3461dd9004f9426f2d342b999b7de","datavalue":{"value":{"entity-type":"item","numeric-id":3601991,"id":"Q3601991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531342$A09E142B-BC44-4AC3-84E7-34B8018284B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dda53f5816d748e5aace212880edb9daa4bbe12f","datavalue":{"value":{"entity-type":"item","numeric-id":1174468,"id":"Q1174468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531342$83A0392F-5E67-4AE3-925D-DCB97A0D9BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5639b062c8deefb8313c2354d9a31774ab87ffe","datavalue":{"value":{"entity-type":"item","numeric-id":5957271,"id":"Q5957271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531342$1CFCAAE4-D930-415F-B0CA-B144B5516906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e427a3de4ce120fbfba5e22bc0ea204ebacee10a","datavalue":{"value":{"entity-type":"item","numeric-id":2557742,"id":"Q2557742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531342$0261CE67-9E63-4BA5-9148-207A8AC9B246","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"07dc956c359712cc96f7eb376556ea04378aa55d","datavalue":{"value":"10.1016/J.JPAA.2010.08.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q531342$0A7EC4FB-E7AB-43CE-AAE7-7EDFA7138E7C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e65ab3acdb28e5cf58fe4883ee78b71707a6c03","datavalue":{"value":{"entity-type":"item","numeric-id":2970831,"id":"Q2970831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4f8906b53fe3eed2aae00d14eaef511e5db9f4c","datavalue":{"value":{"amount":"+0.8758689165115356","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":"Q531342$528720DA-1683-455E-8D67-228B40A1E261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2f73fc475003364b03130266e7a5fdfc711a79b","datavalue":{"value":{"entity-type":"item","numeric-id":4923948,"id":"Q4923948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49860bd70ee93210374dbd64cd00925287fde210","datavalue":{"value":{"amount":"+0.7606823444366455","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":"Q531342$18F89CE6-26A8-4146-B782-216F62627F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78b957e6824146f1589ac24067862de220a8b542","datavalue":{"value":{"entity-type":"item","numeric-id":3986779,"id":"Q3986779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ed4d9067b3323bd59102461b9f9bad74ffb8f6f","datavalue":{"value":{"amount":"+0.740216851234436","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":"Q531342$7FBB4939-EC92-4E1A-90A5-8378375575AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6175a0c1fef265c78d14d657d454ccbcbbfa8a8","datavalue":{"value":{"entity-type":"item","numeric-id":4341368,"id":"Q4341368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e65e3f705371521d0b7c3d6032e5bceccd81e0f","datavalue":{"value":{"amount":"+0.7389594912528992","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":"Q531342$AD82A1F6-C4AC-4B67-8600-D1C3435A003C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66a247a718a74096ab865906b47cc07a387f5685","datavalue":{"value":{"entity-type":"item","numeric-id":3358841,"id":"Q3358841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"400284ee538f60753024fe1a347320f82f631246","datavalue":{"value":{"amount":"+0.7364543080329895","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":"Q531342$EAA4DA10-9F36-4F03-9653-1A2BC1FC9BED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An algebraic certificate for Budan's theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_algebraic_certificate_for_Budan%27s_theorem"}}}}}