Matches in SemOpenAlex for { <https://semopenalex.org/work/W4205402328> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W4205402328 endingPage "106994" @default.
- W4205402328 startingPage "106994" @default.
- W4205402328 abstract "We give a computational approach to theorem proving in homological algebra. This approach is based on computations in the free abelian category of an additive category A. We show that the free abelian category is amenable to explicit computations whenever we can decide homotopy equations in A. As some consequences of our investigations, we recover Dowker's explicit formula for the connecting homomorphism ∂ in the snake lemma, we find a universal sense in which ∂ is unique, and we give a refined version of the 5-lemma." @default.
- W4205402328 created "2022-01-26" @default.
- W4205402328 creator A5038062301 @default.
- W4205402328 date "2022-07-01" @default.
- W4205402328 modified "2023-10-18" @default.
- W4205402328 title "On free abelian categories for theorem proving" @default.
- W4205402328 cites W1963684911 @default.
- W4205402328 cites W1973082037 @default.
- W4205402328 cites W2017925557 @default.
- W4205402328 cites W2051256651 @default.
- W4205402328 cites W2113758676 @default.
- W4205402328 cites W3092865148 @default.
- W4205402328 cites W3141871949 @default.
- W4205402328 cites W4229738979 @default.
- W4205402328 doi "https://doi.org/10.1016/j.jpaa.2021.106994" @default.
- W4205402328 hasPublicationYear "2022" @default.
- W4205402328 type Work @default.
- W4205402328 citedByCount "1" @default.
- W4205402328 countsByYear W42054023282023 @default.
- W4205402328 crossrefType "journal-article" @default.
- W4205402328 hasAuthorship W4205402328A5038062301 @default.
- W4205402328 hasBestOaLocation W42054023282 @default.
- W4205402328 hasConcept C11413529 @default.
- W4205402328 hasConcept C118615104 @default.
- W4205402328 hasConcept C136119220 @default.
- W4205402328 hasConcept C136170076 @default.
- W4205402328 hasConcept C156772000 @default.
- W4205402328 hasConcept C18364862 @default.
- W4205402328 hasConcept C186921422 @default.
- W4205402328 hasConcept C18903297 @default.
- W4205402328 hasConcept C202444582 @default.
- W4205402328 hasConcept C2777759810 @default.
- W4205402328 hasConcept C33923547 @default.
- W4205402328 hasConcept C4042151 @default.
- W4205402328 hasConcept C45374587 @default.
- W4205402328 hasConcept C46757340 @default.
- W4205402328 hasConcept C5961521 @default.
- W4205402328 hasConcept C86803240 @default.
- W4205402328 hasConceptScore W4205402328C11413529 @default.
- W4205402328 hasConceptScore W4205402328C118615104 @default.
- W4205402328 hasConceptScore W4205402328C136119220 @default.
- W4205402328 hasConceptScore W4205402328C136170076 @default.
- W4205402328 hasConceptScore W4205402328C156772000 @default.
- W4205402328 hasConceptScore W4205402328C18364862 @default.
- W4205402328 hasConceptScore W4205402328C186921422 @default.
- W4205402328 hasConceptScore W4205402328C18903297 @default.
- W4205402328 hasConceptScore W4205402328C202444582 @default.
- W4205402328 hasConceptScore W4205402328C2777759810 @default.
- W4205402328 hasConceptScore W4205402328C33923547 @default.
- W4205402328 hasConceptScore W4205402328C4042151 @default.
- W4205402328 hasConceptScore W4205402328C45374587 @default.
- W4205402328 hasConceptScore W4205402328C46757340 @default.
- W4205402328 hasConceptScore W4205402328C5961521 @default.
- W4205402328 hasConceptScore W4205402328C86803240 @default.
- W4205402328 hasFunder F4320320879 @default.
- W4205402328 hasIssue "7" @default.
- W4205402328 hasLocation W42054023281 @default.
- W4205402328 hasLocation W42054023282 @default.
- W4205402328 hasOpenAccess W4205402328 @default.
- W4205402328 hasPrimaryLocation W42054023281 @default.
- W4205402328 hasRelatedWork W1554463794 @default.
- W4205402328 hasRelatedWork W2340868803 @default.
- W4205402328 hasRelatedWork W2383331037 @default.
- W4205402328 hasRelatedWork W290883681 @default.
- W4205402328 hasRelatedWork W2979935371 @default.
- W4205402328 hasRelatedWork W3137618992 @default.
- W4205402328 hasRelatedWork W4205402328 @default.
- W4205402328 hasRelatedWork W4287269306 @default.
- W4205402328 hasRelatedWork W4296990158 @default.
- W4205402328 hasRelatedWork W4353115318 @default.
- W4205402328 hasVolume "226" @default.
- W4205402328 isParatext "false" @default.
- W4205402328 isRetracted "false" @default.
- W4205402328 workType "article" @default.