LIBROS DEL AUTOR: wen tsun wu

3 resultados para LIBROS DEL AUTOR: wen tsun wu

wen tsun wu Eliminar filtro Quitar filtros
  • Mathematics Mechanization
    Wen-Tsun Wu / Wen-Tsun Wu Wen-Tsun
    This book is a collection of essays centred around the subject of mathematical mechanization. It tries to deal with mathematics in a constructive and algorithmic manner so that reasoning becomes mechanical, automated and less laborious. The book is divided into three parts. Part I concerns historical developments of mathematics mechanization, es...
    Disponible

    131,87 €

  • Mechanical Theorem Proving in Geometries
    Wen-tsün Wu / D. Wang / X. Jin
    There seems to be no doubt that geometry originates from such practical activ­ ities as weather observation and terrain survey. But there are different manners, methods, and ways to raise the various experiences to the level of theory so that they finally constitute a science. F. Engels said, 'The objective of mathematics is the study of space forms a...
    Disponible

    120,32 €

  • Rational Homotopy Type
    Wen-Tsun Wu
    This comprehensive monograph provides a self-contained treatment of the theory of I*-measure, or Sullivan’s rational homotopy theory, from a constructive point of view. It centers on the notion of calculability which is due to the author himself, as are the measure-theoretical and constructive points of view in rational homotopy. The I*-measure is sho...
    Disponible

    85,04 €