{"entities":{"Q7361519":{"pageid":31520096,"ns":120,"title":"Item:Q7361519","lastrevid":105423656,"modified":"2026-10-08T13:45:35Z","type":"item","id":"Q7361519","labels":{"en":{"language":"en","value":"Gauss-Jordan Algorithm and Its Applications"}},"descriptions":{"en":{"language":"en","value":"AFP entry Gauss_Jordan"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"948087fbca342a978b2e7d7cad0d39dabb3713aa","datavalue":{"value":"https://isa-afp.org/entries/Gauss_Jordan.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361519$592558EE-5854-474F-A71F-5EDCFDA99C66","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"3ac7196df7cfbb13ec1a00e4eadbe8c75213209e","datavalue":{"value":"Jose Divas\u00f3n","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361519$13B69FCB-4AE1-4E8F-ACE9-E1042F1677FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"f590724f98be0a407bcb6ce6e3ed61e0d0766c46","datavalue":{"value":"Jes\u00fas Aransay","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361519$E0FA05E2-5FBE-4F3D-99F8-BAA16A4DDCA3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"24789924e2c5e5bbd87243d305240c5bf38be288","datavalue":{"value":"The Gauss-Jordan algorithm states that any matrix over a field can be transformed by means of elementary row operations to a matrix in reduced row echelon form. The formalization is based on the Rank Nullity Theorem entry of the AFP and on the HOL-Multivariate-Analysis session of Isabelle, where matrices are represented as functions over finite types. We have set up the code generator to make this representation executable. In order to improve the performance, a refinement to immutable arrays has been carried out. We have formalized some of the applications of the Gauss-Jordan algorithm. Thanks to this development, the following facts can be computed over matrices whose elements belong to a field: Ranks, Determinants, Inverses, Bases and dimensions and Solutions of systems of linear equations. Code can be exported to SML and Haskell.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361519$9E77F693-0F2F-42F1-B159-BA8FCC9D03F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9124e22a925dc3c2ea1c24367b00eebdb1caa2fc","datavalue":{"value":{"time":"+2014-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361519$9E876E36-E676-4C8A-9D87-8441019DE42B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5e17821b99d2f1c5f6289dac839bd9a929b0cd1","datavalue":{"value":{"text":"Gauss-Jordan Algorithm and Its Applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361519$8A345829-1A54-48F9-B72E-AFE290D52A1E","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":"Q7361519$8311EB11-0A5E-45F8-9DC4-624AD89B7351","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"a742c7e8ff41cac7f1c8f7dde8bbcf881157576c","datavalue":{"value":{"entity-type":"item","numeric-id":7361930,"id":"Q7361930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361519$50CD1B9A-7626-436D-9537-A7923B5A8492","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"8b04062afcab9da0e2966e5a07727a614a9432ac","datavalue":{"value":{"entity-type":"item","numeric-id":7360778,"id":"Q7360778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361519$7367E210-561F-4A1A-A034-482F99421068","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":"Q7361519$A7702BFF-EB50-4E0E-8924-A0613F04BB8B","rank":"normal"}],"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"d3f82d1dc2a71a75c7cd7924be5c2cf5f2a90a50","datavalue":{"value":"28564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361519$39B6E7E6-DB21-4589-B36E-393FB017A772","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361519$AB262E18-D0E6-467B-B386-0A71AAB6C9F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89107e9c93cd6c803fd02a890f7a831dced41c0b","datavalue":{"value":"15.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361519$8159025A-F6DF-4E05-8972-15144FBF12E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"467910eb92f3fefb5ab991704afbc9c141aad063","datavalue":{"value":"65.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361519$B27EC7DE-6DB0-4E39-AE51-186965F56B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361519$8B8590D5-C671-4C24-A1E3-B23582CBF31E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7bfa9b7408d026ee7c8797115aff68fa8617418c","datavalue":{"value":"92.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361519$ECDEA18F-E632-4808-896D-617F7ABE8913","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361519$9DB7EAE2-9CF0-4E42-859B-83B49A77DEB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361519$D93CB382-E4A3-4525-B54F-19ADF85D3F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4dfac822d106dc7f697754008c4906d0b5156921","datavalue":{"value":{"entity-type":"item","numeric-id":35396,"id":"Q35396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361519$3F483901-727F-42D9-B717-B9678733B3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361519$211A18B7-AE91-4FBA-8F1C-19547EA2FF57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2cd157c0ce895ace042c647f41667d99482a6298","datavalue":{"value":{"entity-type":"item","numeric-id":23299,"id":"Q23299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361519$2737DF4F-048E-42CE-B706-0A0EA3E03378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f1f3f217ad7d25648b72a532a22e5bf696c7db2e","datavalue":{"value":{"entity-type":"item","numeric-id":40272,"id":"Q40272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361519$AEEB0B51-3FBD-4702-93A2-AA7DE55D9722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0f821b4f03f658efb74f12105f23ec4062bfd98c","datavalue":{"value":{"entity-type":"item","numeric-id":40953,"id":"Q40953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361519$B35A687E-2F90-4881-BB73-7806CCBD303E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f70e8f897325b539c702d8d7cb97dfafe554224c","datavalue":{"value":{"entity-type":"item","numeric-id":32823,"id":"Q32823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361519$C1A52853-26F7-43E9-BA14-96D2592DAEE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361519$CB060712-1C7D-44EF-8A9E-12D30D58C505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7af76fef8d60c5ff6f83c3b8ce7926e6a38c015f","datavalue":{"value":{"entity-type":"item","numeric-id":40277,"id":"Q40277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361519$AFCC8E59-B6D2-4B42-BBC4-AD0FA9AFD260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9ad8338290e864661fc95f2a66261cf7e07a407c","datavalue":{"value":{"entity-type":"item","numeric-id":32822,"id":"Q32822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361519$A73F8F53-57D3-4F08-BDD9-869290485D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4eea1e5549472c93f3282a38917960fdec6b61a1","datavalue":{"value":{"entity-type":"item","numeric-id":24733,"id":"Q24733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361519$86C10A91-04A2-4D1E-8D7D-742D3E197BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"144f0221487b5ba035abaca0f440960a9e47efeb","datavalue":{"value":{"entity-type":"item","numeric-id":27113,"id":"Q27113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361519$6AD8F40C-FAE5-4318-B369-E527C28665DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"27b35591f9a1d87570b3e9ffb19e51ff7cd09a28","datavalue":{"value":{"entity-type":"item","numeric-id":40544,"id":"Q40544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361519$C07B2E38-7248-41C4-A92E-24909D91B422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e2deb6bf1d4c2d4a91e6bd25d48cab95bae8848d","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361519$66394DBD-C966-4434-A56D-B14DEFBED0F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b82152c1528c5be7e2040d1abd74977f4fe51817","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361519$29F3B5A6-6F2B-4276-9622-B70DBF9466A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ff80b41d03c65073c007c903a317be0a9c94293e","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361519$A3E08834-42E3-4EEC-88DF-BDB93E6401AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a54e24244723bf29b2db533f355d939551876363","datavalue":{"value":{"entity-type":"item","numeric-id":22240,"id":"Q22240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361519$9A42695F-CFA6-4C62-9379-72774DF339DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e35607af390e3a347fc5cbd4b8045365c3202773","datavalue":{"value":{"entity-type":"item","numeric-id":40961,"id":"Q40961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361519$90D01037-3F18-40E4-A7F9-E3876B8DFEA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8533330b9fa0c1f7979d4af1d0e8bdba3ffc811c","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361519$98B68571-8B48-42AD-949E-1336FE1C5287","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Gauss-Jordan Algorithm and Its Applications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Gauss-Jordan_Algorithm_and_Its_Applications"}}}}}