Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569306067> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1569306067 abstract "The recent rise of ''computer-assisted'' and ''experimental'' mathematics raises intriguing questions as to the future role of computation in mathematics. These results also draw into question the traditional distinctions that have been drawn between formal proof and computationally-assisted proof. This article explores these questions in the context of the growing consensus among computer technologists that Moore's Law is likely to continue unabated for quite some time into the future, producing hardware and software much more powerful than what is available today." @default.
- W1569306067 created "2016-06-24" @default.
- W1569306067 creator A5081580336 @default.
- W1569306067 creator A5088720034 @default.
- W1569306067 date "2005-10-26" @default.
- W1569306067 modified "2023-09-25" @default.
- W1569306067 title "Future Prospects for Computer-Assisted Mathematics" @default.
- W1569306067 cites W1578443023 @default.
- W1569306067 cites W1580141302 @default.
- W1569306067 cites W1595653788 @default.
- W1569306067 cites W1664240318 @default.
- W1569306067 cites W181665514 @default.
- W1569306067 cites W1952011408 @default.
- W1569306067 cites W2005936791 @default.
- W1569306067 cites W2011080089 @default.
- W1569306067 cites W2019045525 @default.
- W1569306067 cites W2041272837 @default.
- W1569306067 cites W2073085121 @default.
- W1569306067 cites W2083360012 @default.
- W1569306067 cites W2145880011 @default.
- W1569306067 cites W2147038842 @default.
- W1569306067 cites W2158496755 @default.
- W1569306067 cites W2159130720 @default.
- W1569306067 cites W2257865214 @default.
- W1569306067 hasPublicationYear "2005" @default.
- W1569306067 type Work @default.
- W1569306067 sameAs 1569306067 @default.
- W1569306067 citedByCount "0" @default.
- W1569306067 crossrefType "journal-article" @default.
- W1569306067 hasAuthorship W1569306067A5081580336 @default.
- W1569306067 hasAuthorship W1569306067A5088720034 @default.
- W1569306067 hasConcept C11413529 @default.
- W1569306067 hasConcept C115903868 @default.
- W1569306067 hasConcept C145420912 @default.
- W1569306067 hasConcept C151730666 @default.
- W1569306067 hasConcept C199360897 @default.
- W1569306067 hasConcept C2777904410 @default.
- W1569306067 hasConcept C2779343474 @default.
- W1569306067 hasConcept C2984499602 @default.
- W1569306067 hasConcept C33923547 @default.
- W1569306067 hasConcept C41008148 @default.
- W1569306067 hasConcept C45374587 @default.
- W1569306067 hasConcept C80444323 @default.
- W1569306067 hasConcept C86803240 @default.
- W1569306067 hasConceptScore W1569306067C11413529 @default.
- W1569306067 hasConceptScore W1569306067C115903868 @default.
- W1569306067 hasConceptScore W1569306067C145420912 @default.
- W1569306067 hasConceptScore W1569306067C151730666 @default.
- W1569306067 hasConceptScore W1569306067C199360897 @default.
- W1569306067 hasConceptScore W1569306067C2777904410 @default.
- W1569306067 hasConceptScore W1569306067C2779343474 @default.
- W1569306067 hasConceptScore W1569306067C2984499602 @default.
- W1569306067 hasConceptScore W1569306067C33923547 @default.
- W1569306067 hasConceptScore W1569306067C41008148 @default.
- W1569306067 hasConceptScore W1569306067C45374587 @default.
- W1569306067 hasConceptScore W1569306067C80444323 @default.
- W1569306067 hasConceptScore W1569306067C86803240 @default.
- W1569306067 hasIssue "8" @default.
- W1569306067 hasLocation W15693060671 @default.
- W1569306067 hasOpenAccess W1569306067 @default.
- W1569306067 hasPrimaryLocation W15693060671 @default.
- W1569306067 hasRelatedWork W1541003838 @default.
- W1569306067 hasRelatedWork W1575260589 @default.
- W1569306067 hasRelatedWork W1581303888 @default.
- W1569306067 hasRelatedWork W1824139691 @default.
- W1569306067 hasRelatedWork W185167460 @default.
- W1569306067 hasRelatedWork W1985948434 @default.
- W1569306067 hasRelatedWork W1987838244 @default.
- W1569306067 hasRelatedWork W1997279781 @default.
- W1569306067 hasRelatedWork W2007851392 @default.
- W1569306067 hasRelatedWork W2012594481 @default.
- W1569306067 hasRelatedWork W203630653 @default.
- W1569306067 hasRelatedWork W2073015627 @default.
- W1569306067 hasRelatedWork W2117196111 @default.
- W1569306067 hasRelatedWork W2157656796 @default.
- W1569306067 hasRelatedWork W2336902907 @default.
- W1569306067 hasRelatedWork W2500436749 @default.
- W1569306067 hasRelatedWork W2518226979 @default.
- W1569306067 hasRelatedWork W2889664394 @default.
- W1569306067 hasRelatedWork W3086075254 @default.
- W1569306067 hasRelatedWork W87802918 @default.
- W1569306067 hasVolume "37" @default.
- W1569306067 isParatext "false" @default.
- W1569306067 isRetracted "false" @default.
- W1569306067 magId "1569306067" @default.
- W1569306067 workType "article" @default.