{"entities":{"Q7361263":{"pageid":31519328,"ns":120,"title":"Item:Q7361263","lastrevid":105364406,"modified":"2026-10-07T13:35:19Z","type":"item","id":"Q7361263","labels":{"en":{"language":"en","value":"Sturm's Theorem"}},"descriptions":{"en":{"language":"en","value":"AFP entry Sturm_Sequences"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"55efbecb6282c09650647423fff7b0a78e0b5c37","datavalue":{"value":"https://isa-afp.org/entries/Sturm_Sequences.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361263$FD49FBD5-5963-4288-A49C-3EEBF5E7D0F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a09be5b5d15dfccc1f522be8dc0eb9a06540f3fb","datavalue":{"value":{"time":"+2014-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361263$8CD94537-F256-4756-A595-20E29A7C7DCE","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"85859c7ab42dcb8b36208f2902b7ce0d86423a6f","datavalue":{"value":"Manuel Eberl","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361263$133F05E1-9DA9-4A96-AEDB-F38A1CD068F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f8851c6a3eed0d7893d6339bdeaa7e29f44ebaa5","datavalue":{"value":{"text":"Sturm's Theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361263$215C70C6-FF6C-4D12-B880-EF1C9F0359C5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bcd0af264c6252580c919b925fcebf4e9828e8f1","datavalue":{"value":"Sturm's Theorem states that polynomial sequences with certain properties, so-called Sturm sequences, can be used to count the number of real roots of a real polynomial. This work contains a proof of Sturm's Theorem and code for constructing Sturm sequences efficiently. It also provides the \u201csturm\u201d proof method, which can decide certain statements about the roots of real polynomials, such as \u201cthe polynomial P has exactly n roots in the interval I\u201d or \u201cP(x) > Q(x) for all x \u2208 \u211d\u201d.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361263$9BFC4856-E067-4975-9072-E85C1D4FD654","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":"Q7361263$A90D4DDE-A7C8-4164-876D-C9A8644632EA","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":"Q7361263$0B13128A-D63C-4B19-8758-E49254455B3A","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":"Q7361263$E7E39367-6070-492F-9703-2638354169D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sturm's Theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sturm%27s_Theorem"}}}}}