FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2951630209> ?p ?o ?g. }

• W2951630209 abstract "The highest level of mathematics has traditionally been seen as a solitary endeavour, to produce a proof for review and acceptance by research peers. Mathematics is now at a remarkable inflexion point, with new technology radically extending the power and limits of individuals. Crowdsourcing pulls together diverse experts to solve problems; symbolic computation tackles huge routine calculations; and computers check proofs too long and complicated for humans to comprehend. Mathematical practice is an emerging interdisciplinary field which draws on philosophy and science to understand how mathematics is produced. Online mathematical activity provides a novel and rich source of data for empirical investigation of mathematical practice - for example the community question answering system {it mathoverflow} contains around 40,000 mathematical conversations, and {it polymath} collaborations provide transcripts of the process of discovering proofs. Our preliminary investigations have demonstrated the importance of soft aspects such as analogy and creativity, alongside deduction and proof, in the production of mathematics, and have given us new ways to think about the roles of people and machines in creating new mathematical knowledge. We discuss further investigation of these resources and what it might reveal. Crowdsourced mathematical activity is an example of a social machine, a new paradigm, identified by Berners-Lee, for viewing a combination of people and computers as a single problem-solving entity, and the subject of major international research endeavours. We outline a future research agenda for mathematics machines, a combination of people, computers, and mathematical archives to create and apply mathematics, with the potential to change the way people do mathematics, and to transform the reach, pace, and impact of mathematics research." @default.
• W2951630209 created "2019-06-27" @default.
• W2951630209 creator A5012487481 @default.
• W2951630209 creator A5028867738 @default.
• W2951630209 date "2013-05-04" @default.
• W2951630209 modified "2023-09-27" @default.
• W2951630209 title "Mathematical practice, crowdsourcing, and social machines" @default.
• W2951630209 cites W146175359 @default.
• W2951630209 cites W1492160417 @default.
• W2951630209 cites W1511715654 @default.
• W2951630209 cites W1521372188 @default.
• W2951630209 cites W1536900577 @default.
• W2951630209 cites W1548778571 @default.
• W2951630209 cites W1555144148 @default.
• W2951630209 cites W1559063789 @default.
• W2951630209 cites W1578049461 @default.
• W2951630209 cites W1591422284 @default.
• W2951630209 cites W1901149896 @default.
• W2951630209 cites W1964121193 @default.
• W2951630209 cites W1975897675 @default.
• W2951630209 cites W1980510330 @default.
• W2951630209 cites W1989324470 @default.
• W2951630209 cites W1998543083 @default.
• W2951630209 cites W2005973420 @default.
• W2951630209 cites W2014136929 @default.
• W2951630209 cites W2020595717 @default.
• W2951630209 cites W2025572920 @default.
• W2951630209 cites W2029446742 @default.
• W2951630209 cites W2039276981 @default.
• W2951630209 cites W2041714893 @default.
• W2951630209 cites W2044950274 @default.
• W2951630209 cites W2054240114 @default.
• W2951630209 cites W2077482164 @default.
• W2951630209 cites W2085659299 @default.
• W2951630209 cites W2087435679 @default.
• W2951630209 cites W2087730581 @default.
• W2951630209 cites W2108960318 @default.
• W2951630209 cites W2109598262 @default.
• W2951630209 cites W2111039950 @default.
• W2951630209 cites W2112407717 @default.
• W2951630209 cites W2114742812 @default.
• W2951630209 cites W2116313279 @default.
• W2951630209 cites W2125545976 @default.
• W2951630209 cites W2126209209 @default.
• W2951630209 cites W2144687289 @default.
• W2951630209 cites W2147639553 @default.
• W2951630209 cites W2155552045 @default.
• W2951630209 cites W2326972230 @default.
• W2951630209 cites W2335418569 @default.
• W2951630209 cites W2345851102 @default.
• W2951630209 cites W2481261732 @default.
• W2951630209 cites W2529956207 @default.
• W2951630209 cites W2805840161 @default.
• W2951630209 cites W2913461794 @default.
• W2951630209 cites W2962844449 @default.
• W2951630209 cites W2979134767 @default.
• W2951630209 cites W588695281 @default.
• W2951630209 cites W589496318 @default.
• W2951630209 cites W620662864 @default.
• W2951630209 cites W659055392 @default.
• W2951630209 cites W1928263502 @default.
• W2951630209 hasPublicationYear "2013" @default.
• W2951630209 type Work @default.
• W2951630209 sameAs 2951630209 @default.
• W2951630209 citedByCount "6" @default.
• W2951630209 countsByYear W29516302092017 @default.
• W2951630209 countsByYear W29516302092018 @default.
• W2951630209 countsByYear W29516302092019 @default.
• W2951630209 countsByYear W29516302092020 @default.
• W2951630209 countsByYear W29516302092021 @default.
• W2951630209 crossrefType "posted-content" @default.
• W2951630209 hasAuthorship W2951630209A5012487481 @default.
• W2951630209 hasAuthorship W2951630209A5028867738 @default.
• W2951630209 hasConcept C108710211 @default.
• W2951630209 hasConcept C11012388 @default.
• W2951630209 hasConcept C111472728 @default.
• W2951630209 hasConcept C136764020 @default.
• W2951630209 hasConcept C138885662 @default.
• W2951630209 hasConcept C145420912 @default.
• W2951630209 hasConcept C154945302 @default.
• W2951630209 hasConcept C166957645 @default.
• W2951630209 hasConcept C17744445 @default.
• W2951630209 hasConcept C199539241 @default.
• W2951630209 hasConcept C21621646 @default.
• W2951630209 hasConcept C2522767166 @default.
• W2951630209 hasConcept C2524010 @default.
• W2951630209 hasConcept C2776603922 @default.
• W2951630209 hasConcept C2780506305 @default.
• W2951630209 hasConcept C28719098 @default.
• W2951630209 hasConcept C33923547 @default.
• W2951630209 hasConcept C41008148 @default.
• W2951630209 hasConcept C4554734 @default.
• W2951630209 hasConcept C521332185 @default.
• W2951630209 hasConcept C56289545 @default.
• W2951630209 hasConcept C62230096 @default.
• W2951630209 hasConcept C95457728 @default.
• W2951630209 hasConceptScore W2951630209C108710211 @default.
• W2951630209 hasConceptScore W2951630209C11012388 @default.
• W2951630209 hasConceptScore W2951630209C111472728 @default.
• W2951630209 hasConceptScore W2951630209C136764020 @default.

• next