Matches in SemOpenAlex for { <https://semopenalex.org/work/W2941946271> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2941946271 abstract "Over the last decades, a class of important mathematical results have required an ever increasing amount of human effort to carry out. For some, the help of computers is now indispensable. We analyze the implications of this trend towards mathematics, its relation to human cognition, and how machine support for big math can be organized. The central contribution of this position paper is an information model for doing mathematics, which posits that humans very efficiently integrate four aspects: inference, computation, tabulation, and narration around a well-organized core of mathematical knowledge. The challenge for mathematical software systems is that these four aspects need to be integrated as well. We briefly survey the state of the art." @default.
- W2941946271 created "2019-05-03" @default.
- W2941946271 creator A5026752114 @default.
- W2941946271 creator A5074007281 @default.
- W2941946271 creator A5091861223 @default.
- W2941946271 creator A5015060761 @default.
- W2941946271 date "2019-04-23" @default.
- W2941946271 modified "2023-09-23" @default.
- W2941946271 title "Big Math and the One-Brain Barrier A Position Paper and Architecture Proposal." @default.
- W2941946271 cites W1508641834 @default.
- W2941946271 cites W1548778571 @default.
- W2941946271 cites W1571434026 @default.
- W2941946271 cites W1575675278 @default.
- W2941946271 cites W1603543937 @default.
- W2941946271 cites W1999680561 @default.
- W2941946271 cites W2111697230 @default.
- W2941946271 cites W2123586642 @default.
- W2941946271 cites W2302501749 @default.
- W2941946271 cites W2776475481 @default.
- W2941946271 cites W2890439620 @default.
- W2941946271 cites W3099031655 @default.
- W2941946271 cites W3106487221 @default.
- W2941946271 cites W37669149 @default.
- W2941946271 cites W184243303 @default.
- W2941946271 hasPublicationYear "2019" @default.
- W2941946271 type Work @default.
- W2941946271 sameAs 2941946271 @default.
- W2941946271 citedByCount "2" @default.
- W2941946271 countsByYear W29419462712020 @default.
- W2941946271 countsByYear W29419462712021 @default.
- W2941946271 crossrefType "posted-content" @default.
- W2941946271 hasAuthorship W2941946271A5015060761 @default.
- W2941946271 hasAuthorship W2941946271A5026752114 @default.
- W2941946271 hasAuthorship W2941946271A5074007281 @default.
- W2941946271 hasAuthorship W2941946271A5091861223 @default.
- W2941946271 hasConcept C10138342 @default.
- W2941946271 hasConcept C124101348 @default.
- W2941946271 hasConcept C138885662 @default.
- W2941946271 hasConcept C154945302 @default.
- W2941946271 hasConcept C15744967 @default.
- W2941946271 hasConcept C162324750 @default.
- W2941946271 hasConcept C169760540 @default.
- W2941946271 hasConcept C169900460 @default.
- W2941946271 hasConcept C188147891 @default.
- W2941946271 hasConcept C198082294 @default.
- W2941946271 hasConcept C199033989 @default.
- W2941946271 hasConcept C2522767166 @default.
- W2941946271 hasConcept C25343380 @default.
- W2941946271 hasConcept C2776214188 @default.
- W2941946271 hasConcept C2777212361 @default.
- W2941946271 hasConcept C41008148 @default.
- W2941946271 hasConcept C41895202 @default.
- W2941946271 hasConcept C75684735 @default.
- W2941946271 hasConceptScore W2941946271C10138342 @default.
- W2941946271 hasConceptScore W2941946271C124101348 @default.
- W2941946271 hasConceptScore W2941946271C138885662 @default.
- W2941946271 hasConceptScore W2941946271C154945302 @default.
- W2941946271 hasConceptScore W2941946271C15744967 @default.
- W2941946271 hasConceptScore W2941946271C162324750 @default.
- W2941946271 hasConceptScore W2941946271C169760540 @default.
- W2941946271 hasConceptScore W2941946271C169900460 @default.
- W2941946271 hasConceptScore W2941946271C188147891 @default.
- W2941946271 hasConceptScore W2941946271C198082294 @default.
- W2941946271 hasConceptScore W2941946271C199033989 @default.
- W2941946271 hasConceptScore W2941946271C2522767166 @default.
- W2941946271 hasConceptScore W2941946271C25343380 @default.
- W2941946271 hasConceptScore W2941946271C2776214188 @default.
- W2941946271 hasConceptScore W2941946271C2777212361 @default.
- W2941946271 hasConceptScore W2941946271C41008148 @default.
- W2941946271 hasConceptScore W2941946271C41895202 @default.
- W2941946271 hasConceptScore W2941946271C75684735 @default.
- W2941946271 hasLocation W29419462711 @default.
- W2941946271 hasOpenAccess W2941946271 @default.
- W2941946271 hasPrimaryLocation W29419462711 @default.
- W2941946271 hasRelatedWork W154205695 @default.
- W2941946271 hasRelatedWork W1891702321 @default.
- W2941946271 hasRelatedWork W1970413602 @default.
- W2941946271 hasRelatedWork W2024203470 @default.
- W2941946271 hasRelatedWork W2104987527 @default.
- W2941946271 hasRelatedWork W2489870848 @default.
- W2941946271 hasRelatedWork W2506494128 @default.
- W2941946271 hasRelatedWork W2622080056 @default.
- W2941946271 hasRelatedWork W2781418183 @default.
- W2941946271 hasRelatedWork W2902672843 @default.
- W2941946271 hasRelatedWork W2981908478 @default.
- W2941946271 hasRelatedWork W2996399669 @default.
- W2941946271 hasRelatedWork W3008733315 @default.
- W2941946271 hasRelatedWork W3040116185 @default.
- W2941946271 hasRelatedWork W3105606612 @default.
- W2941946271 hasRelatedWork W3170292221 @default.
- W2941946271 hasRelatedWork W3196053185 @default.
- W2941946271 hasRelatedWork W47942118 @default.
- W2941946271 hasRelatedWork W54364797 @default.
- W2941946271 hasRelatedWork W2229478277 @default.
- W2941946271 isParatext "false" @default.
- W2941946271 isRetracted "false" @default.
- W2941946271 magId "2941946271" @default.
- W2941946271 workType "article" @default.