Matches in SemOpenAlex for { <https://semopenalex.org/work/W1774872016> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W1774872016 abstract "Despite its mathematical origins, progress in computer assisted reasoning has mostly been driven by applications in computer science, like hardware or protocol security verification. Paradoxically, it has yet to gain widespread acceptance in its original domain of application, mathematics; this is commonly attributed to a lack of libraries: attempts to formalize advanced mathematics get bogged down into the formalization of an unwieldly large set of basic resuts." @default.
- W1774872016 created "2016-06-24" @default.
- W1774872016 creator A5078217586 @default.
- W1774872016 date "2009-01-01" @default.
- W1774872016 modified "2023-10-05" @default.
- W1774872016 title "Software Engineering for Mathematics" @default.
- W1774872016 doi "https://doi.org/10.1007/978-3-642-02614-0_4" @default.
- W1774872016 hasPublicationYear "2009" @default.
- W1774872016 type Work @default.
- W1774872016 sameAs 1774872016 @default.
- W1774872016 citedByCount "0" @default.
- W1774872016 crossrefType "book-chapter" @default.
- W1774872016 hasAuthorship W1774872016A5078217586 @default.
- W1774872016 hasBestOaLocation W17748720161 @default.
- W1774872016 hasConcept C115903868 @default.
- W1774872016 hasConcept C134306372 @default.
- W1774872016 hasConcept C142724271 @default.
- W1774872016 hasConcept C177264268 @default.
- W1774872016 hasConcept C195344581 @default.
- W1774872016 hasConcept C199360897 @default.
- W1774872016 hasConcept C204787440 @default.
- W1774872016 hasConcept C206880738 @default.
- W1774872016 hasConcept C2777904410 @default.
- W1774872016 hasConcept C2780385302 @default.
- W1774872016 hasConcept C33923547 @default.
- W1774872016 hasConcept C36503486 @default.
- W1774872016 hasConcept C41008148 @default.
- W1774872016 hasConcept C71924100 @default.
- W1774872016 hasConcept C80444323 @default.
- W1774872016 hasConceptScore W1774872016C115903868 @default.
- W1774872016 hasConceptScore W1774872016C134306372 @default.
- W1774872016 hasConceptScore W1774872016C142724271 @default.
- W1774872016 hasConceptScore W1774872016C177264268 @default.
- W1774872016 hasConceptScore W1774872016C195344581 @default.
- W1774872016 hasConceptScore W1774872016C199360897 @default.
- W1774872016 hasConceptScore W1774872016C204787440 @default.
- W1774872016 hasConceptScore W1774872016C206880738 @default.
- W1774872016 hasConceptScore W1774872016C2777904410 @default.
- W1774872016 hasConceptScore W1774872016C2780385302 @default.
- W1774872016 hasConceptScore W1774872016C33923547 @default.
- W1774872016 hasConceptScore W1774872016C36503486 @default.
- W1774872016 hasConceptScore W1774872016C41008148 @default.
- W1774872016 hasConceptScore W1774872016C71924100 @default.
- W1774872016 hasConceptScore W1774872016C80444323 @default.
- W1774872016 hasLocation W17748720161 @default.
- W1774872016 hasOpenAccess W1774872016 @default.
- W1774872016 hasPrimaryLocation W17748720161 @default.
- W1774872016 hasRelatedWork W1035905388 @default.
- W1774872016 hasRelatedWork W132216319 @default.
- W1774872016 hasRelatedWork W1509160570 @default.
- W1774872016 hasRelatedWork W2030192641 @default.
- W1774872016 hasRelatedWork W2034727419 @default.
- W1774872016 hasRelatedWork W2050183171 @default.
- W1774872016 hasRelatedWork W2068351463 @default.
- W1774872016 hasRelatedWork W2069084711 @default.
- W1774872016 hasRelatedWork W2080666622 @default.
- W1774872016 hasRelatedWork W2101832655 @default.
- W1774872016 hasRelatedWork W2111961465 @default.
- W1774872016 hasRelatedWork W2121390691 @default.
- W1774872016 hasRelatedWork W2167336311 @default.
- W1774872016 hasRelatedWork W2398026559 @default.
- W1774872016 hasRelatedWork W2475711258 @default.
- W1774872016 hasRelatedWork W2529605024 @default.
- W1774872016 hasRelatedWork W3095656753 @default.
- W1774872016 hasRelatedWork W2120376006 @default.
- W1774872016 hasRelatedWork W2188147614 @default.
- W1774872016 hasRelatedWork W2624320237 @default.
- W1774872016 isParatext "false" @default.
- W1774872016 isRetracted "false" @default.
- W1774872016 magId "1774872016" @default.
- W1774872016 workType "book-chapter" @default.