LIBROS DEL AUTOR: freek wiedijk

1 resultados para LIBROS DEL AUTOR: freek wiedijk

freek wiedijk Eliminar filtro Quitar filtros
  • The Seventeen Provers of the World
    Freek Wiedijk
    Commemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk initiated the present book in 2004 by inviting formalizations of a proof of the irrationality of the square root of two from scientists using various theorem proving systems. The 17 systems included in this volume are among the m...
    Disponible

    66,80 €