Wu Wen-tsun – författare

Visar alla böcker från författaren Wu Wen-tsun. Handla med fri frakt och snabb leverans.

1 produkter

1. 

   Mathematics Mechanization

   Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving

   Av Wu Wen-tsun

   Inbunden, 2001

   1093 kr

   Lägg i varukorg

   This collection of essays centres 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. Part I concerns historical developments of mathematics mechanization, …