{"entities":{"Q701787":{"pageid":703636,"ns":120,"title":"Item:Q701787","lastrevid":63639954,"modified":"2026-04-11T14:32:58Z","type":"item","id":"Q701787","labels":{"en":{"language":"en","value":"An inequality for circle packings proved by semidefinite programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2123191"}},"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":"Q701787$3CE54D3B-C49D-482B-A6CD-A99C3C0FF252","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68f0b0c1c5dccaac944c3d3fca021d8f514fe422","datavalue":{"value":{"text":"An inequality for circle packings proved by semidefinite programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q701787$0FE38427-B5BA-49C1-B9FC-F9B87A4BF68B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f8f36fb277a8008b5171362a9d3be7e258e56e5","datavalue":{"value":"1059.51020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701787$505DFAE0-94B7-4AF4-8861-B88DE1CCA6E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb822e17cab4fee33fde2e9d609ae31ce943850e","datavalue":{"value":{"entity-type":"item","numeric-id":304254,"id":"Q304254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701787$CE744E28-D4A5-4279-A2E1-963E7E6D1B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9e0de29d6af72eecd745dc378963159b12d798b","datavalue":{"value":{"entity-type":"item","numeric-id":371743,"id":"Q371743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701787$25994456-F8DA-4B31-A263-22599B1CF1E9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b6f367138a9ac2b85113cfed5a6fd5bedcc8944c","datavalue":{"value":{"entity-type":"item","numeric-id":178842,"id":"Q178842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701787$16D43C2B-A896-4284-8FAF-5CF56479D68D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df1e508a21ee9936a7a8f9defc1512d58443c3e3","datavalue":{"value":{"time":"+2004-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q701787$68DC08AA-3FC8-4086-B310-6183C5DE1D2D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4737565ccd59ea87756c16bf99345f46fab707a2","datavalue":{"value":"https://arxiv.org/abs/math/0205278","type":"string"},"datatype":"url"},"type":"statement","id":"Q701787$348F0ADE-E575-4470-88EE-23090C13651D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"701a6fe7de8741d4858ca2dbd5592996f389d3aa","datavalue":{"value":"The following inequality, used in the theory of circle packings, is proved. Consider a triangle with sides of lengths \\(a,b,c\\), a second triangle with sides of lengths \\(x,y,z\\), and a third triangle with sides of lengths \\(a+x,b+y,c+z\\). Let \\(\\alpha, \\beta, \\gamma\\) be the angles opposite the sides of length \\(c,z,c+z\\), respectively. Then \\(\\alpha(a+b-c)+\\beta(x+y-z)\\leq\\gamma(a+x+b+y-c-z)\\). This is equivalent to the nonnegativity of a certain polynomial of degree \\(20\\) in four real variables.  The proof uses semidefinite programming to find a representation of the polynomial as a sum of squares. In order to make the problem algorithmically feasible, the sparsity and the symmetry of \\(P\\) are exploited. Although floating point arithmetic was used, the solution is easily verifiable once obtained using only integer arithmetic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q701787$5D365AAB-C971-41FB-B779-DCECD698A072","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b143bf73f3f2801b42b1d69fc571c2af593dde5c","datavalue":{"value":"51M16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701787$CAEA6A00-7EF0-4DB2-8EEB-2BD0B0771F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c403ac197a6e110fa2175c02eefa763d67a43012","datavalue":{"value":"52C26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701787$E1BE22AC-2135-4712-AF29-9DDB5D9BFF5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"495845c8213cf842ac820948f1353b4cef3062a2","datavalue":{"value":"11E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701787$6D897337-B131-45D8-9AAE-CAA143A1CDE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"747ca2a29edc80ef77db4b4376cee27cb80d39e3","datavalue":{"value":"90C22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701787$56331AA5-E3A6-46C6-BA02-571EF5E3C510","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"535f53efc6e4a4bff89cb584124001eddf40ceaf","datavalue":{"value":"2123191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701787$31BC5141-61FD-415E-90EC-88569746B912","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"806579905f5a2fcb27a9ac34cbd08f75ff5f5d7a","datavalue":{"value":"inequality","type":"string"},"datatype":"string"},"type":"statement","id":"Q701787$0E97F025-9319-4092-B7BD-119583B29011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f17fc0bcf96df8c20b090a95bb2ccac67f3643e","datavalue":{"value":"circle packings","type":"string"},"datatype":"string"},"type":"statement","id":"Q701787$1E7D032A-6F3E-4024-81C4-E7508D46BCD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c0145dbb175f229104a70deaeffc1099143a20d","datavalue":{"value":"semidefinite programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q701787$CD61B59C-3364-4C44-AF3A-805209C1D7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a4edfbbae10f51c03a0767ecf26d0d454aeb01a","datavalue":{"value":"sums of squares","type":"string"},"datatype":"string"},"type":"statement","id":"Q701787$B70BEE11-C172-47F5-ABBD-FAEB53D0ADE1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ece2465280f4825557587fd8f853970958d7af4a","datavalue":{"value":{"entity-type":"item","numeric-id":193558,"id":"Q193558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701787$B1E73BAA-C98A-4708-94ED-8971088C2847","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7c5814a0a3b47b1b5455e3eaa345adcdfd08dbf3","datavalue":{"value":{"entity-type":"item","numeric-id":16192,"id":"Q16192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701787$2535FDC9-C4E3-40D3-8118-8376E189B787","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":"Q701787$9BAC4F8D-8F5D-41E0-9C82-CF4EAAD4D3DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c8cd2ec118f6ef03fa65d3a45a26f4d70a783dc6","datavalue":{"value":"W2001263356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701787$0AE691C1-793D-40D9-AB89-2F5583FDB357","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"605b34ef7eb998d8156f3cf73199c7bbacfe360c","datavalue":{"value":"10.1007/S00454-003-2880-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701787$1A0EC973-9E82-465E-AE54-3FD82AFE97AB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67fd89973533409fe87cf8328c7f04b80807dd5b","datavalue":{"value":{"entity-type":"item","numeric-id":4531854,"id":"Q4531854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fe968f83c4df7f94d960c532679fff556bd480e","datavalue":{"value":{"amount":"+0.724989652633667","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":"Q701787$54D8F503-FE4F-4AD0-B6A6-A34416820C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a58a736935faa68b9080ec0d145595a0227b142","datavalue":{"value":{"entity-type":"item","numeric-id":3110290,"id":"Q3110290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f32ebc08812d682f28cf4d4d54b9dd3b71305b3","datavalue":{"value":{"amount":"+0.6905710101127625","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":"Q701787$045D0997-0A54-4D97-9DC8-33E9F98ACEFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66e95df6fa3927e5ab2bc3d328b72f8eec694c47","datavalue":{"value":{"entity-type":"item","numeric-id":2349135,"id":"Q2349135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3c019468b9d983c04bfa0ebbfc4edfc330bc1bc","datavalue":{"value":{"amount":"+0.6859075427055359","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":"Q701787$7E4C8637-FF9B-465D-9BB1-35F22F9B2F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d591099048177ce04bab4cf52b0f41d012c75c8","datavalue":{"value":{"entity-type":"item","numeric-id":5751975,"id":"Q5751975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adbca0d0b93ee930a4a3af5f24bb79ac1758957e","datavalue":{"value":{"amount":"+0.6830553412437439","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":"Q701787$DAB1C232-00AF-47A9-A29E-4DE2A088AF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9196d922117270029105916efee5649afb5cd2b3","datavalue":{"value":{"entity-type":"item","numeric-id":1873691,"id":"Q1873691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7a1d9110d96b3743ee334c27eb4a8ab78c068d2","datavalue":{"value":{"amount":"+0.6797689199447632","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":"Q701787$98E88603-9AD0-433A-B0B1-95ECC5EBA727","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An inequality for circle packings proved by semidefinite programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_inequality_for_circle_packings_proved_by_semidefinite_programming"}}}}}