Matches in SemOpenAlex for { <https://semopenalex.org/work/W2529124776> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2529124776 abstract "We outline a program in the area of formalization of mathematics to automate theorem proving in algebra and algebraic geometry. We propose a construction of a dictionary between automated theorem provers and (La)TeX exploiting syntactic parsers. We describe its application to a repository of human-written facts and definitions in algebraic geometry (The Stacks Project). We use deep learning techniques." @default.
- W2529124776 created "2016-10-14" @default.
- W2529124776 creator A5074682919 @default.
- W2529124776 date "2017-01-01" @default.
- W2529124776 modified "2023-09-26" @default.
- W2529124776 title "DeepAlgebra - An Outline of a Program" @default.
- W2529124776 cites W1768814311 @default.
- W2529124776 cites W1815556503 @default.
- W2529124776 cites W2155552045 @default.
- W2529124776 cites W2262606152 @default.
- W2529124776 cites W2295728669 @default.
- W2529124776 cites W2428708786 @default.
- W2529124776 cites W2583369873 @default.
- W2529124776 doi "https://doi.org/10.1007/978-3-319-62075-6_1" @default.
- W2529124776 hasPublicationYear "2017" @default.
- W2529124776 type Work @default.
- W2529124776 sameAs 2529124776 @default.
- W2529124776 citedByCount "0" @default.
- W2529124776 crossrefType "book-chapter" @default.
- W2529124776 hasAuthorship W2529124776A5074682919 @default.
- W2529124776 hasBestOaLocation W25291247762 @default.
- W2529124776 hasConcept C134306372 @default.
- W2529124776 hasConcept C136119220 @default.
- W2529124776 hasConcept C154945302 @default.
- W2529124776 hasConcept C186644900 @default.
- W2529124776 hasConcept C199360897 @default.
- W2529124776 hasConcept C202444582 @default.
- W2529124776 hasConcept C206880738 @default.
- W2529124776 hasConcept C33923547 @default.
- W2529124776 hasConcept C41008148 @default.
- W2529124776 hasConcept C80444323 @default.
- W2529124776 hasConcept C9376300 @default.
- W2529124776 hasConceptScore W2529124776C134306372 @default.
- W2529124776 hasConceptScore W2529124776C136119220 @default.
- W2529124776 hasConceptScore W2529124776C154945302 @default.
- W2529124776 hasConceptScore W2529124776C186644900 @default.
- W2529124776 hasConceptScore W2529124776C199360897 @default.
- W2529124776 hasConceptScore W2529124776C202444582 @default.
- W2529124776 hasConceptScore W2529124776C206880738 @default.
- W2529124776 hasConceptScore W2529124776C33923547 @default.
- W2529124776 hasConceptScore W2529124776C41008148 @default.
- W2529124776 hasConceptScore W2529124776C80444323 @default.
- W2529124776 hasConceptScore W2529124776C9376300 @default.
- W2529124776 hasLocation W25291247761 @default.
- W2529124776 hasLocation W25291247762 @default.
- W2529124776 hasOpenAccess W2529124776 @default.
- W2529124776 hasPrimaryLocation W25291247761 @default.
- W2529124776 hasRelatedWork W118010866 @default.
- W2529124776 hasRelatedWork W1604876488 @default.
- W2529124776 hasRelatedWork W1781094 @default.
- W2529124776 hasRelatedWork W1850909982 @default.
- W2529124776 hasRelatedWork W1975007515 @default.
- W2529124776 hasRelatedWork W2039844959 @default.
- W2529124776 hasRelatedWork W2093019440 @default.
- W2529124776 hasRelatedWork W2115857898 @default.
- W2529124776 hasRelatedWork W2118034154 @default.
- W2529124776 hasRelatedWork W2129021623 @default.
- W2529124776 hasRelatedWork W2146998551 @default.
- W2529124776 hasRelatedWork W2159549711 @default.
- W2529124776 hasRelatedWork W2494123147 @default.
- W2529124776 hasRelatedWork W2751447742 @default.
- W2529124776 hasRelatedWork W2943553270 @default.
- W2529124776 hasRelatedWork W2951698000 @default.
- W2529124776 hasRelatedWork W2977439887 @default.
- W2529124776 hasRelatedWork W566883437 @default.
- W2529124776 hasRelatedWork W765237808 @default.
- W2529124776 hasRelatedWork W80675598 @default.
- W2529124776 isParatext "false" @default.
- W2529124776 isRetracted "false" @default.
- W2529124776 magId "2529124776" @default.
- W2529124776 workType "book-chapter" @default.