@article {IOPORT.00969132,
    author       = {Koch, Hans and Schenkel, Alain and Wittwer, Peter},
    title        = {Computer-assisted proofs in analysis and programming in logic: A case study.},
    year         = {1996},
    journal      = {SIAM Review},
    volume       = {38},
    number       = {4},
    issn         = {0036-1445},
    pages        = {565-604},
    publisher    = {Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA},
    doi          = {10.1137/S0036144595284180},
    abstract     = {Summary: We present a computer-assisted proof of the existence of a solution for the Feigenbaum equation $\varphi(x)={1\over \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 shoul be able to verify the correctness of the proof.},
    identifier   = {00969132},
}