A constructive proof of the fundamental theorem of algebra without using the rationals

J.H. Geuvers, F. Wiedijk, J. Zwanenburg

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    16 Citaten (Scopus)
    Originele taal-2Engels
    TitelTypes for Proofs and Programs (International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers)
    RedacteurenP. Callaghan, Z. Luo, J. McKinna, R. Pollack
    UitgeverijSpringer
    Pagina's96-111
    ISBN van geprinte versie3-540-43287-6
    StatusGepubliceerd - 2002

    Publicatie series

    NaamLecture Notes in Computer Science
    Volume2277
    ISSN van geprinte versie0302-9743

    Citeer dit