{"entities":{"Q7361071":{"pageid":31518752,"ns":120,"title":"Item:Q7361071","lastrevid":105362576,"modified":"2026-10-07T13:34:22Z","type":"item","id":"Q7361071","labels":{"en":{"language":"en","value":"The Budan\u2013Fourier Theorem and Counting Real Roots with Multiplicity"}},"descriptions":{"en":{"language":"en","value":"AFP entry Budan_Fourier"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dbca182092bbb58140cba4e7906441e06b19c5c6","datavalue":{"value":"https://isa-afp.org/entries/Budan_Fourier.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361071$50A9D900-F4CF-4A0A-AF8E-2DA9AD6E7623","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"424c22a4d314b99d98aa7699e460221a9572b204","datavalue":{"value":{"time":"+2018-09-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":"Q7361071$39F7368B-57CC-4B2B-B834-1F8486745411","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"9e1ea7d1d4465bb52db7a9cfb941a77727b51dbd","datavalue":{"value":"Wenda Li","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361071$11F2BB86-3AAF-4FFA-AB5C-3EDDC050FB58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5ac69aa341c9d757cc07753766e472ef6974e14","datavalue":{"value":{"text":"The Budan\u2013Fourier Theorem and Counting Real Roots with Multiplicity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361071$B22AB33C-8248-4794-904E-743737237AD4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6b31057445f3e5a34dd51e94b666872def33be13","datavalue":{"value":"This entry is mainly about counting and approximating real roots (of a polynomial) with multiplicity. We have first formalised the Budan\u2013Fourier theorem: given a polynomial with real coefficients, we can calculate sign variations on Fourier sequences to over-approximate the number of real roots (counting multiplicity) within an interval. When all roots are known to be real, the over-approximation becomes tight: we can utilise this theorem to count real roots exactly. It is also worth noting that Descartes' rule of sign is a direct consequence of the Budan\u2013Fourier theorem, and has been included in this entry. In addition, we have extended previous formalised Sturm's theorem to count real roots with multiplicity, while the original Sturm's theorem only counts distinct real roots. Compared to the Budan\u2013Fourier theorem, our extended Sturm's theorem always counts roots exactly but may suffer from greater computational cost.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361071$25D9441D-972C-404C-8EC3-8DAD80D69A6D","rank":"normal"}],"P223":[{"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":"Q7361071$98D441FB-6790-4986-95B4-453535514DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f39e1e5ec15f23bed1eec830db36bf7a3a40cc72","datavalue":{"value":{"entity-type":"item","numeric-id":2564761,"id":"Q2564761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361071$219FA56C-79B9-4969-843C-3196E3ABCD56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9ee6ea22e97285c93f23994425666db287dd0fe","datavalue":{"value":{"entity-type":"item","numeric-id":2303242,"id":"Q2303242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361071$14298D2C-EAA6-44AC-AE3E-516022FA5EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33edf6c60e987374ac2b92fef6c7f79da2b1b282","datavalue":{"value":{"entity-type":"item","numeric-id":2881068,"id":"Q2881068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361071$43DEA374-EED1-4BCB-9111-AE685E7B1E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d7d2170e8e763d343ccdf229748d33859b1bdc","datavalue":{"value":{"entity-type":"item","numeric-id":287269,"id":"Q287269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361071$22A6ECE4-9D9D-486B-9217-ECC233397844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54ee9b1698c6dd2bdb394c2e619c87150083be7f","datavalue":{"value":{"entity-type":"item","numeric-id":4779788,"id":"Q4779788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361071$D8A9F50E-5E26-42B2-92D5-E2670A3D1B96","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361071$7212BE2B-13F6-451C-B8BB-5457A4187D3C","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"93aa234f827508fd538d4f42a36150b0421c58df","datavalue":{"value":{"entity-type":"item","numeric-id":7361457,"id":"Q7361457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361071$D7EF98BC-E5B9-4181-8CAA-3BB6A00E6386","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"ef6655bf04dd34fee9f7dc3b2763244f951e30fe","datavalue":{"value":{"entity-type":"item","numeric-id":7360822,"id":"Q7360822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361071$782A36CC-F4E9-4D97-AA1C-60D201B5CD7C","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361071$43BCDF50-2A4C-4591-B8FF-CF9B22A19944","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Budan\u2013Fourier Theorem and Counting Real Roots with Multiplicity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Budan%E2%80%93Fourier_Theorem_and_Counting_Real_Roots_with_Multiplicity"}}}}}