Bibliothèque de L'IMIST/CNRST

Votre panier est vide.
IMIST


Votre recherche a retourné 2 résultats.

Mathematics mechanization Mechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving par Wu, Wen-tsün. Publication : Dordrecht Kluwer Academic Publishers 2000 . xii, 420 pages , "This is an updated revised translation of the original Chinese work of the same title, Science Press, c2000"--Verso of t.p. 25 cm. Date : 2000 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Réserver Ajouter au panier
Selected works of wen-tsun wu par Wu, Wen-Tsun. Publication : [S.l.] World Scientific Publishing Company 2008 . 476 p. , This important book presents all the major works of Professor Wen-Tsun Wu, a widely respected Chinese mathematician who has made great contributions in the fields of topology and computer mathematics throughout his research career. The book covers Wu s papers from 1948 to 2005 and provides a comprehensive overview of his major achievements in algebraic topology, computer mathematics, and history of ancient Chinese mathematics. In algebraic topology, he discovered Wu classes and Wu formulas for Stiefel Whitney classes of sphere bundles or differential manifolds, established an imbedding theory with an application to the layout problem of integrated circuits, and introduced the I*-functors which turned the rational homotopy theory created by D Sullivan into algorithmic form. In computer mathematics, he discovered Wu s method of mechanical theorem proving by means of computers, which has been applied to prove and even discover on the computers hundreds of non-trivial theorems in various kinds of elementary and differential geometries. He also discovered a new effective method of polynomial equations solving, which has been used to solve problems raised from the fields of robotics and mechanisms, CAGD, computer vision, theoretic physics, celestial mechanics, and chemical equilibrium computation. Contents: On the Product of Sphere Bundles and the Duality Theorem Modulo Two; On Universal Invariant Forms; The Out-In Complementary Principle; On Chern Numbers of Algebraic Varieties with Arbitrary Singularities; On the Foundation of Algebraic Differential Geometry; On a Finiteness Theorem About Optimization Problems; On Surface-Fitting Problem in CAGD; and other papers. 24 cm. Date : 2008 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Réserver Ajouter au panier
Vous ne trouvez pas ce que vous cherchez ?
© Tous droits résérvés IMIST/CNRST
Angle Av. Allal Al Fassi et Av. des FAR, Hay Ryad, BP 8027, 10102 Rabat, Maroc
Tél:(+212) 05 37.56.98.00
CNRST / IMIST

Propulsé par Koha