FRINK Linked Data Fragments server

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

• W2008019511 endingPage "157" @default.
• W2008019511 startingPage "124" @default.
• W2008019511 abstract "In this survey paper we start with a discussion how functionals of finite type can be used for the proof-theoretic extraction of numerical data (e.g. effective uniform bounds and rates of convergence) from non-constructive proofs in numerical analysis. We focus on the case where the extractability of polynomial bounds is guaranteed. This leads to the concept of hereditarily polynomial bounded analysis PBA. We indicate the mathematical range of PBA which turns out to be surprisingly large. Finally we discuss the relationship between PBA and so-called feasible analysis FA. It turns out that both frameworks are incomparable. We argue in favor of the thesis that PBA offers the more useful approach for the purpose of extracting mathematically interesting bounds from proofs. In a sequel of appendices to this paper we indicate the expressive power of PBA." @default.
• W2008019511 created "2016-06-24" @default.
• W2008019511 creator A5003647373 @default.
• W2008019511 date "1998-01-01" @default.
• W2008019511 modified "2023-09-24" @default.
• W2008019511 title "Proof theory and computational analysis" @default.
• W2008019511 cites W1525064220 @default.
• W2008019511 cites W1979180673 @default.
• W2008019511 cites W2004219814 @default.
• W2008019511 cites W2040404640 @default.
• W2008019511 cites W2061466015 @default.
• W2008019511 cites W2139227798 @default.
• W2008019511 cites W4239316923 @default.
• W2008019511 doi "https://doi.org/10.1016/s1571-0661(05)80219-1" @default.
• W2008019511 hasPublicationYear "1998" @default.
• W2008019511 type Work @default.
• W2008019511 sameAs 2008019511 @default.
• W2008019511 citedByCount "28" @default.
• W2008019511 countsByYear W20080195112014 @default.
• W2008019511 countsByYear W20080195112017 @default.
• W2008019511 countsByYear W20080195112019 @default.
• W2008019511 countsByYear W20080195112023 @default.
• W2008019511 crossrefType "journal-article" @default.
• W2008019511 hasAuthorship W2008019511A5003647373 @default.
• W2008019511 hasBestOaLocation W20080195111 @default.
• W2008019511 hasConcept C105605280 @default.
• W2008019511 hasConcept C108710211 @default.
• W2008019511 hasConcept C118615104 @default.
• W2008019511 hasConcept C120665830 @default.
• W2008019511 hasConcept C121332964 @default.
• W2008019511 hasConcept C134306372 @default.
• W2008019511 hasConcept C136119220 @default.
• W2008019511 hasConcept C159985019 @default.
• W2008019511 hasConcept C162324750 @default.
• W2008019511 hasConcept C192209626 @default.
• W2008019511 hasConcept C192562407 @default.
• W2008019511 hasConcept C195818886 @default.
• W2008019511 hasConcept C199343813 @default.
• W2008019511 hasConcept C199360897 @default.
• W2008019511 hasConcept C202444582 @default.
• W2008019511 hasConcept C202854965 @default.
• W2008019511 hasConcept C204323151 @default.
• W2008019511 hasConcept C2524010 @default.
• W2008019511 hasConcept C2777303404 @default.
• W2008019511 hasConcept C2777686260 @default.
• W2008019511 hasConcept C2778701210 @default.
• W2008019511 hasConcept C33923547 @default.
• W2008019511 hasConcept C34388435 @default.
• W2008019511 hasConcept C41008148 @default.
• W2008019511 hasConcept C50522688 @default.
• W2008019511 hasConcept C71924100 @default.
• W2008019511 hasConcept C80444323 @default.
• W2008019511 hasConcept C90119067 @default.
• W2008019511 hasConcept C98045186 @default.
• W2008019511 hasConceptScore W2008019511C105605280 @default.
• W2008019511 hasConceptScore W2008019511C108710211 @default.
• W2008019511 hasConceptScore W2008019511C118615104 @default.
• W2008019511 hasConceptScore W2008019511C120665830 @default.
• W2008019511 hasConceptScore W2008019511C121332964 @default.
• W2008019511 hasConceptScore W2008019511C134306372 @default.
• W2008019511 hasConceptScore W2008019511C136119220 @default.
• W2008019511 hasConceptScore W2008019511C159985019 @default.
• W2008019511 hasConceptScore W2008019511C162324750 @default.
• W2008019511 hasConceptScore W2008019511C192209626 @default.
• W2008019511 hasConceptScore W2008019511C192562407 @default.
• W2008019511 hasConceptScore W2008019511C195818886 @default.
• W2008019511 hasConceptScore W2008019511C199343813 @default.
• W2008019511 hasConceptScore W2008019511C199360897 @default.
• W2008019511 hasConceptScore W2008019511C202444582 @default.
• W2008019511 hasConceptScore W2008019511C202854965 @default.
• W2008019511 hasConceptScore W2008019511C204323151 @default.
• W2008019511 hasConceptScore W2008019511C2524010 @default.
• W2008019511 hasConceptScore W2008019511C2777303404 @default.
• W2008019511 hasConceptScore W2008019511C2777686260 @default.
• W2008019511 hasConceptScore W2008019511C2778701210 @default.
• W2008019511 hasConceptScore W2008019511C33923547 @default.
• W2008019511 hasConceptScore W2008019511C34388435 @default.
• W2008019511 hasConceptScore W2008019511C41008148 @default.
• W2008019511 hasConceptScore W2008019511C50522688 @default.
• W2008019511 hasConceptScore W2008019511C71924100 @default.
• W2008019511 hasConceptScore W2008019511C80444323 @default.
• W2008019511 hasConceptScore W2008019511C90119067 @default.
• W2008019511 hasConceptScore W2008019511C98045186 @default.
• W2008019511 hasLocation W20080195111 @default.
• W2008019511 hasOpenAccess W2008019511 @default.
• W2008019511 hasPrimaryLocation W20080195111 @default.
• W2008019511 hasRelatedWork W1577976412 @default.
• W2008019511 hasRelatedWork W158287491 @default.
• W2008019511 hasRelatedWork W1894081149 @default.
• W2008019511 hasRelatedWork W2065855006 @default.
• W2008019511 hasRelatedWork W2117563504 @default.
• W2008019511 hasRelatedWork W2605440028 @default.
• W2008019511 hasRelatedWork W2731803418 @default.
• W2008019511 hasRelatedWork W2951285578 @default.
• W2008019511 hasRelatedWork W2967502375 @default.
• W2008019511 hasRelatedWork W350561797 @default.
• W2008019511 hasVolume "13" @default.
• W2008019511 isParatext "false" @default.

• next