FRINK Linked Data Fragments server

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

• W1507456968 abstract "Kurt Mehlhorn's foundational results in computational geometry provide not only a basis for practical geometry systems such as Leda and CGAL, they also, in the spirit of Euclid, provide a sound basis for geometric truth. This article shows how Mehlhorn's ideas from computational geometry have influenced work on the logical basis for constructive geometry. In particular there is a sketch of new decidability results for constructive Euclidean geometry as formulated in computational type theory, CTT. Theorem proving systems for type theory are important in establishing knowledge to the highest standards of certainty, and in due course they will play a significant role in geometry systems." @default.
• W1507456968 created "2016-06-24" @default.
• W1507456968 creator A5051801130 @default.
• W1507456968 date "2009-01-01" @default.
• W1507456968 modified "2023-09-26" @default.
• W1507456968 title "Building Mathematics-Based Software Systems to Advance Science and Create Knowledge" @default.
• W1507456968 cites W155342555 @default.
• W1507456968 cites W1553511155 @default.
• W1507456968 cites W1601195943 @default.
• W1507456968 cites W1956324564 @default.
• W1507456968 cites W1977189131 @default.
• W1507456968 cites W1986790869 @default.
• W1507456968 cites W2041921428 @default.
• W1507456968 cites W2067558609 @default.
• W1507456968 cites W2104923354 @default.
• W1507456968 cites W2111697230 @default.
• W1507456968 cites W2114124105 @default.
• W1507456968 cites W2124798629 @default.
• W1507456968 cites W2332520998 @default.
• W1507456968 cites W4229738979 @default.
• W1507456968 cites W4239316923 @default.
• W1507456968 doi "https://doi.org/10.1007/978-3-642-03456-5_1" @default.
• W1507456968 hasPublicationYear "2009" @default.
• W1507456968 type Work @default.
• W1507456968 sameAs 1507456968 @default.
• W1507456968 citedByCount "0" @default.
• W1507456968 crossrefType "book-chapter" @default.
• W1507456968 hasAuthorship W1507456968A5051801130 @default.
• W1507456968 hasConcept C10784197 @default.
• W1507456968 hasConcept C11413529 @default.
• W1507456968 hasConcept C12426560 @default.
• W1507456968 hasConcept C129782007 @default.
• W1507456968 hasConcept C136119220 @default.
• W1507456968 hasConcept C153269930 @default.
• W1507456968 hasConcept C188032258 @default.
• W1507456968 hasConcept C18903297 @default.
• W1507456968 hasConcept C199343813 @default.
• W1507456968 hasConcept C199360897 @default.
• W1507456968 hasConcept C202444582 @default.
• W1507456968 hasConcept C2524010 @default.
• W1507456968 hasConcept C2777299769 @default.
• W1507456968 hasConcept C2777686260 @default.
• W1507456968 hasConcept C2777904410 @default.
• W1507456968 hasConcept C2778701210 @default.
• W1507456968 hasConcept C2779231336 @default.
• W1507456968 hasConcept C29123130 @default.
• W1507456968 hasConcept C33923547 @default.
• W1507456968 hasConcept C41008148 @default.
• W1507456968 hasConcept C46175816 @default.
• W1507456968 hasConcept C71924100 @default.
• W1507456968 hasConcept C7493553 @default.
• W1507456968 hasConcept C80444323 @default.
• W1507456968 hasConcept C86803240 @default.
• W1507456968 hasConcept C93682546 @default.
• W1507456968 hasConcept C98045186 @default.
• W1507456968 hasConceptScore W1507456968C10784197 @default.
• W1507456968 hasConceptScore W1507456968C11413529 @default.
• W1507456968 hasConceptScore W1507456968C12426560 @default.
• W1507456968 hasConceptScore W1507456968C129782007 @default.
• W1507456968 hasConceptScore W1507456968C136119220 @default.
• W1507456968 hasConceptScore W1507456968C153269930 @default.
• W1507456968 hasConceptScore W1507456968C188032258 @default.
• W1507456968 hasConceptScore W1507456968C18903297 @default.
• W1507456968 hasConceptScore W1507456968C199343813 @default.
• W1507456968 hasConceptScore W1507456968C199360897 @default.
• W1507456968 hasConceptScore W1507456968C202444582 @default.
• W1507456968 hasConceptScore W1507456968C2524010 @default.
• W1507456968 hasConceptScore W1507456968C2777299769 @default.
• W1507456968 hasConceptScore W1507456968C2777686260 @default.
• W1507456968 hasConceptScore W1507456968C2777904410 @default.
• W1507456968 hasConceptScore W1507456968C2778701210 @default.
• W1507456968 hasConceptScore W1507456968C2779231336 @default.
• W1507456968 hasConceptScore W1507456968C29123130 @default.
• W1507456968 hasConceptScore W1507456968C33923547 @default.
• W1507456968 hasConceptScore W1507456968C41008148 @default.
• W1507456968 hasConceptScore W1507456968C46175816 @default.
• W1507456968 hasConceptScore W1507456968C71924100 @default.
• W1507456968 hasConceptScore W1507456968C7493553 @default.
• W1507456968 hasConceptScore W1507456968C80444323 @default.
• W1507456968 hasConceptScore W1507456968C86803240 @default.
• W1507456968 hasConceptScore W1507456968C93682546 @default.
• W1507456968 hasConceptScore W1507456968C98045186 @default.
• W1507456968 hasLocation W15074569681 @default.
• W1507456968 hasOpenAccess W1507456968 @default.
• W1507456968 hasPrimaryLocation W15074569681 @default.
• W1507456968 hasRelatedWork W1492109258 @default.
• W1507456968 hasRelatedWork W1569200166 @default.
• W1507456968 hasRelatedWork W1987519035 @default.
• W1507456968 hasRelatedWork W2055229738 @default.
• W1507456968 hasRelatedWork W2065580904 @default.
• W1507456968 hasRelatedWork W2111482651 @default.
• W1507456968 hasRelatedWork W2114952079 @default.
• W1507456968 hasRelatedWork W2136090687 @default.
• W1507456968 hasRelatedWork W2148913933 @default.
• W1507456968 hasRelatedWork W2209576322 @default.
• W1507456968 hasRelatedWork W2343541439 @default.
• W1507456968 hasRelatedWork W2465328146 @default.
• W1507456968 hasRelatedWork W2613019882 @default.
• W1507456968 hasRelatedWork W2746564350 @default.
• W1507456968 hasRelatedWork W2981405196 @default.

• next