{"entities":{"Q2457386":{"pageid":2468129,"ns":120,"title":"Item:Q2457386","lastrevid":57934059,"modified":"2026-04-03T03:46:03Z","type":"item","id":"Q2457386","labels":{"en":{"language":"en","value":"Computing spectral sequences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5203493"}},"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":"Q2457386$D1C6C520-4049-4C88-BF27-95251BC53060","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b84350a6af0ae568ce19b8e5f2a955bae8dc4425","datavalue":{"value":{"text":"Computing spectral sequences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2457386$E203BD90-4ACA-4171-8D3F-407C493C6402","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"30a7a01a1d6fd77fc38eff0b6a0fc82670a6050d","datavalue":{"value":"1132.55008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457386$79745A7B-DC37-462E-B759-750D2515FCEB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e356d3659f85d1eec4a83a131f875275e1558296","datavalue":{"value":{"entity-type":"item","numeric-id":420742,"id":"Q420742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457386$D1A27609-6927-4422-83D6-AAFD75A85B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"809be5a280a390e9b9ebceeb8483a5aef92ca2b8","datavalue":{"value":{"entity-type":"item","numeric-id":714653,"id":"Q714653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457386$9918D0D2-73D7-4645-A5CA-CF4B977364A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2742bc74281e45d5f573cb9dc1b7a4db7f023f65","datavalue":{"value":{"entity-type":"item","numeric-id":1565829,"id":"Q1565829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457386$C300229D-3132-4E24-999D-1C2B075334B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457386$387AD01F-47CC-46D8-A430-0BA02DFCD439","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b92f17929f5a72155ae3100d6d6310726eec0e95","datavalue":{"value":{"time":"+2007-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2457386$C681C1CF-AA4E-407B-90B6-33D02B90BB35","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ede256ed5dbba7440001b6a6b5a15ee94c1fbb87","datavalue":{"value":"https://arxiv.org/abs/cs/0602064","type":"string"},"datatype":"url"},"type":"statement","id":"Q2457386$B95ED015-CE98-4A04-9DF7-67EE6D516E8F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9f7cccb902ea19e8de6f6ec7ba24c1f54ab7f7ed","datavalue":{"value":"As a computational tool spectral sequences suffer from the fact that although one can compute the chain groups of the \\(E^{r}\\) term from the \\(E^{r-1}\\) terms and \\(d_{r-1}\\), the determination of the differential \\(d_{r}\\) requires additional insight. This paper uses examples to explain how the notion of an ``object with effective homology'' allows one to determine algorithmically not only the \\(E^{r}\\) terms of a spectral sequence but also the differentials. The paper concentrates on descriptions of illustrative examples that use the Kenzo system -- a homological algebra computation system written in LISP -- to compute examples of the Serre and Eilenberg-Moore spectral sequences.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457386$7802277C-4CB9-4EA4-B970-5969F30D9035","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9771d949453c6d8ec6d2de8f414591aa3159d9e8","datavalue":{"value":"55T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457386$6DA3B2E1-389B-420C-AD48-E436F171E8CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2b374fefb2a00f11a57317d8f0154e055beb640","datavalue":{"value":"55T10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457386$7E351BAF-1B20-4405-B7E4-691FCC01D55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8384f76ef0e315ebdc8b5641fa3723cf522bcf76","datavalue":{"value":"55T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457386$2BFEC9E7-26F3-4ED4-82D5-4AB402BE66AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be2c5c3382b034b3cc3d16f0d6701e304d6a4484","datavalue":{"value":"5203493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457386$8A0BBC68-E7B1-4B82-BF66-9191ADAA2EDF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e777ddee6bf24fdbad266d171a36ce7809602a9","datavalue":{"value":"Symbolic computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457386$5B40D604-1D92-41D2-ABFE-5D7010E17E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649b5d4a84919b7669ba1ad53c37a6dfb8e0baf","datavalue":{"value":"spectral sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457386$1D3C73DC-AAD8-49F2-96A5-497A65A9111C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11aacd9305ca98116f4b6fc72e279fc354d59183","datavalue":{"value":"effective homology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457386$DFDE8703-3E4D-476F-AB1F-0B5DD9A71633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6c5acfa365166fc4f2cfe6d0f3080d5cae08486","datavalue":{"value":"common LISP","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457386$07838329-75E8-4AF0-A70E-472DF7CC2FA2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"073034c111734685a386a9ec1a39b197886ab678","datavalue":{"value":{"entity-type":"item","numeric-id":1235431,"id":"Q1235431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457386$5756FC3F-6CB2-4485-895E-A76F4F258BD3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efacd6a40fcceaf80f5658fa8699430affa80235","datavalue":{"value":{"entity-type":"item","numeric-id":17016,"id":"Q17016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457386$717FE7D9-77E4-4EE4-BE5C-4C40C44AB17F","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":"Q2457386$1C95298E-F875-4BB7-B088-F7691F645F08","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a58d812ecf77c72c701ac973d50dfc7fea215a34","datavalue":{"value":"W2125582656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457386$DDA082A7-0F6C-4C0C-B6B1-1BF126051965","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c61614e8d5c29ad4096e1aa828a51c5264b0346","datavalue":{"value":{"entity-type":"item","numeric-id":2524978,"id":"Q2524978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457386$5E2CA1F3-5AFA-4C7C-8507-E9ABF538C863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6a4fcdc0c0c73019909bb765662c69f2c1d7cae","datavalue":{"value":{"entity-type":"item","numeric-id":5817990,"id":"Q5817990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457386$EDE915BF-57A0-42A3-B8A4-2974F06CD877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2d3ad722acfe3d4d51a744cbea4a1ac1e919520","datavalue":{"value":{"entity-type":"item","numeric-id":4160091,"id":"Q4160091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457386$51A5F267-A650-4DC9-A525-4BABA2D59C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"917d3aadc3d46f14bb9bbad70ccd4473d23ba1a4","datavalue":{"value":{"entity-type":"item","numeric-id":3697897,"id":"Q3697897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457386$F2995ED0-199D-45E9-8FFA-9ECA2860BBBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ac29f74700bc5552404df60b3fc99f597ac13b3","datavalue":{"value":{"entity-type":"item","numeric-id":5917604,"id":"Q5917604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457386$95F63B89-88EB-4363-B2FA-67970C0C917C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50a8569e46b6ebf9bdf790ad48b6a4dab614e1a9","datavalue":{"value":{"entity-type":"item","numeric-id":5550390,"id":"Q5550390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457386$338BB7A4-AC65-4EA9-AEE0-3DFA6C132FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a357a3b561ccdc8d7429c7e14c4c790e76d26e0","datavalue":{"value":{"entity-type":"item","numeric-id":1612751,"id":"Q1612751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457386$1EFB97D4-DBB3-495D-93B4-32955668FA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2314ad2d69b1c207a7603bf238e675d68a398c0","datavalue":{"value":{"entity-type":"item","numeric-id":4676271,"id":"Q4676271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457386$5A91EE33-B2FA-4C24-B773-96B5ACDF3859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5abcf41fea649615601f486008c895807c31c664","datavalue":{"value":{"entity-type":"item","numeric-id":2649877,"id":"Q2649877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457386$9A97A858-C904-44E5-A155-2D06AE43A978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d92aee2527e722802406a07331ada57de2ba0f76","datavalue":{"value":{"entity-type":"item","numeric-id":5530411,"id":"Q5530411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457386$5A3C19A8-929A-4242-87D4-113C047AEE84","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d09e0911870215701db0d1e36fca610372484d4","datavalue":{"value":"10.1016/J.JSC.2006.06.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457386$F906B26B-2B3D-4E2E-835A-858824E6E6BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"578f3a782f428679a897c4559a12751081a512b2","datavalue":{"value":{"entity-type":"item","numeric-id":3062087,"id":"Q3062087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f9f79fa66efd009930ea9088c31dcd798b78c24","datavalue":{"value":{"amount":"+0.8930982351303101","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":"Q2457386$16FF86E7-5FD7-42AE-941E-6846CEDD19AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b52c54b93a6002b49d0316fa7f5f8698b47032b","datavalue":{"value":{"entity-type":"item","numeric-id":3645928,"id":"Q3645928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22695cc00bb4d8a1592f5f907ce8f3f63b957cab","datavalue":{"value":{"amount":"+0.8921433687210083","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":"Q2457386$1A8F6C4C-E87A-4E68-8A5B-7981D9DFA7C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87c49bab3d57099e76c0351c3733985fe40438d2","datavalue":{"value":{"entity-type":"item","numeric-id":3787156,"id":"Q3787156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e507e520fda6984b04ed80708315438fe416512","datavalue":{"value":{"amount":"+0.878282368183136","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":"Q2457386$82FD85C0-F59B-48CA-8950-E2E16370F41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48529b80a56f14acf863d09bfd701ee345922050","datavalue":{"value":{"entity-type":"item","numeric-id":5120195,"id":"Q5120195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d70d52e7d78293ada097ddae3f1c7fd6426ed3b0","datavalue":{"value":{"amount":"+0.8663294315338135","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":"Q2457386$E44F950D-5C11-47B6-B588-E973FDFE027E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5308f49950a7f8d5ff06ba44c9b881b27efbdbe9","datavalue":{"value":{"entity-type":"item","numeric-id":2156362,"id":"Q2156362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae184e6ebb443e010448aa1f2083bb807a4eca51","datavalue":{"value":{"amount":"+0.8547002673149109","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":"Q2457386$1C21ADBE-3E7B-49CC-B86E-C12B42A0BEA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2457386","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2457386"}}}}}