Matches in SemOpenAlex for { <https://semopenalex.org/work/W56026579> ?p ?o ?g. }
- W56026579 abstract "We call <em>proof mining</em> the process of logically analyzing proofs in mathematics with the aim of obtaining new information. In this survey paper we discuss, by means of examples from mathematics, some of the main techniques used in proof mining. We show that those techniques not only apply to proofs based on classical logic, but also to proofs which involve non-effective principles such as the attainment of the infimum of f in C[0,1] and the convergence for bounded monotone sequences of reals. We also report on recent case studies in approximation theory and fixed point theory where new results were obtained." @default.
- W56026579 created "2016-06-24" @default.
- W56026579 creator A5003647373 @default.
- W56026579 creator A5084236771 @default.
- W56026579 date "2002-06-05" @default.
- W56026579 modified "2023-10-05" @default.
- W56026579 title "Proof Mining: A Systematic Way of Analysing Proofs in Mathematics" @default.
- W56026579 cites W126568045 @default.
- W56026579 cites W1485672136 @default.
- W56026579 cites W1487079802 @default.
- W56026579 cites W1497475168 @default.
- W56026579 cites W1518290936 @default.
- W56026579 cites W1525064220 @default.
- W56026579 cites W1540066904 @default.
- W56026579 cites W1545819195 @default.
- W56026579 cites W1556453281 @default.
- W56026579 cites W1563944230 @default.
- W56026579 cites W1577514385 @default.
- W56026579 cites W1585967195 @default.
- W56026579 cites W1587799979 @default.
- W56026579 cites W1608607427 @default.
- W56026579 cites W1973185693 @default.
- W56026579 cites W1973337017 @default.
- W56026579 cites W1974788391 @default.
- W56026579 cites W1975890288 @default.
- W56026579 cites W1976969016 @default.
- W56026579 cites W1977838555 @default.
- W56026579 cites W1979180673 @default.
- W56026579 cites W1980650834 @default.
- W56026579 cites W1984792954 @default.
- W56026579 cites W1989328755 @default.
- W56026579 cites W1989619153 @default.
- W56026579 cites W1998366768 @default.
- W56026579 cites W1998609781 @default.
- W56026579 cites W2000451268 @default.
- W56026579 cites W2004219814 @default.
- W56026579 cites W2004805003 @default.
- W56026579 cites W2005848700 @default.
- W56026579 cites W2006431173 @default.
- W56026579 cites W2008019511 @default.
- W56026579 cites W2016012858 @default.
- W56026579 cites W2017010969 @default.
- W56026579 cites W2018509233 @default.
- W56026579 cites W2020301444 @default.
- W56026579 cites W2021206263 @default.
- W56026579 cites W2026806873 @default.
- W56026579 cites W2028602249 @default.
- W56026579 cites W2037300268 @default.
- W56026579 cites W2040209562 @default.
- W56026579 cites W2042423306 @default.
- W56026579 cites W2043129072 @default.
- W56026579 cites W2059074374 @default.
- W56026579 cites W2061466015 @default.
- W56026579 cites W2067914884 @default.
- W56026579 cites W2069435104 @default.
- W56026579 cites W2069491950 @default.
- W56026579 cites W2071384857 @default.
- W56026579 cites W2076241575 @default.
- W56026579 cites W2078456795 @default.
- W56026579 cites W2078970705 @default.
- W56026579 cites W2094808174 @default.
- W56026579 cites W2094977096 @default.
- W56026579 cites W2095201608 @default.
- W56026579 cites W2112145021 @default.
- W56026579 cites W2134419104 @default.
- W56026579 cites W2154746110 @default.
- W56026579 cites W2162062645 @default.
- W56026579 cites W2332165640 @default.
- W56026579 cites W2576831061 @default.
- W56026579 cites W2611511037 @default.
- W56026579 cites W2659295935 @default.
- W56026579 cites W2733129627 @default.
- W56026579 cites W56358913 @default.
- W56026579 cites W573758957 @default.
- W56026579 cites W819769791 @default.
- W56026579 cites W92007714 @default.
- W56026579 cites W2058523285 @default.
- W56026579 cites W2524244467 @default.
- W56026579 doi "https://doi.org/10.7146/brics.v9i31.21746" @default.
- W56026579 hasPublicationYear "2002" @default.
- W56026579 type Work @default.
- W56026579 sameAs 56026579 @default.
- W56026579 citedByCount "18" @default.
- W56026579 countsByYear W560265792017 @default.
- W56026579 countsByYear W560265792020 @default.
- W56026579 countsByYear W560265792021 @default.
- W56026579 crossrefType "journal-article" @default.
- W56026579 hasAuthorship W56026579A5003647373 @default.
- W56026579 hasAuthorship W56026579A5084236771 @default.
- W56026579 hasBestOaLocation W560265791 @default.
- W56026579 hasConcept C108710211 @default.
- W56026579 hasConcept C118615104 @default.
- W56026579 hasConcept C134306372 @default.
- W56026579 hasConcept C135754263 @default.
- W56026579 hasConcept C162324750 @default.
- W56026579 hasConcept C199343813 @default.
- W56026579 hasConcept C2318724 @default.
- W56026579 hasConcept C2524010 @default.
- W56026579 hasConcept C2777303404 @default.
- W56026579 hasConcept C2777686260 @default.