FRINK Linked Data Fragments server

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

• W2071973294 endingPage "604" @default.
• W2071973294 startingPage "565" @default.
• W2071973294 abstract "In this paper we present a computer-assisted proof of the existence of a solution for the Feigenbaum equation $varphi (x) = frac{1} {lambda }varphi (varphi (lambda x))$. There exist by now various such proofs in the literature. Although the one presented here is new, the main purpose of this paper is not to provide yet another version, but to give an easy-to-read and self-contained introduction to the technique of computer-assisted proofs in analysis. Our proof is written in Prolog (Programming in logic), a programming language which we found to be well suited for this purpose. In this paper we also give an introduction to Prolog, so that even a reader without prior exposure to programming should be able to verify the correctness of the proof." @default.
• W2071973294 created "2016-06-24" @default.
• W2071973294 creator A5036818941 @default.
• W2071973294 creator A5039357882 @default.
• W2071973294 creator A5080606198 @default.
• W2071973294 date "1996-12-01" @default.
• W2071973294 modified "2023-09-23" @default.
• W2071973294 title "Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study" @default.
• W2071973294 cites W1037770536 @default.
• W2071973294 cites W1490991110 @default.
• W2071973294 cites W155726107 @default.
• W2071973294 cites W1648084917 @default.
• W2071973294 cites W1664387036 @default.
• W2071973294 cites W1963536093 @default.
• W2071973294 cites W1975519439 @default.
• W2071973294 cites W1990333117 @default.
• W2071973294 cites W1992913147 @default.
• W2071973294 cites W1998126423 @default.
• W2071973294 cites W2003427621 @default.
• W2071973294 cites W2011518300 @default.
• W2071973294 cites W2041379743 @default.
• W2071973294 cites W2043466275 @default.
• W2071973294 cites W2044977651 @default.
• W2071973294 cites W2052105844 @default.
• W2071973294 cites W2057068900 @default.
• W2071973294 cites W2060333466 @default.
• W2071973294 cites W2071973294 @default.
• W2071973294 cites W2080029971 @default.
• W2071973294 cites W2082462969 @default.
• W2071973294 cites W2083109311 @default.
• W2071973294 cites W2090058052 @default.
• W2071973294 cites W2112602754 @default.
• W2071973294 cites W2169375757 @default.
• W2071973294 cites W4206370914 @default.
• W2071973294 cites W4253029520 @default.
• W2071973294 cites W72035883 @default.
• W2071973294 doi "https://doi.org/10.1137/s0036144595284180" @default.
• W2071973294 hasPublicationYear "1996" @default.
• W2071973294 type Work @default.
• W2071973294 sameAs 2071973294 @default.
• W2071973294 citedByCount "67" @default.
• W2071973294 countsByYear W20719732942012 @default.
• W2071973294 countsByYear W20719732942013 @default.
• W2071973294 countsByYear W20719732942014 @default.
• W2071973294 countsByYear W20719732942015 @default.
• W2071973294 countsByYear W20719732942016 @default.
• W2071973294 countsByYear W20719732942017 @default.
• W2071973294 countsByYear W20719732942018 @default.
• W2071973294 countsByYear W20719732942019 @default.
• W2071973294 countsByYear W20719732942020 @default.
• W2071973294 countsByYear W20719732942021 @default.
• W2071973294 countsByYear W20719732942022 @default.
• W2071973294 countsByYear W20719732942023 @default.
• W2071973294 crossrefType "journal-article" @default.
• W2071973294 hasAuthorship W2071973294A5036818941 @default.
• W2071973294 hasAuthorship W2071973294A5039357882 @default.
• W2071973294 hasAuthorship W2071973294A5080606198 @default.
• W2071973294 hasConcept C105605280 @default.
• W2071973294 hasConcept C108710211 @default.
• W2071973294 hasConcept C118615104 @default.
• W2071973294 hasConcept C128838566 @default.
• W2071973294 hasConcept C173613240 @default.
• W2071973294 hasConcept C189790780 @default.
• W2071973294 hasConcept C199343813 @default.
• W2071973294 hasConcept C199360897 @default.
• W2071973294 hasConcept C203265346 @default.
• W2071973294 hasConcept C206880738 @default.
• W2071973294 hasConcept C2524010 @default.
• W2071973294 hasConcept C2777686260 @default.
• W2071973294 hasConcept C33923547 @default.
• W2071973294 hasConcept C41008148 @default.
• W2071973294 hasConcept C55439883 @default.
• W2071973294 hasConcept C71924100 @default.
• W2071973294 hasConcept C81721847 @default.
• W2071973294 hasConceptScore W2071973294C105605280 @default.
• W2071973294 hasConceptScore W2071973294C108710211 @default.
• W2071973294 hasConceptScore W2071973294C118615104 @default.
• W2071973294 hasConceptScore W2071973294C128838566 @default.
• W2071973294 hasConceptScore W2071973294C173613240 @default.
• W2071973294 hasConceptScore W2071973294C189790780 @default.
• W2071973294 hasConceptScore W2071973294C199343813 @default.
• W2071973294 hasConceptScore W2071973294C199360897 @default.
• W2071973294 hasConceptScore W2071973294C203265346 @default.
• W2071973294 hasConceptScore W2071973294C206880738 @default.
• W2071973294 hasConceptScore W2071973294C2524010 @default.
• W2071973294 hasConceptScore W2071973294C2777686260 @default.
• W2071973294 hasConceptScore W2071973294C33923547 @default.
• W2071973294 hasConceptScore W2071973294C41008148 @default.
• W2071973294 hasConceptScore W2071973294C55439883 @default.
• W2071973294 hasConceptScore W2071973294C71924100 @default.
• W2071973294 hasConceptScore W2071973294C81721847 @default.
• W2071973294 hasIssue "4" @default.
• W2071973294 hasLocation W20719732941 @default.
• W2071973294 hasOpenAccess W2071973294 @default.
• W2071973294 hasPrimaryLocation W20719732941 @default.
• W2071973294 hasRelatedWork W1536660600 @default.
• W2071973294 hasRelatedWork W1589124319 @default.
• W2071973294 hasRelatedWork W2040769847 @default.

• next