{"entities":{"Q1756718":{"pageid":1767460,"ns":120,"title":"Item:Q1756718","lastrevid":53311088,"modified":"2026-01-24T17:09:19Z","type":"item","id":"Q1756718","labels":{"en":{"language":"en","value":"Fast verified computation for the solution of the T-congruence Sylvester equation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6996761"}},"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":"Q1756718$09FCAC7C-DD7A-4D1C-909A-809C846108C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7942f9f96f1d3ae33555c00b428de14f43e4f1f3","datavalue":{"value":{"text":"Fast verified computation for the solution of the T-congruence Sylvester equation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1756718$2D2187DE-E260-4D8A-867D-1DE17B4D742D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6307b38a80aee92538a17891533631e2da088e98","datavalue":{"value":"1434.65047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756718$0C382165-022F-48D7-9AF2-F76520D0D13A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"419ed4b462d7cbb2421f060d77367005a3924058","datavalue":{"value":{"entity-type":"item","numeric-id":389545,"id":"Q389545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756718$645313CB-0EF0-4F98-8141-BC31F23D7CAA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"50de7b9ed51593cffb5647baaa00c046f50e702c","datavalue":{"value":{"entity-type":"item","numeric-id":189352,"id":"Q189352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756718$4AF341F1-B1E2-484B-81B4-D4B38C2F0C53","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b3e8ce19e9f5978e8f566795e3d4c40e60d6b31","datavalue":{"value":{"time":"+2018-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1756718$C5304E58-AF0C-4AB8-9148-CB9A6BDAE087","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"eb98648e053b35c117f97ee083aa74e3731d42bc","datavalue":{"value":"An algorithm is proposed to compute an interval matrix that contains the symmetric matrix $X$ that solves $AX+X^TB=C$ (all matrices are in $\\mathbb{C}^{n\\times n}$). It was shown in [\\textit{M. Oozawa} et al., J. Comput. Appl. Math. 329, 51--56 (2018; Zbl 1373.15023)] how, under certain conditions, the problem can be transformed into a Lyapunov equation. Based on this result, conditions on the numerically computed generalized eigendecomposition of the pencil $(B,A^T)$ or $(A,B^T)$ are formulated to guarantee the existence of a unique solution. The algorithm finding the required interval matrix has complexity $O(n^3)$ assuming that the employed enclosure routines for products and inverses of matrices have complexity at most $O(n^3)$. The MATLAB code using INTLAB (interval arithmetic toolbox) is available online.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1756718$86473480-BD5F-4572-969E-0703B2789F91","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fc8a96e7da0a25d97c6c3415d8dffbc5c07a46e1","datavalue":{"value":{"entity-type":"item","numeric-id":283199,"id":"Q283199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756718$45D84359-BE79-4961-8B69-5B3B96F90BA5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd7243135392d6fa1440268df05830aa0079901a","datavalue":{"value":"65F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756718$5A7C3374-DDC6-41E9-A529-36CFB48223CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b06ff2ef9e04b42ff2c5c43e297cd9d734a55887","datavalue":{"value":"15A24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756718$C6A0CBF9-9C37-41AB-9681-416AF74F3BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7552bdbce121bf883055f4f08f72933da7729068","datavalue":{"value":"65G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756718$4DC24269-C7BC-4412-9B3A-D77D783CC45F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d180af7bdf78d99e3733b477fbe82a434a934b5","datavalue":{"value":"6996761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756718$EA6D5DB7-8471-4167-8BF6-56388F5ADE64","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4b573c93ca1dae3a88d380f9018a8ed9c8181ab","datavalue":{"value":"T-congruence Sylvester equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1756718$633DB5A4-D8FC-4933-B4F1-E6B1A8D2F8BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"567ba9aed29571e1121568165a17502fe1ece740","datavalue":{"value":"discrete Lyapunov equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1756718$E386F023-3F3D-49D8-AA33-087742F7F381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97136111d44955f236acb28424208141b135bc34","datavalue":{"value":"verified numerical computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1756718$39458716-E4D2-4AA7-BDFF-8D1FC8098C98","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bcd2724f6e8447a24419ed553b7520f7a96db016","datavalue":{"value":{"entity-type":"item","numeric-id":16194,"id":"Q16194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756718$6093B027-19B5-444F-870B-9FF4A6BC3503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7277556f41cdb70dc7da79167e5e13a657e95680","datavalue":{"value":{"entity-type":"item","numeric-id":22834,"id":"Q22834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756718$DAA81F36-152E-4F1C-B55A-DA892E98BB07","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":"Q1756718$877EC3B8-5A8C-4554-A623-20DAB5662BCB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6e210c3a35f1eebb8d67037f81a37ee34c7dcf8e","datavalue":{"value":"https://doi.org/10.1007/s13160-018-0307-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q1756718$7CE958F2-AF8F-4336-9407-0C2B282A63B8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c46bb34cbcd1148dbbeefd67e028dfb18688808","datavalue":{"value":"W2801423590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756718$06940F55-DF39-45B0-B826-05798D3E4601","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b113d081da690cf9f4ac566c5135fb485d7a993","datavalue":{"value":{"entity-type":"item","numeric-id":3048151,"id":"Q3048151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756718$A15BFA08-33C5-4A02-B35A-B052FCF72EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d78fd34827e0b95f2a2ed44cc3a476b94d2cb8b","datavalue":{"value":{"entity-type":"item","numeric-id":3435001,"id":"Q3435001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756718$42C216B7-225A-4187-971C-E8B13D344BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9407956249355250b18f2d4aaf0dd29e9172163","datavalue":{"value":{"entity-type":"item","numeric-id":651215,"id":"Q651215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756718$31EB66D0-43AB-497A-8C51-D3409636E360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c97df777e8f9a013c99de0d677d05988743b6097","datavalue":{"value":{"entity-type":"item","numeric-id":4917542,"id":"Q4917542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756718$1614B275-C9E8-4A57-AE66-38F93386DFAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e6c1d70e67f034b04a9978fccae2ed92ba46bc7","datavalue":{"value":{"entity-type":"item","numeric-id":4303969,"id":"Q4303969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756718$F1333CF5-E109-4A65-A41E-AA495E6E78A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8972b88c937267c66adc61a62135bbec3b9d0cee","datavalue":{"value":{"entity-type":"item","numeric-id":1027778,"id":"Q1027778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756718$63EDE048-AAC2-4CFE-8D8C-0509D6178629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5cc2dbcc3170f564f31b5003ba30304bd84fc76","datavalue":{"value":{"entity-type":"item","numeric-id":5422459,"id":"Q5422459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756718$975E287F-6D94-407A-B453-75CAC1DD7575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d99552d12f906c81c6c7420aadbcd15dd754b134","datavalue":{"value":{"entity-type":"item","numeric-id":765307,"id":"Q765307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756718$6EB80208-9964-4593-9FCD-44FD5B18E103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8358ed0fb02633640c09145c8842f7202bb37c80","datavalue":{"value":{"entity-type":"item","numeric-id":389546,"id":"Q389546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756718$4FDEE475-76A5-4D8E-8F9E-F92FFF8A5D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6668a74ab7274313b2cc9ae0236f11a5562ce744","datavalue":{"value":{"entity-type":"item","numeric-id":403840,"id":"Q403840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756718$56869BF9-4828-4518-B07E-F30E403C5C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faef2603335353318e00bf5bfb53f7bedb7539f9","datavalue":{"value":{"entity-type":"item","numeric-id":2936594,"id":"Q2936594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756718$AB138D49-C040-4914-885C-55A07A60EFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4459fe601edb3bcb97e27074408b35d23626617","datavalue":{"value":{"entity-type":"item","numeric-id":1675358,"id":"Q1675358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756718$5B0E6A54-0F59-489F-BAFF-1EEC07645DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a462f97a14149f26095e85bb29dcdaa29aa187a","datavalue":{"value":{"entity-type":"item","numeric-id":4949347,"id":"Q4949347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756718$CEF267D0-E0E5-4AA1-BF5B-2B95758C0525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"983404ae6e9901c376ec197272c18b3af0447e51","datavalue":{"value":{"entity-type":"item","numeric-id":3165156,"id":"Q3165156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756718$EC5735B1-1BEF-4A60-9FF6-2264B42316F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"491b72b786c712cf4f2719b558cbc614867f469f","datavalue":{"value":{"entity-type":"item","numeric-id":1940085,"id":"Q1940085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756718$6FC53101-6459-4BD4-B686-D3EC208A2129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ded59d9e250b25567f7803dff61625ed0968655","datavalue":{"value":{"entity-type":"item","numeric-id":364322,"id":"Q364322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756718$2CBE1EB5-8A94-4EA1-BF10-043ED9ABEE15","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d28cad938fa1a501ea49015b9b770e195226cd2d","datavalue":{"value":"10.1007/S13160-018-0307-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756718$9AB21DFE-80C7-4285-8700-A2039957454C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6313d1adaf7636d3f630d0019398a7482d771fc1","datavalue":{"value":{"entity-type":"item","numeric-id":3307622,"id":"Q3307622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef11f62032e3c89b187b6445a55976721e7a0b10","datavalue":{"value":{"amount":"+0.8064889907836914","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":"Q1756718$1875B29D-B0CA-4B00-8C66-3D5AB3212C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6277a63e217cca59564be182b35ce8c76778c88","datavalue":{"value":{"entity-type":"item","numeric-id":3180230,"id":"Q3180230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daedaa11c6f0f97d7830ea99a09cbb4f858ddd5a","datavalue":{"value":{"amount":"+0.8034236431121826","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":"Q1756718$31C56393-4C5C-4747-A1EE-D34606A2C911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb6fc25d25b330fa83632d2a299192adf40b10b2","datavalue":{"value":{"entity-type":"item","numeric-id":651215,"id":"Q651215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f319d82ee083724785b0c915aadd8eddda1bfc61","datavalue":{"value":{"amount":"+0.802806556224823","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":"Q1756718$4EC41CF1-F5E9-466D-AF73-BA0FC253AB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e68339728cbd00ef378d8af4c0a27f779ee8c4b","datavalue":{"value":{"entity-type":"item","numeric-id":389546,"id":"Q389546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49609f4bf69d8b4beb29c2afa2b7e3b55e07d1ef","datavalue":{"value":{"amount":"+0.7946769595146179","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":"Q1756718$527FD811-6871-42AC-98DE-7A5ED567A62D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7387f1e95a5fb3aef07e6d33625d8f3612aab95","datavalue":{"value":{"entity-type":"item","numeric-id":2450045,"id":"Q2450045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41ca9c93f4f6eaff6e50eec34d9e671b8b429ed7","datavalue":{"value":{"amount":"+0.7897868752479553","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":"Q1756718$561FDD42-44E5-4353-9CED-9380B6202C7A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1756718","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1756718"}}}}}