Matches in SemOpenAlex for { <https://semopenalex.org/work/W99746906> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W99746906 endingPage "275" @default.
- W99746906 startingPage "255" @default.
- W99746906 abstract "We sketch a development of constructive analysis in Bishop’s style, with special emphasis on low type-level witnesses (using separability of the reals). The goal is to set up things in such a way that realistically executable programs can be extracted from proofs. This is carried out for (1) the Intermediate Value Theorem and (2) the existence of a continuous inverse to a monotonically increasing continuous function. Using the Minlog proof assistant, the proofs leading to the Intermediate Value Theorem are formalized and realizing terms extracted. It turns out that evaluating these terms is a reasonably fast algorithm to compute, say, approximations of √2." @default.
- W99746906 created "2016-06-24" @default.
- W99746906 creator A5071784825 @default.
- W99746906 date "2009-01-01" @default.
- W99746906 modified "2023-10-16" @default.
- W99746906 title "Program Extraction in Constructive Analysis" @default.
- W99746906 cites W1517093898 @default.
- W99746906 cites W1599641482 @default.
- W99746906 cites W2145427487 @default.
- W99746906 cites W2153281872 @default.
- W99746906 doi "https://doi.org/10.1007/978-1-4020-8926-8_13" @default.
- W99746906 hasPublicationYear "2009" @default.
- W99746906 type Work @default.
- W99746906 sameAs 99746906 @default.
- W99746906 citedByCount "3" @default.
- W99746906 countsByYear W997469062023 @default.
- W99746906 crossrefType "book-chapter" @default.
- W99746906 hasAuthorship W99746906A5071784825 @default.
- W99746906 hasConcept C108710211 @default.
- W99746906 hasConcept C11413529 @default.
- W99746906 hasConcept C118615104 @default.
- W99746906 hasConcept C134306372 @default.
- W99746906 hasConcept C136119220 @default.
- W99746906 hasConcept C14036430 @default.
- W99746906 hasConcept C160145156 @default.
- W99746906 hasConcept C177264268 @default.
- W99746906 hasConcept C199343813 @default.
- W99746906 hasConcept C199360897 @default.
- W99746906 hasConcept C202444582 @default.
- W99746906 hasConcept C202854965 @default.
- W99746906 hasConcept C2524010 @default.
- W99746906 hasConcept C2777686260 @default.
- W99746906 hasConcept C2778701210 @default.
- W99746906 hasConcept C2779231336 @default.
- W99746906 hasConcept C33923547 @default.
- W99746906 hasConcept C41008148 @default.
- W99746906 hasConcept C71924100 @default.
- W99746906 hasConcept C72169020 @default.
- W99746906 hasConcept C78458016 @default.
- W99746906 hasConcept C86803240 @default.
- W99746906 hasConcept C98045186 @default.
- W99746906 hasConceptScore W99746906C108710211 @default.
- W99746906 hasConceptScore W99746906C11413529 @default.
- W99746906 hasConceptScore W99746906C118615104 @default.
- W99746906 hasConceptScore W99746906C134306372 @default.
- W99746906 hasConceptScore W99746906C136119220 @default.
- W99746906 hasConceptScore W99746906C14036430 @default.
- W99746906 hasConceptScore W99746906C160145156 @default.
- W99746906 hasConceptScore W99746906C177264268 @default.
- W99746906 hasConceptScore W99746906C199343813 @default.
- W99746906 hasConceptScore W99746906C199360897 @default.
- W99746906 hasConceptScore W99746906C202444582 @default.
- W99746906 hasConceptScore W99746906C202854965 @default.
- W99746906 hasConceptScore W99746906C2524010 @default.
- W99746906 hasConceptScore W99746906C2777686260 @default.
- W99746906 hasConceptScore W99746906C2778701210 @default.
- W99746906 hasConceptScore W99746906C2779231336 @default.
- W99746906 hasConceptScore W99746906C33923547 @default.
- W99746906 hasConceptScore W99746906C41008148 @default.
- W99746906 hasConceptScore W99746906C71924100 @default.
- W99746906 hasConceptScore W99746906C72169020 @default.
- W99746906 hasConceptScore W99746906C78458016 @default.
- W99746906 hasConceptScore W99746906C86803240 @default.
- W99746906 hasConceptScore W99746906C98045186 @default.
- W99746906 hasLocation W997469061 @default.
- W99746906 hasOpenAccess W99746906 @default.
- W99746906 hasPrimaryLocation W997469061 @default.
- W99746906 hasRelatedWork W164115260 @default.
- W99746906 hasRelatedWork W2027682382 @default.
- W99746906 hasRelatedWork W2051684327 @default.
- W99746906 hasRelatedWork W2063422058 @default.
- W99746906 hasRelatedWork W2201549953 @default.
- W99746906 hasRelatedWork W2352606227 @default.
- W99746906 hasRelatedWork W2556015570 @default.
- W99746906 hasRelatedWork W2605440028 @default.
- W99746906 hasRelatedWork W2949665548 @default.
- W99746906 hasRelatedWork W99746906 @default.
- W99746906 isParatext "false" @default.
- W99746906 isRetracted "false" @default.
- W99746906 magId "99746906" @default.
- W99746906 workType "book-chapter" @default.